Stories by todsacerdoti

The Apple IIGS Megahertz Myth

Against XMPP+omemo

Invest in Interfaces

Arrival-time: Simple and powerful progress time estimation (ETA)

Versioning as Communication

Go debug your core dumps somewhere else

A Knownbits Abstract Domain for the Toy Optimizer, Correctly

Racket meet-up: Saturday, 3 August, 2024 at 18:00 UTC

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