Stories by todsacerdoti

I sent an Ethernet packet

Kcrypt2 – A Retrospective and a Lab Notebook

The peculiar world of Gentoo package testing

New website for kmx.io, written in KC3 a graph oriented programming la

Making Sense of Lambda Calculus 0: Abstration, Reduction, Substitution?

Visualizing local election results with Datasette, Observable and MapLibre GL

The Pythonic Emptiness

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