Stories by todsacerdoti

Are aarch64 atomics this sensitive?

A Deeper Look Inside PostgreSQL Visibility Check Mechanism

Llamafile Not Making Sense

Badkeys tool can detect xz backdoor RSA keys

What's New in Go 1.22: Cmp.or

C&C – Solving Recursive Equations

Forge: A Tool to Teach Formal Methods

Lunatik: Lunatik is a framework for scripting the Linux kernel with Lua

Stanford AI Syllabus (1980)

The Design of Everyday APIs

Thetawave: A physics based, space shooter game made with Rust and the Bevy engi

Rust Stream API visualized and exposed

An Entire Social Network in 1.6GB (GraphD Part 2)

Coroutines and Effects

Programming vs. Mathematical Curiosity

Git Bisect-Find

The Problem with Threads (2006) [pdf]

Design patterns for extracting from REST APIs

GWP-ASan: Sampling-Based Detection of Memory-Safety Bugs in Production

TLA+ Web Explorer