's Avatar

@lukajcb.bsky.social

55 Followers  |  73 Following  |  13 Posts  |  Joined: 31.01.2025  |  1.8973

Latest posts by lukajcb.bsky.social on Bluesky

Preview
GitHub - fedi-e2ee/pkd-server-go: Reference implementation - server-side software for the Fediverse Public Key Directory Specification Reference implementation - server-side software for the Fediverse Public Key Directory Specification - fedi-e2ee/pkd-server-go

This is all old news. What's new is this:

There is now a first draft reference implementation of the Public Key Directory specification, written in Go.

github.com/fedi-e2ee/pk...

14.10.2025 14:58 โ€” ๐Ÿ‘ 36    ๐Ÿ” 11    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0

Very exciting!

14.10.2025 17:51 โ€” ๐Ÿ‘ 0    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0
Typelevel | A tale on Semirings Typelevel is an ecosystem of projects and a community of people united to foster an inclusive, welcoming, and safe environment around functional programming in Scala.

Side note I wrote about something pretty similar many years ago here: typelevel.org/blog/2018/11...

05.09.2025 20:24 โ€” ๐Ÿ‘ 1    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

And more general the cardinality of a function A => B is B to the power of A.

In this example:
1^X = 1
X^1 = X

05.09.2025 20:23 โ€” ๐Ÿ‘ 2    ๐Ÿ” 0    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0

To add to this you can think of cardinalities as how many different implementations can there be for this signature.
So Boolean -> Unit has one possible implementation, whereas Unit -> Boolean has two

05.09.2025 20:13 โ€” ๐Ÿ‘ 2    ๐Ÿ” 0    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0
Preview
Barking Up The Ratchet Tree โ€“ MLS Is Neither Royal Norย Nude One of the first rules you learn about technical writing is, "Know your audience." But often, this sort of advice is given without sufficient weight or practical examples. Instead, you're ushered quickly onto the actual tactile aspects of writing--with the hope that some seed was planted that will sprout later in your education. Science communication is famously a hard problem.

Barking Up The Ratchet Tree โ€“ MLS Is Neither Royal Norย Nude

One of the first rules you learn about technical writing is, "Know your audience." But often, this sort of advice is given without sufficient weight or practical examples. Instead, you're ushered quickly onto the actual tactile aspects ofโ€ฆ

25.08.2025 14:44 โ€” ๐Ÿ‘ 29    ๐Ÿ” 6    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0
Preview
GitHub - CHURPTeam/CHURP: Decentralize your secrets! Decentralize your secrets! Contribute to CHURPTeam/CHURP development by creating an account on GitHub.

It did lead me to find about CHURP though and that to me looks like a great solution for backup: github.com/CHURPTeam/CH...

30.07.2025 21:43 โ€” ๐Ÿ‘ 1    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

Funnily enough I came across this yesterday as well. It looks great although to me the fact that you still need to remember a password is a bit of a downside. I think id rather just use a PBKDF at that point

30.07.2025 21:18 โ€” ๐Ÿ‘ 1    ๐Ÿ” 0    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0
Preview
GitHub - LukaJCB/ts-mls: A Messaging Layer Security (RFC 9420, MLS) implementation in TypeScript A Messaging Layer Security (RFC 9420, MLS) implementation in TypeScript - GitHub - LukaJCB/ts-mls: A Messaging Layer Security (RFC 9420, MLS) implementation in TypeScript

Just published 1.0.0 of ts-mls, a library implementation of MLS written in typescript, put a lot of work into this and really with how it turned out! github.com/LukaJCB/ts-mls

04.07.2025 23:13 โ€” ๐Ÿ‘ 3    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

The Web Crypto API for browsers and Node does this by basically treating HMAC and signatures the same way with a sign and verify function for each

27.05.2025 15:01 โ€” ๐Ÿ‘ 1    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

No worries, thank you for fixing it!

18.05.2025 06:10 โ€” ๐Ÿ‘ 0    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0
AT Protocol Community Wiki Homepage of the AT Protocol Community Wiki

I tried to create an account for atproto.wiki, but I never got the verification email so I can't complete the sign up

17.05.2025 23:53 โ€” ๐Ÿ‘ 2    ๐Ÿ” 0    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0

Would love to collaborate on this, I'll have to give it a full read soon. I'm currently also working on creating a TypeScript MLS library that is almost complete that should make prototyping a lot easier!

16.05.2025 00:49 โ€” ๐Ÿ‘ 2    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0
Preview
Private, non-shared data in repo? ยท bluesky-social atproto ยท Discussion #3363 I have a use-case for keeping private data in a repo, i.e. data that does not leave the repo via the standard sharing mechanisms, and before I leap into modifying the code to support it, I'd like t...

I'm really glad someone is thinking about this! I wrote a prototype of using MLS to create E2EE content in ATProto recently that I've described in a GH issue here:
github.com/bluesky-soci...

16.05.2025 00:48 โ€” ๐Ÿ‘ 5    ๐Ÿ” 0    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0

Hello world!

12.02.2025 23:09 โ€” ๐Ÿ‘ 2    ๐Ÿ” 0    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0

@lukajcb is following 20 prominent accounts