• 55 A whirlwind tour of systemd-nspawn containers (2025) (quantum5.ca)
  by ibobev 4 days ago | 12 comments
• 462 LLMs are making formal software verification feasible at a much larger scale (anthropic.com)
  by johnbender 5 days ago | 311 comments
• 665 Woman charged with computer fraud due to scam CashApp account being in her name (404media.co)
  by oidar 5 days ago | 728 comments
• 1157 eMudhra to exit global SSL/TLS certificate business (emudhra.com)
  by bo0tzz 5 days ago | 742 comments
• 10 Pentagon orders bases to plan for 90 days without the grid (fortune.com)
  by russfink 10 hours ago | 4 comments
• 7 Microsoft offers buyouts to around 60k employees to contain costs (reuters.com)
  by ibn_khaldun 20 hours ago | 1 comments
• 5 SS United States to be sunk as largest artificial reef (divemagazine.com)
  by geox a day ago | 2 comments
• 21 Progressive disclosure in agents to make them 2.3x faster (skyvern.com)
  by suchintan 3 days ago | 2 comments
• 25 Anthropic files S-1 with the SEC for proposed initial public offering (anthropic.com)
  by meetpateltech a day ago | 1 comments
• 6 I will no longer be uploading to the Debian NEW queue (lists.debian.org)
  by phoronixrly 14 hours ago | 1 comments
• 616 Show HN: Steal My Bitcoin (stealmybitcoin.com)
  by cloudlandsdev 3 days ago | 450 comments
• 126 Gemma-4-26B-A4B with 39-69% less thinking at same accuracy (bottlecapai.com)
  by armcat 4 days ago | 34 comments
• 3 The Small Web is Huge [video] (dn711504.ca.archive.org)
  by Curiositry 15 hours ago | discuss
• 180 Dream-1 (dreamlabs.ai)
  by GaggiX 3 days ago | 77 comments
• 286 A farewell to Arc browser (arc.net)
  by suhdonghwi 5 days ago | 255 comments
• 5 Upwelling – Combining real-time collaboration with version control for writers (inkandswitch.com)
  by andsoitis 2 days ago | discuss
• 123 The HTML-in-Canvas API origin trial (developer.chrome.com)
  by andrewstuart 5 days ago | 63 comments
• 16 Monoidal computer I: Basic computability by string diagrams (2012) (arxiv.org)
  by measurablefunc 5 days ago | discuss
• 7 ICE plan to buy robot dogs spurs protest from Boston Dynamics employees (arstechnica.com)
  by dataflow 7 hours ago | discuss
• 125 Securing our frontier model training environment (openai.com)
  by pretext 4 days ago | 121 comments
• 195 Remove pgrust: the entry is cheating (per-query kernels and result caching) (github.com)
  by f311a 4 days ago | 162 comments
• 10 Police Pulling People over Because AI Deems Their Driving Patterns "Suspicious" (aclu.org)
  by voxadam 15 hours ago | discuss
• 56 We have traits at home (axelmagn.com)
  by Ygg2 5 days ago | 19 comments
• 641 No signs of AI payoff outside the tech sector (apollo.com)
  by the-mitr 3 days ago | 668 comments
• 8 How we made our MMDB files a 33% smaller (ipinfo.io)
  by mmaia 2 days ago | discuss
• 186 Evolving Threat: http2shell is an RCE in Node, Python, and more (nitter.click)
  by cowlevel 4 days ago | 95 comments
• 30 Who killed the EV cert? A browser whodunit for Halloween (qwac.com)
  by roddylindsay 4 days ago | 40 comments
• 11 Chinese research vessels loiter near undersea cables more than any other nation (tomshardware.com)
  by beansovertoast 12 hours ago | discuss
• 31 Ask HN: Is it not possible to enroll for Apple Developer anymore? ()
  by olalonde 2 days ago | 16 comments   ask
• 4 Japanese companies compensate users as cyberattacks buffet economy (reuters.com)
  by andrewstetsenko 16 hours ago | discuss