Stories by todsacerdoti

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

Reflection for Aggregates (2020)

Ghosts in the Compilation

Perfetto: Swiss army knife for Linux client tracing

GHC 9.14.1-rc1 is now available

Lisp: Notes on its Past and Future (1980)

Fix Your FODs

Conversions in Ruby Are a Mess

Exploring and Improving the Thread Safety of NumPy's Test Suite

Fevela.me – A newsreader-like client for the Nostr social network

Fnox: A secret manager that pairs well with mise

Adding Customizable Frame Contrast to KDE Plasma

Developing a web server with C and FastCGI

19
20
21
22
23
24
25
26
27
28