• 462 LLMs are making formal software verification feasible at a much larger scale (anthropic.com)
  by johnbender 4 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
• 180 Dream-1 (dreamlabs.ai)
  by GaggiX 2 days ago | 77 comments
• 4 Why My Dad Didn't Have a Cell Phone (blog.jim-nielsen.com)
  by Brajeshwar 12 hours ago | 2 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
• 1157 eMudhra to exit global SSL/TLS certificate business (emudhra.com)
  by bo0tzz 5 days ago | 742 comments
• 15 Walter Koenig, the Russian Crewman Chekov on 'Star Trek,' Dies at 90 (hollywoodreporter.com)
  by gumby 9 hours ago | 4 comments
• 126 Gemma-4-26B-A4B with 39-69% less thinking at same accuracy (bottlecapai.com)
  by armcat 4 days ago | 34 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
• 27 The Chalk and the Airplane (unintendedconsequenc.es)
  by paulorlando 5 days ago | 12 comments
• 322 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
• 638 No signs of AI payoff outside the tech sector (apollo.com)
  by the-mitr 2 days ago | 668 comments
• 25 Noyb win: German DPA finds microtargeting by major political parties illegal (noyb.eu)
  by dgellow a day ago | 2 comments
• 3 A Stackless Floodfill Automaton (t3x.org)
  by andsoitis a day ago | discuss
• 24 Focused Company Operating Principles (focused.io)
  by mooreds a day ago | 15 comments
• 123 The HTML-in-Canvas API origin trial (developer.chrome.com)
  by andrewstuart 4 days ago | 63 comments
• 286 A farewell to Arc browser (arc.net)
  by suhdonghwi 4 days ago | 255 comments
• 8 Crosscut – Drawing Dynamic Models (inkandswitch.com)
  by andsoitis a day ago | discuss
• 124 Securing our frontier model training environment (openai.com)
  by pretext 3 days ago | 121 comments
• 6 Handwriting but not typewriting leads to widespread brain connectivity (2024) (frontiersin.org)
  by thunderbong 17 hours ago | discuss
• 15 Anthropic rushing IPO before AI bubble bursts (nypost.com)
  by nothrowaways 14 hours ago | 2 comments
• 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
• 8 Anthropic files for listing on US stock market: valuation of more than $1.5T (theguardian.com)
  by bookofjoe 14 hours ago | 1 comments
• 56 We have traits at home (axelmagn.com)
  by Ygg2 4 days ago | 19 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
• 244 OpenAI CLI (github.com)
  by armcat 5 days ago | 111 comments