Stories by todsacerdoti

CSLib: A Focused Effort on Formalizing Computer Science in Lean

RPi3 running FreeBSD 12 clocks 390 days uptime as a Radius server [bsky]

Your app subscription is now my weekend project

Runjak.codes: An adversarial coding test

Subagents, Commands and Skills Are Converging

Field Notes on Scaling Moe Expert Parallelism with DeepEP

Color‑Driven Code Navigation

Don't Trip[Wire] Yourself: Testing Error Recovery in Zig

Moon-rabbit: MSX2 Gopher browser

FSNotes 7 – Remarkable fast plain text notes

How Binary Dependencies Work Across Different Languages

Hate is a strong word, but I don't like Windows 11

Pandas 3.0.0 Released

Making an LSP for Great Good

EmuDevz: A game about building emulators

Writing a TSDB from Scratch in Go

So, why should GNOME support server side decorations?

FOSS for Digital Sovereignty in the EU

Nested code fences in Markdown

Building a Blog in Gleam

24 25 26 27 28 29 30 31 32 33