- 130The foundations of a provably secure operating system (PSOS) (1979) [pdf] (csl.sri.com)
- 147Intro to TLA+ for the LLM Era: Prompt Your Way to Victory (emptysqua.re)
- 446Map of Metal (mapofmetal.com)
- 225Polypad (polypad.amplify.com)
- 148Hanoi’s humble beer glass and the memory of a nation (sundaylongread.com)
- 176Infomaniak transitions to a foundation model to protect user data privacy (news.infomaniak.com)
- 80IBM invented semiconductor manufacturing automation (spectrum.ieee.org)
- 83What Is Happening to Publishing? (resobscura.substack.com)
- 13Show HN: A platform to find people to jam on side projects with (letsjam.live)
- 795The last six months in LLMs in five minutes (simonwillison.net)
- 364Japan is gripped by mass allergies. A 1950s project is to blame (bbc.com)
- 35Gnutella: A Protocol Outliving the World That Created It (rickcarlino.com)
- 699Google changes its search box (blog.google)
- 84All the bugs they found (andreapivetta.com)
- 9The Security of Ephemeral Pages (schalkneethling.com)
- 32Anthropic blames dystopian sci-fi for training AI models to act "evil" (arstechnica.com)
- 355DOS Zone (dos.zone)
- 404Gemini CLI will stop working from June 18, 2026 (developers.googleblog.com)
- 191Chewing gum restores dad's taste and smell years after Covid (discover.swns.com)
- 253A Bipartisan Amendment Would End Police License Plate Tracking Nationwide (wired.com)
- 9Wildlife is watching us, too – and changing their behavior in response (news.yale.edu)
- 97Show HN: CPU-only transcription for YouTube, TikTok, X, Instagram videos (github.com)
- 133Copy Fail, Dirty Frag, and Fragnesia kernel vulnerabilities (gentoo.org)
- 123Lisp in Web-Based Applications (2001) (sep.turbifycdn.com)
- 259Intuit to lay off over 3k employees to refocus on AI (techcrunch.com)
- 476CISA Admin Leaked AWS GovCloud Keys on GitHub (krebsonsecurity.com)
- 85A self-powered computer in actual credit-card size (~1mm thick) (old.reddit.com)
- 6Collabora and Flipper: Opening Up the RK3576 (collabora.com)
- 171Omarchy Is Not A Distro (abyss.fish)
- 70An automated A.I. WWE news channel on YouTube tries to pronounce "WWE" (twitter.com)