National Security Determination Threat Posed by Foreign-Produced Robotic Devices [pdf]

Google DeepMind Disbands AlphaFold Team as AI Strategy Shifts Toward Gemini

SpecForge – A Platform for Authoring Formal Specifications

Korean Stocks Plunge 16% in Two-Day Burst of Retail Selling

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

The Shape of Data (2022)

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

eBay agrees $56M settlement with bloggers over harassment case

New airliner sets record flying 24 hrs nonstop from Australia to France

More Tailscale tricks for your jailbroken Kindle

Show HN: Firemaps Spain – Live wildfire map with wind flow for ES and PT

Cracking Windows Open: Porting RADV to Win32

User Interfaces of the Demo Scene

Kospi Plunges After Nvidia CEO's Visits Spark 'Huang Curse' Fears

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

Good CLI Design Is Mostly Silence

FCC bans foreign-produced solar inverters, grid lockout begins today

Hooray for the Sockets Interface

Show HN: Lean4 Datalog DSL Based on Google Zanzibar for AI Projects

Chip stocks slide in US and Asia as AI jitters rattle investors

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

Show HN: Learning Rust by writing a Markdown to HTML compiler

Multiple Mouse Cursors in Wayland

Industry Brief: Private 5G for Manufacturing and Industrial Sites [pdf]

A U.S. Citizen Deleted His Phone's Data. Now He Faces a Felony Charge

Lightweight Spring Boot Monitoring Without Prometheus and Grafana

The Difference Between a Button and a Link

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

Show HN: Manim (3Blue1Brown's animation engine) in the browser via WebGPU

Mark Zuckerberg Blasts Centralization of A.I. Power

ReFrame – The EPaper Camera

American Airlines flights grounded nationwide due to IT outage: FAA

Oxide Joins Anthropic's Project Glasswing

AE Studio recruiting pirates to recover treasure located by AI

Schools are adding pepper-spraying drones to help combat active shooters

Underwater oxygen loss threatens earth's stability, researchers warn

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

I Asked Gemini to Read 300-Year-Old Portuguese Parish Records

Running Kimi K3 on a M1 Max

Half-Life ported to Mac OS 9

Codex Security

OpenReviewer: A Specialized LLM for Generating Critical Scientific Paper Reviews

Toolcraft

Pacing the frontier

Hulios: An eBPF-powered, transparent Tor gateway for Linux

Granola for Apple Watch

Uv 0.12.0

What if useful AI is a fantasy?

MCP 2026-07-28 Specification: transport going stateless

The iPhone Upgrade Program is being replaced by Apple Upgrade

Discovering Cryptographic Weaknesses with Claude

Steel Bank Common Lisp version 2.6.7

WOFF 1.0: a milestone on W3C's journey of fonts on the web

Substack writers, you need a website

A walk through of the DeltaNet family of linear attention variants

How Do I Profile eBPF Code?

Show HN: XY – A Fast, composable, GPU-accelerated interactive plotting library

Delayed Gratification – Proud to Be 'Last to Breaking News'

Kimi K3 Architecture Overview and Notes

Zig's Incremental Compilation Internals

So, you want to make a game engine (2023)

Harmony Explained: Progress Towards a Scientific Theory of Music (2012)

Anthropeum – Where in the world, and when, does this human artifact belong?

Now is the time to give LLMs access to the ACM digital library

Stop Killing the Internet: No Digital ID and No Age Verification

Una GPS smart watch – Repairable, USB-C charging, developer-friendly

I'd not buy a LG monitor

VMs can't boot with Network Mode set to Bridged on Apple M5 Pro machines

Over 150k Flights: Airlines Just Flew the Busiest Day in Recorded History

New HIV vaccine shows unprecedented success in preclinical study

Show HN: Formally verified 3D CSG: Trust 93 lines spec, not 1000 lines AI code

I'm 38 and I Can't Support Myself Anymore

Kimi Linear: An Expressive, Efficient Attention Architecture (2025)

DMARC has been public since 2012 but most company domains still don't enforce it

Interview with Boris Cherny [video]

60 Years Ago, a Submerged Submarine Circled the Globe for the First Time (2020)

Solving Fermat: Andrew Wiles

Beyond Greece and Rome

Truth is not a direction: a Tarski attack on LLM probes

Lisp moving Forth moving Lisp

Robotics development made dead simple (open source)

CSV Is Never Just CSV

Teach yourself programming in ten years (1998)

An introduction to formal proof verification and the Curry-Howard Correspondence

The most advanced robotic servicing satellite–that we know about

The Fabled Flatbreads of Uzbekistan (2015)

Mag Computer: A Mag History of RAM (1960–2025)

How to survive boiling water

OpenShell Kubernetes Operator

Lockless MPSC FIFO queues for io_uring

Show HN: How far do I have to go to run into 100k people?

Log is non-monotonic in PHP and Lua

Fixing a bug with byte order marks

Ancient Rome's version of Google Maps: how long to reach the beach