calstad's submissions

1.		Be Wary of Digital Deskilling (calnewport.com)
		6 points by calstad 24 days ago \| past \| 1 comment
2.		OpenAI Declares 'Code Red' as Google Threatens AI Lead (wsj.com)
		17 points by calstad 65 days ago \| past \| 4 comments
3.		Accelerating Discovery with the AI for Math Initiative (blog.google)
		3 points by calstad 3 months ago \| past
4.		Soon You'll Be Able to Shop Walmart in ChatGPT. Here's Why It Matters (wsj.com)
		3 points by calstad 3 months ago \| past
5.		Experimenting with ACL2 and Claude Code (mikedodds.org)
		1 point by calstad 3 months ago \| past
6.		The Stanford Dropout Building an AI to Solve Math's Hardest Problems (forbes.com/sites/rashishrivastava)
		2 points by calstad 4 months ago \| past
7.		Pope Leo Takes on AI (wsj.com)
		1 point by calstad 7 months ago \| 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