5rest

About

6faff3

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