Stories by todsacerdoti

Mac Programming for Dummies (1999)

Lost Media: Pokémon Fever (1999) VHS Tape

Skeptical of rewriting JavaScript tools in "faster" languages

Verified Programming in Dafny [pdf]

Responsive TOC leader lines with CSS (2021)

Good first issues and contributing to Racket

The RAISE specification language, method, and tools

Yet another open source Spotify client, written in Go

PID 1 Bash script for Docker containers explained line by line

Jujutsu (jj), a Git compatible VCS

Rust vs. Go in 2024

Debian Changes OpenSSH Packaging

The IPv6 Transition

Eliza in SNOBOL4

LLM inference library written in Rust with mistral.rs

Triaging Clang C++ front end bugs

A Selective Survey of Efficient Speculative Decoding Techniques for LLM Inferen

Programming language semantics: It's easy as 1,2,3 [pdf]

You could have invented denotational semantics

Decoding Europa Clipper

252 253 254 255 256 257 258 259 260 261