• 29 Looking for Missed Alarm Bugs in a Formal Verification Tool (blog.regehr.org)
  by luu 7 days ago | 1 comments
• 28 The Future of CSS: Target Multiple Classes with the Class Prefix Selector (bram.us)
  by cdrnsf a day ago | 13 comments
• 53 How a giant battery is transforming a town centre in Cannington, Ontario (betakit.com)
  by builtbystef 7 days ago | 16 comments
• 395 Fairphone is now officially available in the United States (fairphone.com)
  by Vinnl 3 days ago | 195 comments
• 489 Quake Shareware, a CD-ROM just a little too full (fabiensanglard.net)
  by shdon 3 days ago | 225 comments
• 7 YACS 2.0 – Yet Another Curta Simulator (satadorus.eu)
  by neom 6 days ago | 1 comments
• 168 Los Puesteros, solitary men who look after ranches and livestock in Patagonia (newyorker.com)
  by bookofjoe 4 days ago | 73 comments
• 822 Anthropic's ‘watermark’ text adulteration in Claude is a perversion of writing (daringfireball.net)
  by ropbear 4 days ago | 727 comments
• 97 2,500-year-old sculpture discovered at UNESCO site in Turkey (theartnewspaper.com)
  by speckx 8 days ago | 50 comments
• 90 We've flown a radiation-blocking vest to the Moon and back, and it worked (arstechnica.com)
  by rbanffy 7 days ago | 55 comments
• 24 Raiders of the Lost Array: vibe-coding a macOS driver for my orphaned Drobo (fetzu.ch)
  by fetzu a day ago | 13 comments
• 179 The Benchmarkpocalypse (danluu.com)
  by cyndunlop 3 days ago | 64 comments
• 22 Why do programmers need private offices with doors? (frnanan.substack.com)
  by madihaa 14 hours ago | 10 comments
• 13 The Teens Taking on Data Centers (nytimes.com)
  by bcaulfield 15 hours ago | discuss
• 12 ADHD charity complains about Channel 4 documentary (bbc.com)
  by choult a day ago | 14 comments
• 7 New AirPods leak reveals built-in cameras and Visual Intelligence (dexerto.com)
  by GuinansEyebrows 11 hours ago | discuss
• 5 Solving the Flat Cube (mathenchant.wordpress.com)
  by ibobev 18 hours ago | discuss
• 13 America's Colleges Are Hurtling Toward an Enrollment Cliff (wsj.com)
  by fortran77 13 hours ago | 17 comments
• 15 We replaced our ledger with two functions (river.com)
  by leishman 18 hours ago | discuss
• 643 Ask HN: Alternatives to GitHub (undefined)
  by dhruv3006 4 days ago | 431 comments ask
• 36 Show HN: Frugal Tokens – explore costs and usage across coding agents (demo.frugaltokens.com)
  by dpc94 2 days ago | 10 comments
• 4 The Semantic Web didn't fail because ontologies were wrong (thisandthat.chat)
  by jreynar 19 hours ago | discuss
• 297 Babies born under sugar rationing grew into adults with lower cancer risk (theconversation.com)
  by zeristor 3 days ago | 59 comments
• 11 A quiet channel between ICE and Iran shaped deportation flights (apnews.com)
  by toomanyrichies 12 hours ago | discuss
• 250 On AI regulation and messaging (twitter.com)
  by jacquesm 4 days ago | 544 comments
• 424 AI-Generated GitHub Copilot “Autofix” Allowed Compromise of Snowflake's Jira (wiz.io)
  by galnagli 4 days ago | 156 comments
• 5 Sears didn't miss e-commerce – Eddie Lampert stripped it [video] (youtube.com)
  by adhikaribipin 10 hours ago | discuss
• 166 Show HN: Desktopcolors.com – A museum for solid background colors of classic OS (desktopcolors.com)
  by vlowrian 4 days ago | 74 comments
• 276 Linear algebra done right (linear.axler.net)
  by the-mitr 4 days ago | 114 comments
• 7 More than 150 Polymarket wallets may have traded on military secrets (msn.com)
  by bcaulfield 10 hours ago | discuss