HN Daily | July 10, 2026

Today's tech landscape is buzzing with a mix of open-source hardware breakthroughs, legal battles over AI trade secrets, and a major win for the right-to-repair movement. We also see impressive AI model releases, a solo developer's stunning train simulator, and a clever way to turn an iPhone into a kid-friendly dumb phone. Let's dive in.

AI & Machine Learning

1. GPT-5.6 Sol Ultra produces proof of the Cycle Double Cover Conjecture — OpenAI's latest flagship model, Sol, has reportedly produced a proof for a long-standing mathematical conjecture. While the PDF is mostly raw LaTeX, the implication is staggering: AI is now capable of original mathematical research.

2. GPT-5.6 — OpenAI launches the GPT-5.6 family, featuring Sol (flagship), Terra (balanced), and Luna (cost-efficient). Sol sets new state-of-the-art results on coding and agent benchmarks, often outperforming competitors at lower cost, and introduces an 'ultra' mode that coordinates multiple agents for complex tasks.

3. Show HN: Getting GLM 5.2 running on my slow computer — A solo developer got the massive 744B-parameter GLM 5.2 model running on a 32GB laptop by streaming experts from disk. The project, Colibrì, is a testament to ingenuity and proves that huge MoE models can run on modest hardware.

4. AI 2040: Plan A — A detailed speculative scenario where humanity deliberately delays superintelligence until 2040, makes AI research public, and creates a regime of 'mutually assured compute destruction.' It's a thought-provoking counterpoint to the current AI arms race.

Open Source & Hardware

1. QuadRF can spot drones and see WiFi through my wall — Jeff Geerling tests an open-source phased-array radio built around a Raspberry Pi 5. It can visualize WiFi signals in augmented reality and track drones, all for $499. A glimpse into the future of accessible RF hacking.

2. Postgres rewritten in Rust, now passing 100% of the Postgres regression tests — pgrust is a from-scratch Rust implementation of PostgreSQL 18.3 that passes over 46,000 regression tests. It's disk-compatible with real Postgres and aims to make the database easier to modify with Rust's safety guarantees.

3. Meta reuses old RAM in new servers with custom bridge chip — Meta developed a custom CXL chip called Vistara to reuse older, slower RAM in new servers. Since RAM lasts twice as long as other server components, this is a clever way to save money on expensive new memory.

4. Girls just wanna have fast MPMC queues with bounded waiting — A deep dive into building a fast, bounded multi-producer/multi-consumer queue using ticket locks and atomic operations. The author is refreshingly honest about the difference between theory and practice in lock-free programming.

Tools & Software

1. Good Tools Are Invisible — A thoughtful essay arguing that the best tools disappear into the background. The author pushes back against the 'hacker vibe' of celebrating a tool's flaws as puzzles, and reminds us that feeling productive isn't the same as being productive.

2. After 7 years in production, Scarf has reluctantly moved away from Haskell — A Haskell Foundation board member explains why his company is leaving Haskell: AI-assisted coding makes long compile times a bottleneck. When you want to spin up multiple agents in parallel, a 15-minute cold build becomes unbearable.

3. Write code like a human will maintain it — A cautionary tale about letting LLMs write sloppy code. Every shortcut you merge becomes a signal to the model, and soon your entire codebase is a mess of duplicated logic. The advice: write code as if a human (or a future AI) will have to maintain it.

4. Interview with Mitchell Hashimoto about Ghostty and Zig — The creator of Vagrant and Terraform discusses his new terminal emulator Ghostty, why he chose Zig, and his philosophy on terminal applications. He argues terminals should be a special place for composable, scriptable tools, not a full application platform.

Business & Startups

1. Apple sues OpenAI, accuses ex-employees of stealing trade secrets — Apple has filed a lawsuit against OpenAI, alleging that former employees took confidential information about Apple's AI research. The case could have major implications for talent mobility in the AI industry.

2. New York City to ban deceptive subscription practices — NYC is cracking down on 'junk fees' and hard-to-cancel subscriptions. Companies that don't provide a simple way to cancel could face fines of $525 per user. The rule also targets hidden fees in apartment rentals and hotels.

3. SpaceX wants to launch 100k more Starlink satellites for 100x the bandwidth — SpaceX has applied to the FCC for permission to launch 100,000 third-generation Starlink satellites, promising multi-gigabit speeds. The massive constellation would require Starship for deployment and could serve 'billions of AI-powered devices.'

4. John Deere owners will get the right to repair equipment under FTC settlement — A major victory for the right-to-repair movement: John Deere must now provide diagnostic and repair tools to farmers and independent shops. The settlement follows a class-action lawsuit and requires Deere to pay $1 million to five states.

Science & Research

1. Late Bronze Age Collapse — A fascinating overview of the Late Bronze Age Collapse, one of history's most dramatic 'end of civilization' events. The post explores what happened, the uncertain causes, and the long-term impacts, all grounded in archaeological evidence.

Gaming & Entertainment

1. Train sim created by just one person is being called the best ever made — Running Train, a solo-developed Japanese train simulator, is earning rave reviews for its hyper-realistic environments. The attention to detail is astonishing: powerlines connect to substations, and even from the driver's cab you'd miss most of the lovingly crafted world.

Privacy & Security

1. EU Parliament greenlights Chat Control 1.0 — The European Parliament has approved mass scanning of private communications, despite a majority of MEPs voting against it. The measure allows US tech companies to scan private messages without a warrant until 2028, though end-to-end encrypted chats remain exempt.

Mobile & Devices

1. Buried Apple feature turns an iPhone into the perfect kids' dumb phone — Apple's Assistive Access feature, designed for cognitive disabilities, is actually the perfect way to turn an iPhone into a kid-friendly dumb phone. It allows you to block the browser entirely while keeping Maps and calls, all with a simple, tile-based interface.

---

That's all for today. From open-source RF hacking to AI proving mathematical conjectures, it's clear that the pace of innovation—and the battles over its control—are only accelerating. See you tomorrow.