Stories by todsacerdoti

Streams, Calculational Proofs and Dafny

Archiving and Syndicating Mastodon Posts

Supercharged Labels – Gleam v1.4.0

Video-compress: Compress video by 90% without losing much quality, similar to w

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