abetusk

Recent Submissions

1. 1. ▲ Lean Game Server (adam.math.hhu.de) 3 points · 9 days ago · 0 comments
2. 2. ▲ Natural Number Game (Lean4 Tutorial) (adam.math.hhu.de) 3 points · 9 days ago · 1 comment
3. 3. ▲ Leveraging Sparsity to Accelerate Automatic Differentiation (2025) [video] (youtube.com) 4 points · 23 days ago · 1 comment
4. 4. ▲ HydroGym: A Reinforcement Learning Platform for Fluid Dynamics [video] (youtube.com) 1 point · 28 days ago · 1 comment
5. 5. ▲ Sutton and Javed: Why AI Models Stop Learning, and How to Start It Again [video] (youtube.com) 2 points · 1 month ago · 0 comments
6. 6. ▲ Openness Made All of This Possible (opensource.org) 1 point · 1 month ago · 0 comments
7. 7. ▲ Conformance vs. Comprehension (intertwingly.net) 2 points · 1 month ago · 0 comments