calstad | Dark Hacker News

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