Stories by todsacerdoti

The APM paradox: Too much data, too few answers

Setting up a simple home router with OpenBSD

Control Structures in Programming Languages

Software substrates: should there be only one?

Homotopy Type Theory for Dummies

I hate science (2021)

Nostr is deceptively tricky to understand

Making an Easy-to-Install Application in Python

Alleged Jabber Zeus Coder 'MrICQ' in U.S. Custody

Build System Tradeoffs

A prison of my own making

Thinking About Thinking with LLMs

Using FreeBSD to make self-hosting fun again

Program-ing Finger Trees in Coq (2007) [pdf]

De-escalating Tailscale CGNAT conflict

The Tailscale Fall Update in under 8 minutes [video]

URL Is Your State

WASM-Adventure

Install PostgreSQL 18 on Ubuntu 25.10

Project Goals for 2025H2

55
56
57
58
59
60
61
62
63
64