tzury

Recent Submissions

1. 1. ▲ Richard Feynman Side Hustles (twitter.com) 123 points · 3 hours ago · 46 comments
2. 2. ▲ Lean 4.27.0 (lean-lang.org) 2 points · 22 hours ago · 0 comments
3. 3. ▲ Atlas: Practical scaling laws for multilingual models (research.google) 1 point · 2 days ago · 0 comments
4. 4. ▲ Monster Neutrino Could Be a Messenger of Ancient Black Holes (quantamagazine.org) 7 points · 2 days ago · 4 comments
5. 5. ▲ Two Twisty Shapes Resolve a Centuries-Old Topology Puzzle (quantamagazine.org) 56 points · 3 days ago · 4 comments
6. 6. ▲ Animals Build a Sense of Direction (quantamagazine.org) 2 points · 4 days ago · 0 comments
7. 7. ▲ Erdős Problem #347 Solved (AI assisted math) (erdosproblems.com) 2 points · 8 days ago · 0 comments
8. 8. ▲ L∃AN together – live stream schedule (leanprover-community.github.io) 18 points · 8 days ago · 3 comments
9. 9. ▲ Prep for the SAT with practice tests in Gemini (blog.google) 3 points · 8 days ago · 0 comments
10. 10. ▲ Two Twisty Shapes Resolve a Centuries-Old Topology Puzzle (quantamagazine.org) 4 points · 10 days ago · 0 comments