Top HN Daily Digest · Wed, Oct 7, 2026

Margaret Hamilton, the MIT computer scientist who led Apollo’s software team and helped establish software engineering, died Sept. 30 at 90. Her priority-driven code helped Apollo 11 land safely, and she later founded two software companies. [src]

Anthropic launched Claude Haiku 5.5, its fastest and most capable small model, offering improved performance at roughly 75% lower cost than Haiku 4.5, while also cutting Sonnet 5.5 cache-read prices and introducing monthly API credits for Max and Team subscribers. [src]

A man discovered that his parents’ coffee machine had reportedly consumed 1TB of internet data in just 10 days. [src]

OpenAI is rolling out GPT‑6 to ChatGPT users, introducing Intelligent UI for interactive responses and tools, faster progressive answers, improved web search, enhanced safety, and availability across paid tiers before expanding to Free and Go users. [src]

A Home Assistant user commissioned a custom illustrated floor plan with animated device states, turning it into a family-friendly smart-home dashboard displayed on a TV and controlled through phones and computers. [src]

Visa, Mastercard and major banks face new litigation alleging they charged merchants anticompetitive credit-card transaction fees. [src]

Chrome 155 will add JPEG XL decoding, offering improved compression, lossless and HDR support, and a memory-safe Rust implementation optimized for performance in response to sustained developer demand. [src]

Bigwords.page is an open-source, browser-based tool for creating full-screen signs, timers, slides, QR codes and messages shared entirely through URL links, without accounts, apps or server-stored content. [src]

Scott Aaronson describes OpenAI’s release of hundreds of AI-generated mathematical results—including a purported proof of the Unique Games Conjecture—as a historic breakthrough whose computer-verified but largely incomprehensible proofs now challenge mathematicians to validate, explain, and adapt to AI-assisted research. [src]

Meta and Microsoft are reportedly taking steps to reduce employees’ use of Anthropic’s Claude AI, though the article’s full details were unavailable. [src]

A developer revisits the 1996 2D rigid-body physics prototype that became the foundation for GTA’s vehicles, explaining its evolution and recreating it as a playable JavaScript demo. [src]

A paper argues that Lean can verify an AI’s formalized proof without validating the original natural-language reasoning, highlighting semantic ambiguities and claiming OpenAI’s announced Navier–Stokes blow-up proof does not match its Lean verification. [src]

ascii.rest offers 191 animated ASCII-art pieces—including scenes, UI elements, charts, logos, physics, and 3D shapes—for HTML, React, Astro, or TypeScript projects, with no dependencies and MIT-licensed code. [src]

The article catalogs common software-blogging anti-patterns—meandering introductions, unjustified reader assumptions, excessive linking and formality, sequel dependence, and poor mobile accessibility—and recommends concise, self-contained, conversational, readable writing. [src]

A GitHub project recreates Commodore 64 keycap lettering from photographs, offering cleaned-up desktop and web fonts, PETSCII symbols, editable outlines, previews, and CC0-licensed files. [src]

Docker Agent is an open-source Docker CLI plugin that lets users build, run, orchestrate, and share AI agents through declarative YAML configurations, integrated tools, multiple model providers, retrieval capabilities, and OCI registries. [src]

Jonathan, a giant tortoise, is recognized as the world’s oldest living land animal. [src]

Researchers developed ESauron, a system that detects and locates wireless, wired, and offline spy cameras by sensing electromagnetic radiation from their memory activity during scene changes, achieving 100% detection across 50 products at distances exceeding 20 meters. [src]

GitHub resolved a brief Oct. 7 disruption affecting Git Operations, Webhooks, Issues, Pull Requests, and Actions, with widespread impact reported from 15:06 to 15:16 UTC. [src]

Strands Labs released Strands Decider 2B, an open-source, 2-billion-parameter model designed for fast, low-latency decision-making, confidence scoring, and agentic tasks such as routing, tool selection, guardrails, and policy classification on local CPUs or GPUs. [src]