WingNews GitHub [2]

calstad's submissions

Be Wary of Digital Deskilling (calnewport.com)

6 pts| 1 month ago | 1 comment

OpenAI Declares 'Code Red' as Google Threatens AI Lead (wsj.com)

17 pts| 3 months ago | 4 comments

Accelerating Discovery with the AI for Math Initiative (blog.google)

3 pts| 4 months ago | discuss

Soon You'll Be Able to Shop Walmart in ChatGPT. Here's Why It Matters (wsj.com)

3 pts| 4 months ago | discuss

Experimenting with ACL2 and Claude Code (mikedodds.org)

1 pts| 5 months ago | discuss

The Stanford Dropout Building an AI to Solve Math's Hardest Problems (forbes.com)

2 pts| 5 months ago | discuss

Pope Leo Takes on AI (wsj.com)

1 pts| 8 months ago | discuss

New elliptic curve breaks 18-year-old record (quantamagazine.org)

173 pts| 1 year ago | 52 comments

Carnegie Mellon Receives $20M to Establish Hoskinson Center for Formal Math (cmu.edu)

31 pts| 4 years ago | 5 comments

Cardano chief donates $20m to establish Carnegie University mathematics centre (cityam.com)

3 pts| 4 years ago | discuss

IBM,White House,DoE start consortium to give coronavirus researchers HPC access (venturebeat.com)

2 pts| 6 years ago | discuss

The Ivory Tower Can’t Keep Ignoring Tech (nytimes.com)

2 pts| 8 years ago | discuss

page 1