- 29Looking for Missed Alarm Bugs in a Formal Verification Tool (blog.regehr.org)
- 13U.S. Workers Are Paying More for Healthcare, and Next Year Will Be Worse (wsj.com)
- 396Fairphone is now officially available in the United States (fairphone.com)
- 489Quake Shareware, a CD-ROM just a little too full (fabiensanglard.net)
- 28The Future of CSS: Target Multiple Classes with the Class Prefix Selector (bram.us)
- 5Astronomers discover a new type of astrophysical object: A black hole star (news.mit.edu)
- 168Los Puesteros, solitary men who look after ranches and livestock in Patagonia (newyorker.com)
- 14US power grid at risk of 18-month blackout; 1 city now in dark for over a week (syracuse.com)
- 822Anthropic's ‘watermark’ text adulteration in Claude is a perversion of writing (daringfireball.net)
- 972,500-year-old sculpture discovered at UNESCO site in Turkey (theartnewspaper.com)
- 90We've flown a radiation-blocking vest to the Moon and back, and it worked (arstechnica.com)
- 179The Benchmarkpocalypse (danluu.com)
- 6The Jason Arday delusion: Scapegoating is punitive and crass (unherd.com)
- 7YACS 2.0 – Yet Another Curta Simulator (satadorus.eu)
- 6How A Texas student blew the whistle on a rogue AI hacking attempt (reuters.com)
- 24Raiders of the Lost Array: vibe-coding a macOS driver for my orphaned Drobo (fetzu.ch)
- 643Ask HN: Alternatives to GitHub
- 12ADHD charity complains about Channel 4 documentary (bbc.com)
- 250On AI regulation and messaging (twitter.com)
- 297Babies born under sugar rationing grew into adults with lower cancer risk (theconversation.com)
- 36Show HN: Frugal Tokens – explore costs and usage across coding agents (demo.frugaltokens.com)
- 424AI-Generated GitHub Copilot “Autofix” Allowed Compromise of Snowflake's Jira (wiz.io)
- 5Solving the Flat Cube (mathenchant.wordpress.com)
- 13The Teens Taking on Data Centers (nytimes.com)
- 166Show HN: Desktopcolors.com – A museum for solid background colors of classic OS (desktopcolors.com)
- 22Why do programmers need private offices with doors? (frnanan.substack.com)
- 15We replaced our ledger with two functions (river.com)
- 276Linear algebra done right (linear.axler.net)
- 4The Semantic Web didn't fail because ontologies were wrong (thisandthat.chat)
- 13America's Colleges Are Hurtling Toward an Enrollment Cliff (wsj.com)