Loading activity…
@octonion
Data science and optimization. Ex-San Diego Padres, Detroit Tigers, Yankees, Arsenal, Houston Rockets. Google Foobar winner. He/him. sabermetrics@gmail.com
AI
A contributor says Resolution’s downstream Lean work no longer needs to treat the theorem as an axiom.
