Writings
2025
Property-based testing of batch-invariant operations (Oct 5, 2025)
How Opus and o3 saved me from permanent blindness (Sep 14, 2025)
2024
Solving Boolean satisfiability and integer programming with Python packaging (Nov 23, 2024)
Who really wins the Olympics?: some optimization and geometry (Aug 7, 2024)