abetusk

Recent Submissions

1. 1. ▲ What has happened to Clipper2 development? (github.com) 3 points · 18 days ago · 2 comments
2. 2. ▲ A mountain of AI math, a few precious bytes (blog.adafruit.com) 1 point · 24 days ago · 0 comments
3. 3. ▲ Tiny Brutalism (placeholders.itch.io) 235 points · 1 month ago · 35 comments
4. 4. ▲ There is no Percolation at the Critical Probability in all Dimensions (gilkalai.wordpress.com) 1 point · 1 month ago · 0 comments
5. 5. ▲ Universe, Drawn in ASCII (gcdatlas.vercel.app) 4 points · 1 month ago · 1 comment
6. 6. ▲ Lean Game Server (adam.math.hhu.de) 3 points · 1 month ago · 0 comments
7. 7. ▲ Natural Number Game (Lean4 Tutorial) (adam.math.hhu.de) 3 points · 1 month ago · 1 comment
8. 8. ▲ Leveraging Sparsity to Accelerate Automatic Differentiation (2025) [video] (youtube.com) 4 points · 2 months ago · 1 comment