cpeterso

Recent Submissions

1. 1. ▲ A benchmark for LLM vericoding: formally verified program synthesis (arxiv.org) 2 points · 14 days ago · 0 comments
2. 2. ▲ Two Thinking Machines Lab Cofounders Are Leaving to Rejoin OpenAI (wired.com) 2 points · 15 days ago · 0 comments
3. 3. ▲ Wordiest: Android APK ported to iOS by ChatGPT 5.2 (blog.fsck.com) 2 points · 1 month ago · 0 comments
4. 4. ▲ Google is building an experimental new browser and a new kind of web app (theverge.com) 2 points · 1 month ago · 0 comments
5. 5. ▲ DeepMind spent years trying to break away from Google (2021) (businessinsider.com) 1 point · 1 month ago · 0 comments
6. 6. ▲ Google will start building data centers in space, powered by the sun, in 2027 (businessinsider.com) 4 points · 1 month ago · 6 comments
7. 7. ▲ Arc Raiders and the Ethical Use of Generative AI in Games (aiandgames.com) 2 points · 2 months ago · 1 comment
8. 8. ▲ Receipts: A brief list of prominent articles proclaiming the death of the web (zeldman.com) 4 points · 2 months ago · 0 comments
9. 9. ▲ Square Enix aims to have AI doing 70% of its QA work by the end of 2027 (pcgamer.com) 3 points · 2 months ago · 0 comments
10. 10. ▲ Time Programming for Lawyers and Jurors (specbranch.com) 1 point · 3 months ago · 0 comments