Stories by todsacerdoti

System Design Sketches

Tlsd: Generate (message) sequence diagrams from TLA+ state traces

Toolbox Languages

Researchers: Weak Security Defaults Enabled Squarespace Domains Hijacks

Why Cloud-Native Buildpacks Should Excite Companies

Bridging Networks Across VPS with WireGuard and Vxlan on FreeBSD

Game of Trees Hub – Collectively funded Git repository hosting service

Clojure macros continue to surprise me

IceDB v3 – Third Time's the Charm (2023)

How HappyLock Works (a deadlock-free mutex library)

Introduction to Numeric Computing with Rust

Anatomy of a Compofylla

Tbsp – tree-based source-processing language

Understanding 3D Graphics

The Contemporary Carphone

Use of Formal Methods by a Silicon Manufacturer (1988) [pdf]

Setting up a retro multi-node BBS on OS/2 Warp

I'm Not a Fan of Strlcpy(3)

Shake Build System