• 462 LLMs are making formal software verification feasible at a much larger scale (anthropic.com)
  by johnbender 4 days ago | 311 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 | 14 comments
• 5 Grok releases the first seven minutes of its AI-generated 'Odyssey' (techcrunch.com)
  by theanonymousone 12 hours ago | 1 comments
• 8 Crosscut – Drawing Dynamic Models (inkandswitch.com)
  by andsoitis a day ago | discuss
• 665 Woman charged with computer fraud due to scam CashApp account being in her name (404media.co)
  by oidar 4 days ago | 728 comments
• 126 Gemma-4-26B-A4B with 39-69% less thinking at same accuracy (bottlecapai.com)
  by armcat 3 days ago | 34 comments
• 27 The Chalk and the Airplane (unintendedconsequenc.es)
  by paulorlando 5 days ago | 12 comments
• 1157 eMudhra to exit global SSL/TLS certificate business (emudhra.com)
  by bo0tzz 4 days ago | 742 comments
• 638 No signs of AI payoff outside the tech sector (apollo.com)
  by the-mitr 2 days ago | 668 comments
• 4 Ink droplets in motion snag top prize in Nikon Small World contest (arstechnica.com)
  by _Microft a day ago | discuss
• 123 The HTML-in-Canvas API origin trial (developer.chrome.com)
  by andrewstuart 4 days ago | 63 comments
• 124 Securing our frontier model training environment (openai.com)
  by pretext 3 days ago | 121 comments
• 25 Parsing EDIFACT in Python with syntax trees (github.com)
  by alexprengere 4 days ago | 17 comments
• 286 A farewell to Arc browser (arc.net)
  by suhdonghwi 4 days ago | 255 comments
• 58 Superhuman Hardware Design Is the Easy Part (a16z.news)
  by gmays 3 days ago | 45 comments
• 97 AI-Assisted Paper on Z-Library Cites a TorrentFreak Article That Doesn't Exist (torrentfreak.com)
  by TangerineDream 3 days ago | 61 comments
• 186 Evolving Threat: http2shell is an RCE in Node, Python, and more (nitter.click)
  by cowlevel 3 days ago | 95 comments
• 56 We have traits at home (axelmagn.com)
  by Ygg2 4 days ago | 19 comments
• 195 Remove pgrust: the entry is cheating (per-query kernels and result caching) (github.com)
  by f311a 4 days ago | 162 comments
• 8 Vibe coding is turning the music gear world upside down (theverge.com)
  by saikatsg 19 hours ago | discuss
• 12 Radio Days (oldster.substack.com)
  by NaOH 4 days ago | 4 comments
• 244 OpenAI CLI (github.com)
  by armcat 5 days ago | 111 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
• 16 A hidden bias in human language challenges 70 years of science (sciencedaily.com)
  by ersinesen a day ago | 1 comments
• 8 The 'else' keyword is probably a literal translation from German (2020) (github.com)
  by theanonymousone a day ago | discuss
• 13 In China, the AI bubble has burst (reuters.com)
  by porridgeraisin 8 hours ago | 1 comments
• 184 Five Qwen3.8-27B models match Fable 5 Using GVS5H Harness (github.com)
  by rzk 2 days ago | 75 comments
• 64 The Missed Opportunities of Sonic 06 (2025) (isaacmarovitz.com)
  by ibobev 3 days ago | 20 comments
• 3 Microsoft and Others Tell Crypto Platform Not to Tokenize Their Stocks (gizmodo.com)
  by gumby a day ago | discuss