Stories by todsacerdoti

Formally verifying security properties of CHERI processors

Simple Fast Value Semantics

Once Upon a Lazy Init

Dune Analytics Improved Dune API Using DuckDB

U.S. Trades Cybercriminals to Russia in Prisoner Swap

U.S. Trades 5 Cybercriminals to Russia in Prisoner Swap

Quick bits: realise Nix symlinks

An Overview of Ocamlfront

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