Stories by todsacerdoti

Tzero: Social Timeboxing for IRC Channels

There is only one test

Desugaring Haskell's Do-Notation into Applicative Operations [pdf]

Panic at the Async Runtime Shutdown

Eron Wolf Interviews Andreas Kling About the Ladybird Browser [video]

Reduce allocations and comparison performance with the new unique package in Go

Manifest.py

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