Hacker News. Daily summary. Top 20 stories.
Margaret Hamilton, Apollo software lead and computing pioneer, has died at 90.
Commenters widely call for a black bar, praising Hamilton's Apollo software engineering and priority-scheduler innovation.
Anthropic releases Haiku 5.5, its cheapest and fastest small model with major performance gains over Haiku 4.5.
Mixed reception: welcome price cuts but criticism of the 100k token cutoff and comparisons to OpenAI's Luna.
OpenAI launches GPT-6 with Intelligent UI, making ChatGPT responses more visual and interactive.
Skepticism over demo examples and concern about proprietary UI replacing open systems.
Bigwords.page turns any URL into a full-screen text sign, timer, or slideshow with no backend or account.
Mixed reception: appreciation for the tool, debate over whether the title is AI-generated.
Visa, Mastercard, and major banks face a class action lawsuit over alleged anticompetitive credit card transaction fees.
Commenters split: high fees are anticompetitive, not competitive, and alternative systems like PIX challenge the cartel.
Chrome 155 ships JPEG XL with a pure Rust decoder for memory safety.
Two camps: those celebrating JPEG XL support, and those debating the motives and security reasoning behind Chrome's reversal.
AI solving math problems autonomously hurts field growth; Math 2.0 must value exposition and community.
Thread splits on AI's ability to explain proofs vs. concerns for future mathematicians.
ascii.rest offers 202 animated ASCII art pieces for web pages, MIT licensed.
Mostly positive, with debate over whether the art qualifies as true ASCII.
A font recreated from photos of Commodore 64 keycaps, with clean outlines and PETSCII support is now available.
Mixed reactions: praise for the design, critiques of AI-generated inaccuracies and download issues.
Article body wasn't reachable. HN discussion still summarized.
Cost-cutting and data governance drive limits, with some defending employee-paid tools and noting token-maxxing waste.
Faithful autoformalisation of natural language math is harder than any computational problem.
Formal verification of AI proofs does not guarantee the original natural language argument is correct.
OpenAI released 372 AI-generated mathematical proofs, including a solution to the Unique Games Conjecture.
Two camps: one sees the proofs as valueless brute forcing, another as genuine breakthroughs.
The author catalogs common writing and technical mistakes in software blogging, treating them as anti-patterns.
Commenters agree on the anti-patterns, with debate over whether LLMs have replaced Stack Overflow and blogs.
Henri B. Kagan and Kenso Soai won the 2026 Nobel Prize in Chemistry for discoveries enabling homochirality.
Commenters clarified Soai's reaction achieves spontaneous chiral symmetry breaking without an external chiral source.
Docker Engineering released an open-source AI agent builder and runtime harness.
Skepticism about Docker chasing the AI agent trend at the expense of its container focus.
GitHub experienced a widespread outage affecting multiple services on October 7, 2026.
Frustration with severity of outage; debate over migrating to alternatives vs. reliance on GitHub.
A house with 15m-deep hand-dug tunnels and a railway is listed for £300k.
Corrections clarified the tunnels are 15 metres deep, not 15 million; commenters celebrated the hobbyist spirit.
Article body wasn't reachable. HN discussion still summarized.
Split between celebrating AI recompilation for preservation and criticizing it for fragmenting open-source collaboration.
Scientists sequenced Jonathan the tortoise's genome to uncover aging secrets.
Jokes about tortoise longevity vs. charisma, mixed with speculation on Space Force involvement.
Victorian elites succeeded despite prioritizing soft skills and networking over rigorous academics.
Sharp split: exploitation versus educational effectiveness driving Victorian elite success.