Stories by todsacerdoti

Simply Typed Lambda Calculus in Datalog

BSD Jumpstart

Kinesis consumer balancing via consistent hashing

Vitale: Live notebooks in VS Code for JavaScript/TypeScript, web development, a

If Novelists Wrote Your Bug Reports

Troubleshoting: ZSH Lag and Solutions with Nix

Rendering my website with Servo to track progress

Mastering Nixpkgs Overlays: Techniques and Best Practice

Practical Applications for DuckDB

Adding Operational Transformation to Butler

Pulling Linux up by its bootstraps

Health industry company sues to prevent certificate revocation

Hello, World – Cpp2 and Cppfront

Vimscript Tutorial

Malt: A Deep Learning Framework for Racket

Generating YAML Files with Nix

Don't Let Your Domain Name Become a "Sitting Duck"