5rest

Recent Submissions

1. 1. ▲ CUDA kernel writing dev agent (twitter.com) 1 point · 10 months ago · 1 comment
2. 2. ▲ Terence Tao: Formalizing a proof in Lean using GitHub Copilot and canonical [video] (youtube.com) 2 points · 11 months ago · 1 comment
3. 3. ▲ How the Indian Ocean Geoid Low Was Formed? (agupubs.onlinelibrary.wiley.com) 1 point · 2 years ago · 1 comment
4. 4. ▲ The Daily Routines of Famous Creatives (visualcapitalist.com) 1 point · 2 years ago · 0 comments
5. 5. ▲ Abstraction Laddering (untools.co) 2 points · 3 years ago · 1 comment
6. 6. ▲ Sanskrit Reader (ambuda.org) 3 points · 3 years ago · 0 comments
7. 7. ▲ 2022, March 28: Rare Planet Alignment (whenthecurveslineup.com) 1 point · 4 years ago · 0 comments
8. 8. ▲ Welcome to ‘Web3.’ What’s That? (nytimes.com) 2 points · 4 years ago · 0 comments
9. 9. ▲ PyTorch Tutorial (pytorch.org) 1 point · 4 years ago · 0 comments
10. 10. ▲ Samidh's notes on FB internal memo “Our position on Polarization and Elections” (threadreaderapp.com) 1 point · 4 years ago · 0 comments