amir

Recent Submissions

1. 1. ▲ Programming Language Foundations in Agda (plfa.inf.ed.ac.uk) 2 points · 3 months ago · 0 comments
2. 2. ▲ Nvidia at SC23: H200 Accelerator with HBM3e and Jupiter Supercomputer for 2024 (anandtech.com) 6 points · 2 years ago · 1 comment
3. 3. ▲ Tpm: Disable RNG for All AMD FTPMs (git.kernel.org) 3 points · 2 years ago · 0 comments
4. 4. ▲ Google Cloud expands availability of enterprise-ready generative AI (cloud.google.com) 4 points · 2 years ago · 1 comment
5. 5. ▲ How Google Is Celebrating World Quantum Day (blog.google) 2 points · 2 years ago · 0 comments
6. 6. ▲ Beyond the C (f5.com) 2 points · 2 years ago · 0 comments
7. 7. ▲ Enabling static analysis of SQL queries at Meta (engineering.fb.com) 2 points · 3 years ago · 0 comments
8. 8. ▲ Reverse engineering 8086's bootstrap driver by studying it under a microscope (twitter.com) 3 points · 3 years ago · 0 comments
9. 9. ▲ Economics Nobel Prize winners work used to solve tough problems at Twitter (twitter.com) 7 points · 4 years ago · 1 comment