Writings
2025
A competitive GPU-accelerated LP solver in PyTorch (Dec 27, 2025)
The Schwartz-Zippel lemma (Dec 20, 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)