Posits: tapered precision real numbers (2018)

It's OK to compare floating-points for equality

Wet Sidewalks and Odd Numbers

How do we tell truths that might hurt?

Best Paper Awards in Computer Science over the past 30 years

On Interaction Nets and Hardware

Baby's Second Garbage Collector

Entering The Architecture Age

Baby’s Second Garbage Collector

Timesliced reservoir sampling: a new(?) algorithm for profilers

Multi-Agentic Software Development Is a Distributed Systems Problem

Missile defense is NP-complete

symbolic derivatives and the rust rewrite of RE#

Claude's Cycles [pdf]

An ode to bzip

yes, all longest regex matches in linear time is possible

Learning Creative Coding

Mass-Produced Software Components

Binary Fuse Filters: Fast and Smaller Than Xor Filters (2022)

Based base64 (now with more steganography!)

Solving Regex Crosswords Without Z3

APT Graph Colouring

Cellpond: Spatial programming without escape

Competitive high school compsci team training help

Package Managers à la Carte: a formal model of dependency resolution

C99 implementation of new O(m log^(2/3) n) shortest path algorithm

two mechanisms for dynamic type checks

Beyond Smoothed Analysis: Analyzing the Simplex Method by the Book

Dictionary of Algorithms and Data Structures

Millets: a practical memory-safety and thread-safety experiment

More →