Data source: HN Top 30 + Lobsters Top 25. Browser functioning normally; comment-section exploration covers HN Top 5 + Lobsters Top 5.

🔥 Today’s Focus

Today’s top stories split the narrative in two: Jeff Geerling’s QuadRF review (383 points) captures the raw engineer’s excitement over hardware — a 4×4 MIMO software-defined radio that overlays WiFi signal maps as AR heatmaps onto your phone camera, letting you “see” RF signals through walls. On the other side, GPT-5.6 Sol Ultra produced a proof of the Cycle Double Cover Conjecture (263 points), turning a graph theory problem that stumped mathematicians for over forty years into a PDF. These two posts are the twin poles of the 2026 tech landscape: the visceral thrill of reverse-engineering the physical world on one end, and the automation of pure symbolic reasoning on the other. The latter triggered far more anxiety — the comment section quickly devolved into the classic debate over whether AI automation should replace programmers first or everyone else.

There’s an underappreciated signal here too: Apple is suing OpenAI for trade secret theft. The lawsuit alleges that former Apple employees took hardware designs and AI training data with them when they jumped to OpenAI. On the same day GPT-5.6 proved a math conjecture, the courtroom became the new battlefield — the AI arms race has escalated from papers to lawsuits.

🤖 AI & LLM

  • GPT-5.6 Sol Ultra produced a proof of the Cycle Double Cover Conjecture — GPT-5.6 Sol Ultra produces proof of the Cycle Double Cover Conjecture. 263 points / 224 comments (HN). A conjecture that sat open in graph theory for over forty years, proved by a model — the paper itself is the signal. 💬 Commenter plaidfuji nailed the observation: AI automation breaks through most easily in domains where “correctness is verifiable + expressed in text + abundant online precedent” — which is exactly what programmers and mathematicians do. Hence AI architects generalize from their own productivity gains to assume everyone else is doomed, a classic sampling error.

  • How the terrorist group Boko Haram uses frontier AI — How the terrorist group Boko Haram uses frontier AI. 140 points / 117 comments (HN). CASP’s field report tracks Boko Haram’s use of large models for propaganda generation and target identification — the AI weaponization that the security community has been warning about already has real-world deployments in Africa, at least two years ahead of most Western think-tank projections.

  • AI 2040: Plan A — AI 2040: Plan A. 89 points / 51 comments (HN). A panoramic projection of AI’s next fifteen years, attempting to chart a middle path between “AGI is imminent” and “AI is all hype.” A rare attempt at a roadmap that acknowledges both the acceleration and the obstacles.

  • Prismata: Confining cross-site prompt injection in web agents — Prismata: Confining cross-site prompt injection in web agents. 9 points (HN). An arXiv paper proposing a prompt injection defense framework specifically for web agents — security infrastructure needs to arrive before widespread agent deployment, and this paper lands at exactly the right moment.

  • Postgres rewritten in Rust, now passing 100% of regression tests — Postgres rewritten in Rust, now passing 100% of the Postgres regression tests. 11 points / 9 comments / tags: databases, vibecoding (Lobsters). A solo developer rewrote the entire Postgres in Rust using vibe coding — the “vibecoding” tag is no accident. The Lobsters community is deeply split: some see this as a major milestone for the Rust ecosystem, while most question production viability.

🛠️ Hardware / Tools

  • QuadRF can spot drones and see WiFi through my wall — QuadRF can spot drones and see WiFi through my wall. 383 points / 151 comments (HN). Jeff Geerling reviews an open-source 4×4 MIMO software-defined radio — using your phone camera to overlay RF heatmaps, showing WiFi signal paths through walls in real time. 💬 Creator mrtnmcc showed up in the comments to field questions: a custom 1-bit ΣΔ oversampling ADC (704 MSPS) implemented via FPGA LVDS receivers, with a BOM cost significantly lower than traditional SDRs.

  • Good Tools Are Invisible — Good Tools Are Invisible. 318 points / 147 comments (HN). Ginger Bill (creator of the Odin language) argues that a truly good tool shouldn’t demand you “learn to use it” — it should get the job done without you noticing. 318 points says this resonates hard with developers, especially those ground down by SaaS complexity.

  • Combustion engine web-based simulator — Combustion engine web-based simulator. 91 points / 39 comments (HN). A web-based simulator of internal combustion engine mechanics — tweak parameters and watch the four-stroke cycle in action. Weekend-grade content, exactly what Saturday needs.

  • How to build a circular LCD clock — How to build a circular LCD clock. 22 points / 3 comments (Lobsters). A hardware hacker’s weekend project — custom clock face drawn on a circular LCD, fully documented from PCB design to firmware.

