HN Explorer

calstad

↗ HN profile [ 83.0 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. Be Wary of Digital Deskilling (calnewport.com)
    6 points 1
  2. OpenAI Declares 'Code Red' as Google Threatens AI Lead (wsj.com)
    17 points 4
  3. Accelerating Discovery with the AI for Math Initiative (blog.google)
    3 points 0
  4. Soon You'll Be Able to Shop Walmart in ChatGPT. Here's Why It Matters (wsj.com)
    3 points 0
  5. Experimenting with ACL2 and Claude Code (mikedodds.org)
    1 points 0
  6. The Stanford Dropout Building an AI to Solve Math's Hardest Problems (forbes.com)
    2 points 0
  7. Pope Leo Takes on AI (wsj.com)
    1 points 0
  8. New elliptic curve breaks 18-year-old record (quantamagazine.org)
    173 points 52
  9. Carnegie Mellon Receives $20M to Establish Hoskinson Center for Formal Math (cmu.edu)
    31 points 5
  10. Cardano chief donates $20m to establish Carnegie University mathematics centre (cityam.com)
    3 points 0
  11. IBM,White House,DoE start consortium to give coronavirus researchers HPC access (venturebeat.com)
    2 points 0
  12. The Ivory Tower Can’t Keep Ignoring Tech (nytimes.com)
    2 points 0