A Follow-up to US Government Math

How I wrote “US Government Math”

US Government Math

Where federal dollars really go

AI and the Inversion of Control

Categories

Things don’t have the categories you want them to have.

Arguments About AI

Autocompleting Regular Expressions

Things I Would Pay For: Invariant Testing

Someone should build proof-based invariant testing for software programs with a natural language interface.