• 29 Looking for Missed Alarm Bugs in a Formal Verification Tool (blog.regehr.org)
  by luu 7 days ago | 1 comments
• 14 Frustrated GP patients hang up as Yorkshire accent baffles AI receptionist (theguardian.com)
  by mellosouls 11 hours ago | 4 comments
• 72 Show HN: Openleetcode – Local LeetCode runner where tests live in the repo (github.com)
  by therepanic 2 days ago | 19 comments
• 5 NASA mission to save sinking space telescope fails (nbcnews.com)
  by anigbrowl 6 hours ago | 1 comments
• 53 How a giant battery is transforming a town centre in Cannington, Ontario (betakit.com)
  by builtbystef 7 days ago | 16 comments
• 714 A Preview of DuckDB v2.0 (duckdb.org)
  by ibotty 3 days ago | 131 comments
• 107 The Road to MS-DOS 2.0 (nemanjatrifunovic.substack.com)
  by whobre 9 days ago | 57 comments
• 1097 AI;DR (AI; Didn't Read) (rickmanelius.com)
  by mooreds 3 days ago | 688 comments
• 109 Exercise intensity modulates interorgan communication and is associated with (cell.com)
  by newsomix9xl 3 days ago | 71 comments
• 5 Beautiful, Irrelevant Things: The Efficiency Era Ends the Way ZIRP Began (jamesjboyer.substack.com)
  by aesthetics1 9 hours ago | discuss
• 84 IBM Simon (1994): the original smartphone, explained in its own ad [video] (youtube.com)
  by kls0e 5 days ago | 49 comments
• 8 More than 150 Polymarket wallets may have traded on military secrets (reuters.com)
  by thm 11 hours ago | discuss
• 5 Canadian premier says Trump is a 'bad person' as Canada weighs concessions (apnews.com)
  by petethomas an hour ago | 1 comments
• 395 Fairphone is now officially available in the United States (fairphone.com)
  by Vinnl 2 days ago | 195 comments
• 97 2,500-year-old sculpture discovered at UNESCO site in Turkey (theartnewspaper.com)
  by speckx 7 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
• 118 Launch HN: Speko (YC S26) – OpenRouter for Voice AI (speko.ai)
  by abdik 3 days ago | 68 comments
• 532 Olo (Color) (en.wikipedia.org)
  by inigyou 9 days ago | 104 comments
• 48 Show HN: Nikon F100 Film Camera Repair Notes (github.com)
  by enthdegree 6 days ago | 24 comments
• 38 Canonical backs new project to translate large C codebases into safe Rust (linuxiac.com)
  by datakan 11 hours ago | 44 comments
• 39 How do payments work in the US, China, and Brazil? (andrewacomb.substack.com)
  by acombandrew 8 days ago | 14 comments
• 488 Quake Shareware, a CD-ROM just a little too full (fabiensanglard.net)
  by shdon 3 days ago | 225 comments
• 795 Qwen 3.8 27B is excellent, but it defaults to overthinking things (simonwillison.net)
  by bilsbie 4 days ago | 383 comments
• 168 Los Puesteros, solitary men who look after ranches and livestock in Patagonia (newyorker.com)
  by bookofjoe 3 days ago | 73 comments
• 179 The Benchmarkpocalypse (danluu.com)
  by cyndunlop 3 days ago | 64 comments
• 296 Babies born under sugar rationing grew into adults with lower cancer risk (theconversation.com)
  by zeristor 2 days ago | 59 comments
• 5 High-speed star is whipping around the black hole in the middle of our galaxy (npr.org)
  by colinprince 7 hours ago | 2 comments
• 45 Tiny satellite will use the dark side of the Moon as a shield (cam.ac.uk)
  by NordStreamYacht 2 days ago | 14 comments
• 10 Semantica, the Open Source Palantir for AI Agents (github.com)
  by jinqueeny a day ago | discuss
• 63 CUDA Shared Memory Swizzling (leimao.github.io)
  by jxmorris12 7 days ago | 2 comments