Stories by todsacerdoti

Debugging a Logic Circuit in IDP-Z3

Feather: A Rust web framework that does not use async

Stringly Typed

A site for making bots for the Fediverse

Filtering GitHub Actions by changed files

RFC 5081: Using OpenPGP Keys for Transport Layer Security (TLS) Authentication

New Go Garbage Collector

Kangaroo: A new flash cache optimized for tiny objects (2021)

Single day Firebase bill for $100k

Dying for Beauty

Wide Models and Active Record custom validation contexts

Refactoring Rhythm

Hello My Perverted Friend

Gorgeous-GRUB: collection of decent community-made GRUB themes

A Better Man Page Viewer

Understanding-j: An introduction to the J programming language that gets to the

Progressive Dehancement

A LoRa LoRa Faff