Stories by todsacerdoti

Dependent Types in Haskell, Part 4

Implementing attributes for plain text using subranges like Emacs

Ccls and LSP Semantic Tokens

Clear up your Rails controllers with before_action wrappers

Memory safety without lifetime parameters

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