• 462 LLMs are making formal software verification feasible at a much larger scale (anthropic.com)
  by johnbender 4 days ago | 311 comments
• 168 Tool book of a Nuremberg knight from 1505 (loeffelholz-codex.org)
  by edwardog 2 days ago | 88 comments
• 24 U.S. birth rate drops to record low, but older women are having more babies (npr.org)
  by pseudolus a day ago | 10 comments
• 16 Monoidal computer I: Basic computability by string diagrams (2012) (arxiv.org)
  by measurablefunc 4 days ago | discuss
• 70 Reverse engineer of PC-98 Touhou games retires (rec98.nmlgc.net)
  by mimasama 4 days ago | 48 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
• 4 Internet Security: We're Doomed (nationalreview.com)
  by DamnInteresting a day ago | 1 comments
• 180 Dream-1 (dreamlabs.ai)
  by GaggiX 2 days ago | 77 comments
• 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
• 33 Flock [YC S17] Fever: A Review of Government Surveillance by Benn Jordan [video] (youtube.com)
  by input_sh a day ago | 1 comments
• 4 Show HN: Visualization of Top News Stories (topaztee.com)
  by topaztee a day ago | 3 comments
• 27 The Chalk and the Airplane (unintendedconsequenc.es)
  by paulorlando 5 days ago | 12 comments
• 31 F45 (Fedora 45) Final Is No-Go (lists.fedoraproject.org)
  by gnabgib a day ago | 4 comments
• 3 macOS Extensions Pack for the Apple Network Server v1.0 (oldvcr.blogspot.com)
  by zdw a day ago | discuss
• 4 Why My Dad Didn't Have a Cell Phone (blog.jim-nielsen.com)
  by Brajeshwar 13 hours ago | 2 comments
• 638 No signs of AI payoff outside the tech sector (apollo.com)
  by the-mitr 2 days ago | 668 comments
• 323 Serbia's Vucic concedes election defeat in historic win for student movement (reuters.com)
  by consumer451 a day ago | 178 comments
• 19 Psilocybin Replaces Lost Synapses in Depressed Brains (neurosciencenews.com)
  by bookofjoe a day ago | discuss
• 286 A farewell to Arc browser (arc.net)
  by suhdonghwi 4 days ago | 255 comments
• 25 Noyb win: German DPA finds microtargeting by major political parties illegal (noyb.eu)
  by dgellow a day ago | 2 comments
• 123 The HTML-in-Canvas API origin trial (developer.chrome.com)
  by andrewstuart 4 days ago | 63 comments
• 15 Walter Koenig, the Russian Crewman Chekov on 'Star Trek,' Dies at 90 (hollywoodreporter.com)
  by gumby 10 hours ago | 4 comments
• 125 Securing our frontier model training environment (openai.com)
  by pretext 3 days ago | 121 comments
• 3 A Stackless Floodfill Automaton (t3x.org)
  by andsoitis a day ago | discuss
• 25 Focused Company Operating Principles (focused.io)
  by mooreds a day ago | 15 comments
• 8 Crosscut – Drawing Dynamic Models (inkandswitch.com)
  by andsoitis a day ago | discuss
• 25 Parsing EDIFACT in Python with syntax trees (github.com)
  by alexprengere 5 days ago | 17 comments
• 195 Remove pgrust: the entry is cheating (per-query kernels and result caching) (github.com)
  by f311a 4 days ago | 162 comments
• 314 The recently proposed o(n log n) integer multiplication algorithm [pdf] (web.maths.unsw.edu.au)
  by craigcitro 5 days ago | 312 comments