Actully studying TLA+ using lectures by one and only Leslie Lamport is a lot if fun!

The classics of CS just have that special something!

lamport.azurewebsites.net/video/videos...

"If you wait until the last possible NIST-approved date before you retire algorithms, then you’re a cryptographic jackass."

#CRYTOGRAHY

chasingcyber.com/p/the-winds-...

It's joy to deploy/define servers with NixOs.
And it's a pain, IMHO, to define a personal workstation.
The former is an utility - easy to define what it does.
The latter is (usually) an evolution. Iterations on Desktop settings are not natural with a declarative config.
🧵

Elixir's Livebook is life saver when it comes to demoing and explaining technical concepts. I had to do two technical deep-dives today for a mixed audience and it wouldn't have worked without it!

#ElixirLang

I thought I was fully comfortable with Vim, until I discovered that by default 'backspace' setting is empty. Meaning that all of a sudden your backspace key goes weird in insert mode.
Frustrating when editing generated 'configuration.nix'. 'set backspace=indent,eol,start' and all is good again :)

One of the unsung heroes of Bluesky’s success is @dominictarr.bsky.social, whose Scuttlebutt protocol was an inspiration for @pfrazee.com (the first dev to join Dominic in 2014). Some of those P2P learnings from Scuttlebutt eventually made their way to Bluesky. thenewstack.io/how-bluesky-...

Apparently, it's quite easy to use a local ML model to do an OCR confidentially!

www.johndcook.com/blog/2024/11...

Fairly exciting to try a social network that is really using a DID method.

I'm looking forward to try and test the theory behind AT Protocol to see if I can move to a self hosted PDS. I plan to follow the whtwnd.com/bnewbold.net... by @bnewbold.net, just need to set-up a VPS first.

I made an update recently that covers accounting for users with a self-hosted PDS. Still very high level and basic: chrismcleod.dev/blog/next-st...