Stories by todsacerdoti

Safety in TigerBeetle

Using Nix to Fuzz Test a PDF Parser (Part Two)

Everybody Codes

Book Review: For the Love of Go (2023)

GenMC: Model checking for concurrent C programs

Unused Keys in Vim

An alternative idea for a typed language living alongside/inside JavaScript

FBI: Spike in Hacked Police Emails, Fake Subpoenas

A mental model for Linux file, hard and soft links

SQLite does not do checksums

Mergiraf: A syntax-aware merge driver for Git

Tone of Life

Cmdx: A Golang library designed to simplify the execution of shell commands and

Steps in Writing Analytical SQL Queries

Planet Nix