Stories by todsacerdoti

I Use Jujutsu

Bare metal programming with RISC-V guide (2023)

Hongdown: An opinionated Markdown formatter in Rust

Gleam's Design and Compiler

Phosh 2025 in Retrospect

Prompting 101: Show, don't tell

An Adequate Left-Associated Binary Numeral System in the Lambda-Calculus

How we made Python's packaging library 3x faster

Answer Set Programming (2019) [pdf]

Xous: A Pure-Rust Rethink of the Embedded Operating System [video]

Handling secrets (somewhat) securely in shells

&&&&&&&&&&&&&&Str

Automatic TLS Certificates for Common Lisp with pure-TLS/acme

Celeste and TowerFall Physics

Shell Scripts

Magicall: End-to-end encrypted videoconferencing in the browser, now in alpha

Jxl-Rs Merged into Chromium

A Year of Typing: My NumPy Fellowship Retrospective

Who Benefited from the Aisuru and Kimwolf Botnets?

Why SemVer fails when you patch old versions and what to do instead

32 33 34 35 36 37 38 39 40 41