🦀 Programming Languages / Dev Tools

  • Rewriting Bun in Rust — Rewriting Bun in Rust. 132 points / 176 comments / tags: rust, vibecoding, zig (Lobsters). The Bun team announced a migration from Zig to Rust, citing Rust’s more mature toolchain and ecosystem. Zig creator Andrew Kelley wrote a lengthy response titled 「My Thoughts on the Bun Rust Rewrite」, and the two posts were merged into a single Lobsters discussion. 💬 The merge itself became a flashpoint — the top-voted comment (153 points) was a protest: “Mixing two opposing articles together is an absolute disaster.”

  • Announcing Rust 1.97.0 — Announcing Rust 1.97.0. 62 points / 10 comments (Lobsters). A routine release, but landing on the same weekend as Bun’s Zig→Rust defection gives it extra weight — Rust’s gravitational pull in the systems programming world is accelerating.

  • Cpp2Rust: Automatic Translation of C++ to Safe Rust — Cpp2Rust: Automatic Translation of C++ to Safe Rust. 30 points / 16 comments (Lobsters). A tool that automatically translates C++ code into safe Rust — not a naive one-to-one mapping, but an attempt to rewrite using Rust’s ownership model. If this matures, a great deal of legacy C++ infrastructure gains a migration path.

  • After 7 years in production, Scarf has reluctantly moved away from Haskell — After 7 years in production, Scarf has reluctantly moved away from Haskell. 50 points / 71 comments (HN) | 10 points / 6 comments (Lobsters). Dual-charting on HN + Lobsters. The Scarf team explains their departure: hiring is hard, compile times spiraled out of control, and interop costs with cloud-native tooling were too high. Not a language problem — an ecosystem island problem.

  • In Emacs, everything looks like a service — In Emacs, everything looks like a service. 223 points / 96 comments (HN). Reframes Emacs architecture as service-oriented design — buffers are data services, modes are behavior services, keybindings are the routing layer. A weekend philosophy post whose vote count and comment volume confirm that the Emacs user base remains alive and opinionated.

  • A road to Lisp: Why Lisp — A road to Lisp: Why Lisp. 19 points / 6 comments (Lobsters). An introduction to Lisp’s appeal — from homoiconicity to the macro system, trying to explain to a new generation of developers why a sixty-year-old language still commands a cult following.

🔒 Security / Privacy / Law

  • GhostLock, a stack-UAF that has existed in ALL Linux distributions for 15 years — GhostLock, a stack-UAF that has existed in ALL Linux distributions for 15 years. 10 points / 3 comments (HN). NebuSec discovered a use-after-free vulnerability in the Linux kernel’s ionstack subsystem — present in the mainline kernel since 2011, affecting every major distro. 10 points is a criminal undercount; security engineers should read the original report.

  • Apple sues OpenAI, accuses ex-employees of stealing trade secrets — Apple sues OpenAI, accuses ex-employees of stealing trade secrets. 104 points / 50 comments (HN). Apple alleges multiple former employees took hardware designs, AI training data, and undisclosed product roadmaps when they left for OpenAI. This is no longer inter-company technical competition — it’s direct legal warfare.

  • New York City to ban deceptive subscription practices — New York City to ban deceptive subscription practices. 318 points / 181 comments (HN). NYC’s anti-junk-fee regulation requires businesses to display total prices inclusive of all mandatory charges and bans auto-renewals that are hard to cancel. 💬 Commenters immediately pointed to California’s similar law — the California version carved out a loophole for restaurants, while NYC’s version appears not to. If enforcement has teeth, this has real consequences for SaaS and gym memberships.

  • An update on residential proxies and the scraper situation — An update on residential proxies and the scraper situation. 59 points / 46 comments (HN) | 1 point / 0 comments (Lobsters). LWN’s deep dive into the current scraping arms race — how residential proxy networks bypass traditional IP-based anti-scraping defenses, and what the next phase of website defense looks like.

