VasilyS
banner
denkruum.ch
VasilyS
@denkruum.ch
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...
TLA+ Video Course
lamport.azurewebsites.net
June 21, 2025 at 6:03 PM
"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-...
The Winds of Change
Death, reflection, and shortening lifespans
chasingcyber.com
November 30, 2024 at 6:18 PM
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.
🧵
November 30, 2024 at 1:03 PM
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
November 29, 2024 at 4:57 PM
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 :)
November 24, 2024 at 1:55 PM
Reposted by VasilyS
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-...
How Bluesky Was Influenced by Scuttlebutt, a P2P Protocol
Bluesky's CTO was an early developer on Scuttlebutt, a P2P protocol that aimed to help us escape the rat race of mainstream social media.
thenewstack.io
November 21, 2024 at 7:38 PM
Apparently, it's quite easy to use a local ML model to do an OCR confidentially!

www.johndcook.com/blog/2024/11...
Confidential OCR | optical character recognition commandline
Convert images to text without uploading confidential data to a third party
www.johndcook.com
November 22, 2024 at 12:08 PM
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.
Migrating PDS Account with `goat` | bryan newbold
Account migration is an important feature of atproto, and has been possible in the live network since February of this year, but is still a bit scary and developer-oriented. As part of documenting th...
whtwnd.com
November 17, 2024 at 5:11 PM
Reposted by VasilyS
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...
Next steps with Bluesky - hosting your own data and more on the API
Chris McLeod is a software developer with over 20 years of experience. Sometimes he writes about it.
chrismcleod.dev
November 17, 2024 at 11:27 AM