TLA from first principles

Clear up your Rails controllers with before_action wrappers

Writing the Worst Datalog Ever in 26loc

State and time are the same thing

Why Not Comments

The Two Machines

Goodhart's Law in Software Engineering

Integrity Constraints and the Relational Derivative

Measuring Throughput

State and time are the same thing

Languages Without Abstraction

Pie doesn't need to be original unless you claim it so

Decision Logs

The Closed-Loop Benchmark Trap

The Jame of Life