- 1 Pulse: Proof-Oriented Programming in Concurrent Separation Logic (Output C/Rust) (fstar-lang.org)
- 1 Strategic Technical Debt: A Real Options Approach to Early-Stage Software (arxiv.org)
- 1 There's a 100% Chance AI Agents Are Ruining the Internet (404media.co)
- 1 Administrative Subpoena Powers and an Outdated Fourth Amendment Doctrine (brennancenter.org)
- 1 Uber Eats rebuilt its search pipeline (uber.com)
- 1 Emacs, Movies and SQLite – Random Thoughts (lars.ingebrigtsen.no)
- 1 He Might End Up the Most Educated Person (nytimes.com)
- 1 Show HN: QLIC – JXL e3 speeds with e9 file density (github.com)
- 1 Science Gossip – of moss and snakes and bees (patreon.com)
- 1 There is still time to reset the AI Doomsday Clock (au.civic.ai)
- 1 Trump Told Supporters to "Cheat Like Hell." NYT Chose Quote: "Tired of Politics" (techdirt.com)
- 1 Rogue AI didn't breach Hugging Face, human decisions did (thebulletin.org)
- 1 Charges Against Man Who Destroyed 3D-Printed 'Decoy' Flock Camera Reduced (404media.co)
- 1 Official Homebrew GUI (github.com)
- 2 Corporate pressure killed a bill curtailing surveillance pricing (prospect.org)
- 1 Show HN: ETLFunnel – self-hosted, code-first data pipelines (v1.1.1) (etlfunnel.com)
- 2 Fedora Linux 45 Beta (fedoramagazine.org)
- 3 What counts as a large cosine similarity? (johndcook.com)
- 1 Every US Electrical Outlet Explained (practical.engineering)
- 1 Periodic Labs, building labs that learn (periodic.com)
- 1 You don't need a kernel 0day (bour.ch)
- 1 Show HN: Open-Source Lightweight Prompt Injection Safety (github.com)
- 1 Ask HN: Why aren't LLM token CDN cache's a thing? ()
- 1 Agentic Primer – how I shipped a commercial app without writing code (github.com)
- 2 Grok Bot Galaxy (x.ai)
- 2 OpenAI, Anthropic, Google have been in talks on AI safety for weeks (techcrunch.com)
- 2 Jean-Pierre Serre (en.wikipedia.org)
- 1 Compare your reaction time with a simulated fly brain (flinch-fly-brain-duel.vercel.app)
- 4 AI Is Lowering the Cost of Competence and Raising the Value of Judgment (pensero.ai)
- 1 Who Owns the World Cup? (phenomenalworld.org)