Stories by todsacerdoti

First look inside the Derby factory building the Elizabeth line's new trains

Database backups, dump files and restic

Fil-C: A memory-safe C implementation

A brief history of random numbers (2018)

Firefox Security and Privacy Newsletter 2025 Q3

Stackful Coroutine Made Fast

Slicing and Dicing Through Complexity with Hanami [video]

Quantifying pass-by-value overhead

Recent Rust Changes

Easy RISC-V

Printing at FedEx

It's not always DNS

The new calculus of AI-based coding

Recreating Lions' commentary for teaching OS at MIT [video]

Using Homebrew to Distribute Early Access Binaries from Private GitHub Reposito

Programming Languages as Languages (2014)

When 'perfect' code fails

Learning Regular Languages with RPNI Algorithm

Formal or not formal? That is the question in AI for theorem proving

57
58
59
60
61
62
63
64
65
66