Loading...

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

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

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

More →