Multiplexing

Kicking the Tires on CedarDB's SQL

How to Not Get Poisoned in America

Requirements change until they don't

AMP and why emails are not (and should never be) interactive

Propositional Parlor Puzzle

The Halting Problem is a terrible example of NP-Harder

Solving a “Layton Puzzle” with Prolog

Betteridge's Law of Software Engineering Specialness

Verification-First Development

It's Time to Stop Building KV Databases

Five Kinds of Nondeterminism

Five Kinds of Nondeterminism

Are efficiency and horizontal scalability at odds?

The Juggler's Curse

Channel Sharding in Go

Why do regexes use `$` and `^` as line anchors? (2024)

What are the Magical Clocks for?

Thoughts on DuckDB's Grammar Patching Thing

Why do we call it "boilerplate code?" (2022)

Formally Modeling Dreidel, the Sequel

Thoughts on DuckDB's Grammar Patching Thing

TLA from first principles

Adventures in Probability

What makes concurrency so hard?

Unusual Raku Features

The Prequel to SQL is SEQUEL

Write Code That Delivers Value to Clients (2021)

Fine, I'll Play With Skiplists

ChatGPT Has No Place in the Classroom

More →