Stories by todsacerdoti

F9 Kernel

DNS-Persist-01: A New Model for DNS-Based Challenge Validation

The Global Trust Register (1999)

Understanding Whole Program Paths and Path Profiling

The case for gatekeeping, or: why medieval guilds had it figured out

What's cooking on Sourcehut? Q1 2026

Model-context-shell: Unix-style pipelines for MCP. Deterministic tool calls

"Vendoring" is a vile anti-pattern (2014)

Claimcheck: Narrowing the Gap Between Proof and Intent

An assembler that compiles to a printf loop

Terminals should generate the 256-color palette

Gentoo on Codeberg

Using go fix to modernize Go code

Vinyl Cache has left GitHub

The Evolution of x86 SIMD: From SSE to AVX-512

Undo in Vi and Its Successors

The Servo project and its impact on the web platform ecosystem

An AI Called Winter: Neurosymbolic Computation or Illusion? – Dustycloud Brain

Level of Detail

Poor Deming never stood a chance

8 9 10 11 12 13 14 15 16 17