Loading...

Tag trends are in beta. Feedback? Thoughts? Email me at [email protected]

I ****Ing Hate Science (2021)

Syntax highlighting is a waste of an information channel (2020)

Why did containers happen?

Modal editing is a weird historical contingency we have through sheer happenstance

Three ways formally verified code can go wrong in practice

The death of thread per core

Email was the user interface for the first AI recommendation engines

Many hard LeetCode problems are easy constraint problems

Famous cognitive psychology experiments that failed to replicate

Infinite Relations

How RSS beat Microsoft

This Month in Ladybird: August 2025

How to Not Build the Torment Nexus

I Prefer RST to Markdown (2024)

The many JavaScript runtimes of the last decade

Words about Arrays and Tables

Giving Benchmarks a Boat

How email tracking works behind the scenes

Unified Memory Management

Solving LinkedIn Queens with SMT

Caching is an abstraction, not an optimization

How to Leave the House

Monotone Functions and Cache Lines

AI is a gamechanger for TLA+ users

What does “Undecidable” mean, anyway

Why Property Testing Finds Bugs Unit Testing Does Not (2021)

How To Understand That Jepsen Report

Finding hard 24 puzzles with planner programming

Write the most clever code you possibly can

E-COM: The $40M USPS project to send email on paper

More →