- 462LLMs are making formal software verification feasible at a much larger scale (anthropic.com)
- 5SS United States to be sunk as largest artificial reef (divemagazine.com)
- 665Woman charged with computer fraud due to scam CashApp account being in her name (404media.co)
- 1157eMudhra to exit global SSL/TLS certificate business (emudhra.com)
- 616Show HN: Steal My Bitcoin (stealmybitcoin.com)
- 21Progressive disclosure in agents to make them 2.3x faster (skyvern.com)
- 126Gemma-4-26B-A4B with 39-69% less thinking at same accuracy (bottlecapai.com)
- 11Chinese research vessels loiter near undersea cables more than any other nation (tomshardware.com)
- 5Upwelling – Combining real-time collaboration with version control for writers (inkandswitch.com)
- 180Dream-1 (dreamlabs.ai)
- 286A farewell to Arc browser (arc.net)
- 16Monoidal computer I: Basic computability by string diagrams (2012) (arxiv.org)
- 30Who killed the EV cert? A browser whodunit for Halloween (qwac.com)
- 4Japanese companies compensate users as cyberattacks buffet economy (reuters.com)
- 123The HTML-in-Canvas API origin trial (developer.chrome.com)
- 125Securing our frontier model training environment (openai.com)
- 8How we made our MMDB files a 33% smaller (ipinfo.io)
- 195Remove pgrust: the entry is cheating (per-query kernels and result caching) (github.com)
- 11What to do if you discover AI models trained using your copywrighted book? ()
- 641No signs of AI payoff outside the tech sector (apollo.com)
- 56We have traits at home (axelmagn.com)
- 3Cheap code, precious trust: Code modernization at scale (commandline.microsoft.com)
- 31Ask HN: Is it not possible to enroll for Apple Developer anymore? ()
ask - 186Evolving Threat: http2shell is an RCE in Node, Python, and more (nitter.click)
- 33Flock [YC S17] Fever: A Review of Government Surveillance by Benn Jordan [video] (youtube.com)
- 25Parsing EDIFACT in Python with syntax trees (github.com)
- 25Binance gave Russia data on IT worker jailed 13 years for $700 Ukraine donation (meduza.io)
- 18Drone warfare is evolving faster than armies can adapt (thestar.com)
- 22Everybody panic: A Valve developer said "HLX" in public (arstechnica.com)
- 265MPs moving to restrict gambling ads in Canada (cbc.ca)