- 2Show HN: A terminal editor that can discuss with OpenCode and Pi (sollawen.github.io)
- 3Is an AI company buying up all the used books? (I don't think so, not this time) (charliebecker.substack.com)
- 3How Terence Tao's insight translates to how we need to think about the economy (wilsoniumite.com)
- 2VistaRama65 (in70mm.com)
- 10Qantas plane flies for more than 24 hours in record-breaking flight (theguardian.com)
- 2Faulty Reward Functions in the Wild (2016) (openai.com)
- 61Harmony Explained: Progress Towards a Scientific Theory of Music (2012) (arxiv.org)
- 3Show HN: PidgeIoT – open-source IoT/Embedded device management for all (free*) (pidgeiot.com)
- 2Redev – AI chat assistant for React DevTools (chromewebstore.google.com)
- 3Buzz (by Block) is pretty neat (chad.cm)
- 2Show HN: Injex – tiny typed DI for Python validates the graph before startup (github.com)
- 2Autonomous SEO agent that finds, writes, and publishes blog posts (boldpilot.club)
- 118GrapheneOS Defends Data-Wiping Function That Blocked US Border Search (pcmag.com)
- 2Ella, an AI friend with an inner life that runs while you're away (ellasworlds.com)
- 3Making KIO copy many files fast (blogs.kde.org)
- 2Kaney's Weird Files – July 2026 Edition (kaneysweirdfiles.substack.com)
- 2Show HN: Higgs, a local AI CLI for Proton Mail (no cloud, no telemetry) (github.com)
- 2TaskLoco reveals unprecedented productivity secret- Sticky Notes on a Storyboard (taskloco.com)
- 2Cacheinvalidate.com Was Still Available (cacheinvalidate.com)
- 5Sorry, the Data Says Communist (postcapitalistrobots.substack.com)
- 2Show HN: Repo Autopsy – Transparent heuristics for repository install friction (repo-autopsy.zdfb20650.workers.dev)
- 3Software Verification in the Age of Artificial Intelligence (learning.acm.org)
- 3Astronomers find strongest evidence yet that Betelgeuse has a companion (eso.org)
- 3Automation Led to Economic Misery. AI Doesn't Have To (theatlantic.com)
- 2Load Bearing Memory: The Bones Remember (ikeanalytics.com)
- 2Why Hardware Engineering is the next target for Agents (assistedeverything.substack.com)
- 3Questions and answers on AI and verification: follow-up to my May ACM Tech Talk (bertrandmeyer.com)
- 3Who Owns the Cameras Watching You? (Hint: Not the Government) (comuniq.xyz)
- 2Local Inference – Run LLMs on Your Own Hardware (Guide and Forum) (localinference.io)
- 2The Great Canadian Story of Canola (canadianfoodfocus.org)