Physicists Solve a Muon Mystery. Now, Old Results Don't Add Up

Gemini Robotics 2 brings whole body intelligence to robots

The Economic Benefit of Refactoring

Paging Through a Parquet File in DuckDB: File_row_number or Offset?

SDL_GPU minimal, single-header, high-performance 2D graphics painting library

Trusted URLs via Cryptographic Signatures

Hacker Public Radio

Why DNA damage from smoking and UV rays cause cancer in some but not others

The Lost Civic Life of Movie Rental Stores

Launch HN: Prized (YC S26) – Let non-engineer staff build secure internal tools

Upper stage impacting the moon on 2026 August 5

RFC 8890 – The Internet is for End Users (2020)

'VPNs are lawful technical tools,' says EU Court in landmark copyright ruling

Why Is Everyone Trying to Build a Solid-State Battery?

OpenJDK Interim Policy on Generative AI

Why Don't People Use Formal Methods? (2019)

How Old Is Ann?

What it means for an API to be RESTful

CosmosEscape: Taking over Every Database in Azure Cosmos DB

Go LLM SDK for streaming, tool-calling AI backends (plus frontend React lib)

GCC steering committee announces AI policy

Are We Stuck with Lean?

I made a game where you build a CPU from logic gates

ChatGPT, Roblox to Fall Under Strictest EU Rules for Platforms

You can't solve computer use by ignoring the interface

3D Pinball for Windows (1995)

Gpiozero Flow

Google will expand age checks on Android worldwide till the end of the year

Agent-Manager: A Tmux TUI for Running Claude Code, Codex and OpenCode

Carolina Cloud pays SOFR on unused prepaid credits

The Apple Calculator Language

Ron Gilbert started production on Thimbleweed Park 2

EU now fears US interference in European elections

1,741 "informed" consents with one click? GDPR complaint filed

Why the future is local app

NSF pilots 4-year PhDs with industry research placements

Kuna: Decompiler Development in the Age of Coding Agents

Flume Water Monitor 915 MHz Security Is Pretty Good

Logic for Programmers

Show HN: A local merge queue for parallel Claude Code agents

The Productivity Mirage

Man and the Computer by John G. Kemeny (1972 book by the co-creator of BASIC)

LLM Honeypot

GitHub is the wrong shape for this new world

AI's top startups are barely publishing their research

The Cold Email

RCade: The Arcade Cabinet with CI/CD Deployment, Custom Graphics Card for CRT [video]

The coolest use for the Vision Pro

Theo Conjecture solves 35-year-old math problem, finds a term no one predicted

A Trampoline

Claude: Elevated errors across all models

Kimi K3-256k

How much can you delegate to agents?

Commodification of Intelligence: Good, Bad, and Ugly Circular AI Deals

How to think about software quality (2022)

Turning a dumb AC unit smart (without losing my security deposit)

Show HN: CheapFoodMap – A map of good meals under $10

Some thoughts about Anthropic's new cryptanalysis results

Keychron announces first open-source firmware for gaming mice

Show HN: Kedge – Full-stack cloud with forkable VM snapshots and global SQLite

Launch HN: Tokenless (YC S26) – Automatic model switching to save money

Superlogical

Apple should be ashamed of its hostile App Store rating system

Cesium DevCon 2026 talks are up, including a keynote from SQLite's creator

Show HN: Open-source engine running Gemma 4 26B in 2 GB RAM on any M-series Mac

Hugging Face: Anatomy of a frontier-lab agent intrusion

PostgreSQL's MVCC is bad. So is everyone else's

GPT-5.6 vs. Claude Fable 5 for Physical AI, which performs best?

Show HN: Qwen Scribe – local transcription and dictation for Apple Silicon

A.I. companies are recruiting electricians and carpenters by the thousands

Self-hosting Kimi K3: 20% more hardware cost, 20% better task resolution

Graph Engineering Needs a Compiler

Valve Sponsors Work Bringing Open-Source RADV Driver to Windows

Handbook.md shows that long policy documents do not reliably govern agents

San Francisco: Don't Fall for Industry Defense of Surveillance Pricing

Shipping Godot VR and Porting to PSVR2: A Partial Post Mortem

A Texture Lookup Approach to Bézier Curve Evaluation on the GPU (JCGT)

Darktable

Disrupting supply chain attacks on NPM and GitHub Actions

French musician Kavinsky found dead

Document-borne AI worms can self-propagate through Copilot for Word

KOReader

SpecForge – A Platform for Authoring Formal Specifications

Amiga Graphics Archive

Show HN: Vimgolf.ai – Learn Vim by playing through a map of levels

SQLite in Production: Optimizing WAL Mode, Concurrency, and VFS Layers

More Tailscale tricks for your jailbroken Kindle

Cracking Windows Open: Porting RADV to Win32

User Interfaces of the Demo Scene

Transformer Transformer: A Unified Model for Motion-Conditioned Robot Co-Design

Hooray for the Sockets Interface

LearnVector – Andrew Ng's AI company building one‑to‑one learning experiences

Multiple Mouse Cursors in Wayland

Hubble: Open-source notetaking app for you and your agents

ReFrame – The EPaper Camera

Show HN: I was tired of opening 2 tabs for every HN link, so I made a userscript

Half-Life ported to Mac OS 9

Codex Security

Azulejo

Anatomy of a Frontier Lab Agent Intrusion: A Timeline of the July 2026 Incident