50 years of proof assistants
Article URL: Comments URL: Points: 5 # Comments: 0
Technology
Discover the latest breakthroughs in technology, from innovative startups to major industry shifts. CurioAtlas curates articles on gadgets, software, hardware, and digital culture to keep you ahead of the curve.
Can I use HTTPS RRs?
Article URL: Comments URL: Points: 3 # Comments: 1
OpenAI built an AI coding agent and uses it to improve the agent itself
In interviews with Ars Technica this week, OpenAI employees revealed the extent to which the company now relies on its own AI coding agent, Codex, to build and improve the development tool. “I think the vast majority of Codex is…
Parents call for New York governor to sign landmark AI safety bill
A group of more than 150 parents sent a letter on Friday to New York governor Kathy Hochul, urging her to sign the Responsible AI Safety and Education (RAISE) Act, a buzzy bill that would require developers of large AI…
Wine 11.0 RC2 – Run Windows Applications on Linux, BSD, Solaris and macOS
Article URL: Comments URL: Points: 13 # Comments: 0
Show HN: Tiny VM sandbox in C with apps in Rust, C and Zig
Article URL: Comments URL: Points: 3 # Comments: 0
Riding onboard with Rivian’s race to autonomy
Rivian demonstrated the progress it’s made, and in the process showed just how far it still has to go to make its cars autonomous.
Capsudo: Rethinking Sudo with Object Capabilities
Article URL: Comments URL: Points: 3 # Comments: 0
Reminder: Donate to win swag in our annual Charity Drive sweepstakes
If you’ve been too busy floating in your new WoW house to take part in this year’s Ars Technica Charity Drive sweepstakes, don’t worry. You still have time to donate to a good cause and get a chance to win…
I’m a shopping editor, and this is the No. 1 reason I prefer Best Buy over Amazon for tech purchases
Jeff Bezos doesn’t care about you like the Geek Squad does. Best Buy just price-matched my Cyber Monday purchase in under 5 minutes.