- 59 Designing Predictable LLM-Verifier Systems for Formal Method Guarantee (arxiv.org)
- 165 Hungry Fat Cells Could Someday Starve Cancer (ucsf.edu)
- 30 Mouse: Computer Programming Language (2006) (mouse.davidgsimpson.com)
- 107 Binance's Trust Wallet extension hacked; users lose $7M (web3isgoinggreat.com)
- 13 Easily Dealing with Any-Dimensional Planes (gpfault.net)
- 27 Two decades of evolution: How Ext4 has changed (llmnativeos.github.io)
- 6 Tips for Writing a Technical Book (borischerny.com)
- 21 Show HN: Per-instance TSP Solver with No Pre-training (1.66% gap on d1291) ()
- 100 How we automated federal retirements (ndstudio.gov)
- 59 Ask HN: Loneliness at 19, how to cope? ()
ask - 456 Exe.dev (exe.dev)
- 208 Toll roads are spreading in America (economist.com)
- 29 Formulaic Delimiters in the Iliad and the Odyssey (glthr.com)
- 18 Lead-Free Organic–Inorganic Halobismuthate for Large Piezoelectric Effect (pubs.acs.org)
- 142 Meta's ads tools started switching out top-performing ads with AI-generated ones (businessinsider.com)
- 283 Rainbow Six Siege hacked as players get billions of credits and random bans (shanethegamer.com)
- 35 Show HN: Zs3 – S3 server in ~1K lines of Zig, 250KB binary, zero dependencies (github.com)
- 38 TRIZ (en.wikipedia.org)
- 516 Show HN: Witr – Explain why a process is running on your Linux system (github.com)
- 279 Show HN: Vibe coding a bookshelf with Claude Code (balajmarius.com)
- 20 Russian crew detained after undersea cable cut in 'sabotage' (telegraph.co.uk)
- 1537 Rob Pike goes nuclear over GenAI (skyview.social)
- 17 Pandas with Rows (2022) (datapythonista.me)
- 7 €30M stolen in German bank vault heist (dw.com)
- 16 Grok's Profile Fills with AI Bikini Edits Sparking Consent Backlash (x.com)
- 12 American Heart Association Revives Theory Light Drinking May Be Good for You (nytimes.com)
- 10 California’s billionaire tax, explained (sfstandard.com)
- 670 Phoenix: A modern X server written from scratch in Zig (git.dec05eba.com)
- 31 NASA's Largest Library Is Closing Amid Staff and Lab Cuts (nytimes.com)
- 8 Dittytoy – Generative Music Playground (dittytoy.net)