Stories by todsacerdoti

Tree-Structured Concurrency II: Replacing Background Tasks with Actors

Programming as Theory Building [pdf]

Inequality Union Finds: Baby Steps to Refinement E-Graphs

Deploying Python (Django) to Kubernetes: A practical guide with a complete DevO

Overly Long Variable Name Could Have Been a Comment

I Scanned all of GitHub's "Oops Commits" for Leaked Secrets worth $25k in B

Counterexamples of positivity implications in Kähler curvature tensors

Three Years of Nix and NixOS: The Good, the Bad, and the Ugly

Yet Another Zip Trick

The web's broken deal with AI companies

OpenBAO v2.3.1

Using Sun Ray thin clients in 2025

Animating Number Counters

Stream per Agent Session

Software engineering with LLMs in 2025: reality check [video]

Types of Types: Common to Exotic

Input-branches: Workflow and flake-part for flake input patching using imported

Finding and understanding bugs in C compilers [pdf] (2011)

Reflections on Haskell and Rust

`Git stage` over `Git add`

70
71
72
73
74
75
76
77
78
79