Stories by todsacerdoti

My 2026 Open Social Web Predictions

Nix State of the SBoM

Tygor: Type-safe back end for Go and TypeScript apps

FreeBSD: Installation on a ThinkPad X200 Tablet in 2025

Interactively visualize GitHub Actions Matrix configurations

What the Internet Was Like in 2003

Custom Cross Compiler with Nix

Attention from First Principles

Polyglot-image: A disk image that boots on multiple architectures

Mostly Automated Proof Repair for Verified Libraries [pdf]

We asked four AI coding agents to rebuild Minesweeper–the results were explosive

LAVD: Meta's New Default Scheduler [pdf]

Folder.zone: Share end-to-end encrypted folders live

Reproducing the NixOS 25.11 Minimal Installation ISO

Logical gates on Floquet codes via folds and twists

Schrödinger's test: The /dev/mem case

Dirlock

Meeting could have been an Email

Are We Loong Yet?

Why Quantum Cryptanalysis Is Bollocks

26
27
28
29
30
31
32
33
34
35