- 136 Protobuf has LSP support. You're welcome (buf.build)
- 1 Show HN: WireDoctor – Spring Boot startup and bean cycle analyzer (github.com)
- 2 The Sweeter Lesson (cacm.acm.org)
- 5 Ask HN: How do you prove two machines computed the same float32 result? ()
ask - 1 Why Pi Is My Goat Agent Harness (thinhcorner.com)
- 2 Has somebody found a way to reduce AI idiomatics tics? ()
- 41 Nvidia discloses $21B stake in SpaceX at end of second quarter (cnbc.com)
- 4 U.S. to tell partners they must pick sides in AI race with China (cnbc.com)
- 2 Gforth – A free, fast, featureful and portable implementation of Forth (gforth.org)
- 17 LibreOffice Conference 2026 Schedule (events.documentfoundation.org)
- 2 Climate tech companies are pivoting to critical minerals (technologyreview.com)
- 1 C64 Lemmings Reloaded (lunaticlab.itch.io)
- 2 Xaidr – In-process runtime security and governance for AI agents (github.com)
- 3 Linear time O(N) Quantum Simulation on CPUs [pdf] (zenodo.org)
- 1 How to Design and Manufacture Your Own Chip [video] (youtube.com)
- 4 Apple Making a Custom Chinese Model (reuters.com)
- 12 The AI store manager fired its first human (thenextweb.com)
- 1 Ultrahumanism (jsanilac.com)
- 1 Show HN: SwarmSim – Computational simulations of emergent flocking (github.com)
- 78 MathCode, Mathematical Coding Agent (math-ai-org.github.io)
- 1 Ask HN: Is classical AI still relevant because modern AI uses it as tools? ()
ask - 2 HEP-TH and AI (math.columbia.edu)
- 1 GNU Taler Mailing List (lists.gnu.org)
- 1 Christian Grothoff (ashoka.org)
- 1 Syncer – find a meeting time without the scheduling back-and-forth (syncerapp.vercel.app)
- 1 Repos and a Spend Cap (dev.profullstack.com)
- 2 Chartbook 467 "Mad dogs and ": Heatwave economics – summer 2026 (adamtooze.substack.com)
- 2 Evaluating AI Agents as Products (marble.onl)
- 5 Invasive beetle is spreading across the world. It's costing economies billions (cnn.com)
- 1 Sky – Sales Copilot for technical founders (sky.bz)