• 335 K2 Horizon: A connected fleet of six open models (ifm.ai)
  by karimf 5 days ago | 131 comments
• 146 Fermat's Last Theorem in Lean 4 (github.com)
  by aaraujo002 4 days ago | 33 comments
• 78 Show HN: Reactor Atlas (reactoratlas.com)
  by fedecaccia 5 days ago | 26 comments
• 15 Canada holds first defense talks with China in more than 8 years (scmp.com)
  by ilamont 12 hours ago | 7 comments
• 25 Obscura: Native rendering is here. No Chromium required (github.com)
  by partsch 3 days ago | 1 comments
• 36 Signing TLS handshakes inside a TPM (bschaatsbergen.com)
  by bschaatsbergen 2 days ago | 46 comments
• 336 Google Antigravity TOS: 3rd party usage can get Google account suspended (twitter.com)
  by tosh 5 days ago | 220 comments
• 221 GPS glitched across the US by as much as 33 feet (sciencealert.com)
  by thread_id 6 days ago | 142 comments
• 36 MathKernel: An evidence-aware multi-engine mathematics kernel and MCP server (github.com)
  by staatsgeheim 2 days ago | 5 comments
• 9 Humpback whales are interrupting orca hunts to rescue different species (spacedaily.com)
  by cobbzilla a day ago | discuss
• 73 Recreating Minecraft Is Not a Benchmark (kuber.studio)
  by kuberwastaken 2 days ago | 71 comments
• 134 Tesla killing Solar Roof is leaving installers with six-figure losses (electrek.co)
  by voxadam 20 hours ago | 123 comments
• 7 The Turpentine Effect (2010) (ribbonfarm.com)
  by Curiositry 2 days ago | discuss
• 4 TIL POSIX specifies a tool designed to assist you with generated code (reddit.com)
  by g-b-r 14 hours ago | discuss
• 299 Wikimedia Foundation Workers Overwhelmingly Vote to Form Union with CWA (wikiworkersunited.org)
  by robin_reala 3 days ago | 174 comments
• 69 Restoring 5 GHz Wi-Fi on an LG C5 by changing its webOS region (github.com)
  by hawshemi 4 days ago | 67 comments
• 49 Write Software in Latin (2025) [video] (youtube.com)
  by akkartik 5 days ago | 26 comments
• 14 Making software hurts now (notes.erlend.sh)
  by erlend_sh a day ago | 3 comments
• 25 The Pelican comparison grid for Astra is pretty interesting (simonwillison.net)
  by csmantle 3 days ago | 7 comments
• 5 Surplus Agriculture Equipment (svdisposition.com)
  by Bluestein 2 days ago | discuss
• 13 Hot Chips 2026: Irrational Recap (irrationalanalysis.substack.com)
  by zdw 2 days ago | discuss
• 8 A Week of Bug Reporting (tratt.net)
  by luu 4 days ago | 3 comments
• 145 GLP-1s are being linked to fewer serious infections, including TB (gizmodo.com)
  by gumby 5 days ago | 84 comments
• 52 Connecting every app to every other app (blog.val.town)
  by Chidiebere229 4 days ago | 2 comments
• 43 Claude Code skills for advanced context engineering techniques and patterns (github.com)
  by leovs09 4 days ago | 4 comments
• 128 Reasons robotics is hard (secondthoughts.ai)
  by ddp26 6 days ago | 77 comments
• 151 I changed my license (bergie.iki.fi)
  by jllyhill 2 days ago | 191 comments
• 16 The Untold Pre-History of 9/11 (nationalinterest.org)
  by baud147258 a day ago | 6 comments
• 585 Record-High 89% in U.S. Say Government Corruption Widespread (news.gallup.com)
  by karakoram 4 days ago | 550 comments
• 74 Finite time blowup for an averaged three-dimensional Navier-Stokes equation (2014) (terrytao.wordpress.com)
  by gmays 3 days ago | 51 comments