lukajcb.bsky.social
@lukajcb.bsky.social
Reposted
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...
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
github.com
October 14, 2025 at 2:58 PM
Very exciting!
October 14, 2025 at 5:51 PM
Side note I wrote about something pretty similar many years ago here: typelevel.org/blog/2018/11...
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.
typelevel.org
September 5, 2025 at 8:24 PM
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
September 5, 2025 at 8:23 PM
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
September 5, 2025 at 8:13 PM
It did lead me to find about CHURP though and that to me looks like a great solution for backup: github.com/CHURPTeam/CH...
GitHub - CHURPTeam/CHURP: Decentralize your secrets!
Decentralize your secrets! Contribute to CHURPTeam/CHURP development by creating an account on GitHub.
github.com
July 30, 2025 at 9:43 PM
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
July 30, 2025 at 9:18 PM
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
May 27, 2025 at 3:01 PM
No worries, thank you for fixing it!
May 18, 2025 at 6:10 AM
I tried to create an account for atproto.wiki, but I never got the verification email so I can't complete the sign up
AT Protocol Community Wiki
Homepage of the AT Protocol Community Wiki
atproto.wiki
May 17, 2025 at 11:53 PM
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!
May 16, 2025 at 12:49 AM
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...
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...
github.com
May 16, 2025 at 12:48 AM