🏢 Tech Companies / Industry

  • SpaceX wants to launch 100k more Starlink satellites for 100x the bandwidth — SpaceX wants to launch 100k more Starlink satellites for 100x the bandwidth. 26 points / 72 comments (HN). On top of the ~7,000 already in orbit, SpaceX is filing for another 100,000 — essentially colonizing low Earth orbit. The comment section’s primary concern isn’t technical; it’s astronomical observation and orbital debris.

  • Successful Companies Go Blind — Successful Companies Go Blind. 177 points / 62 comments (HN). A systematic analysis of why successful companies lose the ability to innovate at their peak — organizational inertia, metric overload, and survivorship bias, dissected clearly.

  • Punk, or why I don’t stream anymore — Punk, or why I don’t stream anymore. 129 points / 171 comments (HN). George Hotz’s blog explaining why he quit live-coding streams through the lens of punk ethos. “Real punk doesn’t need an audience” — peak geohot.

  • Page weight matters — Page weight matters. 24 points / 11 comments (Lobsters). A data-driven autopsy of front-end bloat — the absurd inflation of average web page sizes and its real harm to the Global South.

🎮 Light / Interesting

  • War Atlas: An interactive cartography of every named war in human history — War Atlas: An interactive cartography of every named war in human history. 98 points / 43 comments (HN). An interactive map plotting every named war in human history — from the Bronze Age to the 21st century, pure data visualization.

  • Late Bronze Age Collapse — Late Bronze Age Collapse. 296 points / 207 comments (HN). ACOUP blog’s classic long-form piece explaining the systemic collapse of Mediterranean civilizations around 1200 BCE. 💬 Commenter evanjrowley added context from Eric Cline’s research: the drought theory, which the ACOUP article downplays, may actually be the real driver of migration waves. Only HN could push an archaeology article to the front page with 296 points — peak weekend energy.

  • Lobsters Interview with Mitchell Hashimoto — Lobsters Interview with mitchellh. 187 points / 21 comments (Lobsters). The creator of Vagrant, Packer, Terraform, and Vault is now building the Ghostty terminal emulator and Vouch. The interview focuses on why he chose Zig, what a terminal emulator ought to be, and the fundamental limits of the PTY protocol — proposing an n-screen API to replace the current primary/secondary screen model.

  • I Did Not Kill Stanley Lieber: How to draw (with 9front) — I Did Not Kill Stanley Lieber: How to draw (with 9front). 66 points / 11 comments (Lobsters). A drawing workflow on 9front, the spiritual successor to Plan 9 — system art at its most esoteric.

  • You paid me, a long-time Linux user, to use Windows 11 exclusively for a month. Here’s how it went. — You paid me, a long-time Linux user, to use Windows 11 exclusively for a month. Here’s how it went. 129 points / 49 comments (Lobsters). A social experiment: pay a long-time Linux user to live entirely inside Windows 11 for a month. From the WSL experience and Start Menu ads to the forced-update-reboot torture cycle — equal parts hilarious and painfully real.

  • Hannah Montana Linux v26.0 — Hannah Montana Linux v26.0. 32 points / 4 comments (Lobsters). Yes, Hannah Montana Linux is still alive and just shipped v26.0 based on the latest kernel. The cultural project weekends were made for.

📝 Summary

Saturdays on HN tend to be slower, but today’s front page is unusually tight. GPT-5.6’s math proof and QuadRF’s SDR review are both must-reads — one represents a leap in pure reasoning, the other the hands-on spirit of the open-source hardware community. The Apple v. OpenAI lawsuit deserves ongoing attention: in the very same week AI capabilities are exploding, legal warfare between the big players is escalating in lockstep. Bun’s Zig→Rust defection detonated 176 comments on Lobsters, and Andrew Kelley’s lengthy response makes the toolchain debate personal — the choice of a systems programming language has never been purely technical; it’s an ecosystem bet.

Recommended reading priority: QuadRF review > GPT-5.6 math proof > GhostLock vulnerability > Mitchell Hashimoto interview > Bronze Age Collapse.