A simple DPLL SAT solver for automatic Sudoku | Monday December 2, 2024 |
Halfway through the halfway house | Saturday November 16, 2024 |
Tasteful debugging | Wednesday August 21, 2024 |
Focus, ambition, or whatever | Wednesday August 7, 2024 |
Leaving eBay (and what’s next) | Monday July 8, 2024 |