λucas δu

A simple DPLL SAT solver for automatic SudokuMonday December 2, 2024
Halfway through the halfway houseSaturday November 16, 2024
Tasteful debuggingWednesday August 21, 2024
Focus, ambition, or whateverWednesday August 7, 2024
Leaving eBay (and what’s next)Monday July 8, 2024