Stories by todsacerdoti

Lessons from CalyxOS signing process redesign

Proof-Oriented Programming in F*

Technical Issues of Separation in Function Cells and Value Cells (1988)

Majutsu, Magit for Jujutsu

Kimwolf Botnet Swamps Anonymity Network I2P

Functional Programming in M4

CVE-2026-1529 – keycloak: unauthorized organization registration via improper I

Pax: The Cache Performance You're Looking For

How to level up the Fediverse [video]

Elegant Transducer Pipelines

Elegant Transducer Pipelines

I built Fluxer, a Discord-like chat app

Patch Tuesday, February 2026 Edition

Cysqlite – A New SQLite Driver

The Missing GitHub Status Page

Setting Up Zed

PostmarketOS at FOSDEM 2026 and Hackathon

Redefining Go Functions

FreeBSD Home NAS, part 10: monitoring with VictoriaMetrics and Grafana

Browser.html – a web browser built with web technologies using Servo as web ren

12 13 14 15 16 17 18 19 20 21