|
|
| 1. | | Be Wary of Digital Deskilling (calnewport.com) | | 6 points by calstad 10 months ago | past | 1 comment | |
| 2. | | OpenAI Declares 'Code Red' as Google Threatens AI Lead (wsj.com) | | 17 points by calstad 11 months ago | past | 4 comments | |
| 3. | | Accelerating Discovery with the AI for Math Initiative (blog.google) | | 3 points by calstad on Oct 29, 2025 | past | |
| 4. | | Soon You'll Be Able to Shop Walmart in ChatGPT. Here's Why It Matters (wsj.com) | | 3 points by calstad on Oct 14, 2025 | past | |
| 5. | | Experimenting with ACL2 and Claude Code (mikedodds.org) | | 1 point by calstad on Oct 10, 2025 | past | |
| 6. | | The Stanford Dropout Building an AI to Solve Math's Hardest Problems (forbes.com/sites/rashishrivastava) | | 2 points by calstad on Oct 1, 2025 | past | |
| 7. | | Pope Leo Takes on AI (wsj.com) | | 1 point by calstad on June 18, 2025 | past | |
| 8. | | New elliptic curve breaks 18-year-old record (quantamagazine.org) | | 173 points by calstad on Nov 11, 2024 | past | 52 comments | |
| 9. | | Carnegie Mellon Receives $20M to Establish Hoskinson Center for Formal Math (cmu.edu) | | 31 points by calstad on Sept 22, 2021 | past | 5 comments | |
| 10. | | Cardano chief donates $20m to establish Carnegie University mathematics centre (cityam.com) | | 3 points by calstad on Sept 22, 2021 | past | |
| 11. | | IBM,White House,DoE start consortium to give coronavirus researchers HPC access (venturebeat.com) | | 2 points by calstad on March 23, 2020 | past | |
| 12. | | The Ivory Tower Can’t Keep Ignoring Tech (nytimes.com) | | 2 points by calstad on Nov 14, 2017 | past | |
|
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact
|
