• 462 LLMs are making formal software verification feasible at a much larger scale (anthropic.com)
  by johnbender 4 days ago | 311 comments
• 10 Star Trek actor Walter Koenig, who played Pavel Chekov, dies aged 90 (bbc.com)
  by Archelaos 8 hours ago | 3 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
• 616 Show HN: Steal My Bitcoin (stealmybitcoin.com)
  by cloudlandsdev 3 days ago | 449 comments
• 21 Progressive disclosure in agents to make them 2.3x faster (skyvern.com)
  by suchintan 3 days ago | 2 comments
• 5 Upwelling – Combining real-time collaboration with version control for writers (inkandswitch.com)
  by andsoitis 2 days ago | discuss
• 1157 eMudhra to exit global SSL/TLS certificate business (emudhra.com)
  by bo0tzz 5 days ago | 742 comments
• 126 Gemma-4-26B-A4B with 39-69% less thinking at same accuracy (bottlecapai.com)
  by armcat 4 days ago | 34 comments
• 180 Dream-1 (dreamlabs.ai)
  by GaggiX 3 days ago | 77 comments
• 16 Monoidal computer I: Basic computability by string diagrams (2012) (arxiv.org)
  by measurablefunc 5 days ago | discuss
• 5 How I made it possible to pretrain a 1B LLM on 6GB VRAM (huggingface.co)
  by komalbarun 14 hours ago | discuss
• 8 How we made our MMDB files a 33% smaller (ipinfo.io)
  by mmaia 2 days ago | discuss
• 31 Ask HN: Is it not possible to enroll for Apple Developer anymore?
  by olalonde a day ago | 16 comments ask
• 286 A farewell to Arc browser (arc.net)
  by suhdonghwi 5 days ago | 255 comments
• 123 The HTML-in-Canvas API origin trial (developer.chrome.com)
  by andrewstuart 5 days ago | 63 comments
• 22 Everybody panic: A Valve developer said "HLX" in public (arstechnica.com)
  by chha a day ago | 4 comments
• 5 Michigan prof creates Python-like Jac language for AI agents (theregister.com)
  by rbanffy 14 hours ago | discuss
• 12 US startup's demonstration of lighting Earth from space draws critcism (theguardian.com)
  by n1b0m 20 hours ago | discuss
• 641 No signs of AI payoff outside the tech sector (apollo.com)
  by the-mitr 3 days ago | 668 comments
• 18 Drone warfare is evolving faster than armies can adapt (thestar.com)
  by sleepyguy a day ago | 4 comments
• 14 Anemoia: Nostalgia for a time one did not personally experience (en.wikipedia.org)
  by janandonly a day ago | 2 comments
• 125 Securing our frontier model training environment (openai.com)
  by pretext 4 days ago | 121 comments
• 33 Flock [YC S17] Fever: A Review of Government Surveillance by Benn Jordan [video] (youtube.com)
  by input_sh 2 days ago | 1 comments
• 41 Walter Koenig, Ensign Chekov on original 'Star Trek' series, dies at 90 (apnews.com)
  by shagie 15 hours ago | 8 comments
• 18 Viktor Orbán, U.N. Secretary-General? (wsj.com)
  by bushwart a day ago | 5 comments
• 195 Remove pgrust: the entry is cheating (per-query kernels and result caching) (github.com)
  by f311a 4 days ago | 162 comments
• 4 Internet Security: We're Doomed (nationalreview.com)
  by DamnInteresting a day ago | 1 comments
• 56 We have traits at home (axelmagn.com)
  by Ygg2 4 days ago | 19 comments
• 25 U.S. birth rate drops to record low, but older women are having more babies (npr.org)
  by pseudolus a day ago | 10 comments
• 11 Anthropic's Claude AI model accessed Georgia voter data in US (theguardian.com)
  by chrisjj 21 hours ago | discuss