AI Summarized Hacker News
Front-page articles summarized hourly.
Overview of new gTLD applications.
HN Comments
Scott Aaronson reflects on OpenAI’s AI-assisted flood of mathematical breakthroughs, including what appears to be a proof of Subhash Khot’s Unique Games Conjecture and numerous other results across complexity, number theory, and geometry. He cites his wife Dana Moshkovitz’s reactions, noting the proofs are dense and often require AI help to digest. He compares OpenAI’s race to digest proofs with Anthropic’s model of selecting which mathematicians publish digested work. The post muses on the future of math with AI, the persistence of human creativity, and the emotional stakes in the math community.
HN Comments
Push Ifs Up and Fors Down advocates centralizing control flow by moving conditional logic upward (to the caller) and deferring loops downward (into batch processing). This yields clearer code and enables vectorization, with parallels to database optimization (push down projections/filters, push joins up) and FP/category theory (subobjects, coproducts, and filter-map law). Valid rewrites require loop-invariant conditions; per-element conditions must move to the boundary as types (e.g., Walrus vs Option<Walrus>). Batch processing amortizes costs and reduces per-iteration overhead.
HN Comments
Could not summarize article.
HN Comments
Traces how 18th–19th century workshops learned to make flat surfaces, accurate screws, and true bores, enabling precise machine tools. From Henry Maudslay’s rigid slide-rest screw-cutting lathe and interchangeable lead screws to Wilkinson’s heavy-bore planing and boring mills, and onward to planing machines that quickly finish casts. It explains how fitters scraped against flat references using the three-plate method to produce true surfaces, how equal gear trains averaged out lead-screw errors, and how Whitworth’s millionth-inch measuring machine and end standards standardized lengths. Result: tighter tolerances, interchangeable parts, and the capacity to mass-produce accurate engines and machinery.
HN Comments
ICANN published the 2026 New gTLD Round applications, revealing applied strings, variants, and contention sets. A total of 1,615 applications were submitted: 333 brand, 16 community-based, 15 geographic names, 9 variant applications, and 51 Applicant Support Program. Regional totals: 864 North America, 506 Europe, 218 Asia/Australia/Pacific, 21 Latin America and the Caribbean, 16 Africa. Replacement strings may be chosen Oct 8–21, 2026. String Confirmation Day is Nov 17, 2026, with refunds available until Nov 27. Community input/objections run Nov 17, 2026–Mar 16, 2027. Office closure Dec 19, 2026–Jan 4, 2027; a prioritization draw is planned for 2027.
HN Comments
agent.reviews is a platform where agents discover, read, and write reviews of software tools. It groups tools into categories (source control, deploy/hosting, databases, coding AI models/APIs, cloud infra, CI/CD, etc.), with user-provided scores and leaderboards. It features thousands of reviews (e.g., Git 4.7 with 20k reviews; GitHub 4.3; Claude Code 4.3) and supports comparing tools and viewing public review data as JSON. Reviews are free to read and to write, and names are not shown.
HN Comments
An SRE and Redis user recounts a serendipitous encounter with Salvatore Sanfilippo (Antirez) in his Sicilian hometown. While visiting Campobello di Licata for the Rietina festival of decorated horses, he spots Sanfilippo walking on the street, stops to say hello, and they chat for about five minutes about AI and local models, then take a photo. Redis has been central to his work since 2020, and he praises Sanfilippo’s humble, approachable nature. The story highlights how small the tech world can feel.
HN Comments
Meta and Microsoft are cutting internal use of Anthropic’s Claude AI as they shift to in-house coding tools. Microsoft has reduced internal Claude spending ceilings from about $100,000 per employee to roughly $10,000, though client spending via Microsoft remains up. Meta’s Claude Code users drop from ~60,000 to ~30,000 as it leans on MetaCode and Muse Code (internal) with external Muse Code testing underway. Yet Meta reportedly spent about $105 million on Claude Code in a 28-day period, showing ongoing, but tightened, engagement with Claude as budgets tighten and competition with Anthropic grows; cybersecurity risks persist.
HN Comments
Docker Agent is an AI Agent Builder and Runtime that lets you create and run intelligent agents via a declarative YAML config. It enables multi-agent teams, a rich tool ecosystem (built-in tools + MCP servers), and AI-provider‑agnostic backends (OpenAI, Anthropic, Gemini, AWS Bedrock, etc.). Features include advanced reasoning with built-in think/todo/memory, RAG-style retrieval, and easy packaging to OCI registries for running anywhere. Install via Docker Desktop, Homebrew, or binaries. Run docker agent, set API keys (OPENAI_API_KEY, etc.), or use Docker Model Runner for local models. Docs and examples available.
HN Comments
The piece argues that scientists and journalists should stop chasing individual studies and instead synthesize the whole evidence base. Since Glass and Smith pioneered meta-analysis, systematic reviews and the Cochrane Collaboration have become bedrocks of medicine and beyond, guiding policy in education, conservation, and climate. A key lesson: many medical practices were adopted on weak evidence until synthesis exposed the truth (e.g., back-sleep SIDS link). The rise of AI could speed up living, transparent reviews, but quality must be guarded; assemble knowledge, don’t chase headlines.
HN Comments
EmDash now screens every plugin listing in its registry with Cloudflare's Clef decision model before publication. Clef evaluates listing text, links, icon, and screenshots for phishing, impersonation, scams, abuse, and deceptive links, returning probabilities. A result of 0.45+ sends a listing to human review; the model never blocks automatically. Clef handles both text and images, using nine text/link questions and eight image questions. The switch speeds moderation (1.64s p95 across tests) and simplifies maintenance, but still preserves a fail-safe path to human review and signed releases. Source code is on GitHub.
HN Comments
The page is blocked by a 403 Forbidden error and could not be loaded.
HN Comments
Could not summarize article.
HN Comments
Claude Haiku 5.5 is Anthropic's cheapest, fastest small model, designed for high-volume, cost-sensitive tasks (summaries, compaction, queries, classification) and suitable as a subagent for coding with Opus 5.5 and Sonnet 5.5. It delivers strong speed and cost performance, with around 75% lower running cost than Haiku 4.5. Pricing improvements include halved cache reads for Sonnet 5.5 (now $0.10 per million tokens) and a new monthly API credit for Max/Team subscribers ($100–$500). Haiku 5.5 supports adjustable effort, is available now on AWS/GCP/Azure, and includes safety/alignment enhancements.
HN Comments
A repository of 160+ sound and music visualization experiments across 25+ categories. It features waveform animations, spectrum-inspired patterns, matrix displays, particles, rhythm, and memory. The 28 themed series range from soundwave directions and vector studies to memory, phase mechanics, and orbital memory, with evocative project titles such as silk layers, teletext pulse, calibration desk, plotter logic, inference engines, and orbital memory.
HN Comments
Jordanian teen Saif Al-din Khader, aka Rey, a ShinyHunters leader, was detained in Amman and is cooperating with the FBI to identify others. The arrest came as ShinyHunters sought to extort Boeing’s former Jeppesen ForeFlight unit, sold to Thoma Bravo. The group had mass-exploited Oracle PeopleSoft CVE-2026-35273 to steal data from dozens of victims, including an FBI recruitment-site breach. Rey taunted the FBI and Cl0p after taking control of ShinyHunters; the group is described as a franchise with remaining affiliates. Core members have been arrested in France; the Dutch case against Pepijn van der Stap is noted.
HN Comments
BIGWORDS.PAGE turns any screen into a sign by encoding the content and display settings in a URL fragment. No account or server storage—the message lives in the URL and stays private. Use the editor or a generated link, and customize with &bg, &fg, &font, &interval. Text is URL-encoded (spaces %20, newlines %0A, headings %23); || splits slides. Supports countdowns ({countdown}, {until}), timers, QR codes and images. Open source (MIT); works in any browser; Markdown for bold, italics and headings.
HN Comments
Durable Actors in TypeScript is an open-source, vendor-lock-in-free alternative to Cloudflare Durable Objects that provides stateful, serverless actors with built-in persistence, coordination, and observability. Actors have durable state and serialized execution; the ChatHistory example shows persisted messages and interleaved calls. Quickstart: install Node.js and Bun, npx durable-actors init <project>, npm install, npx durable-actors dev; define actors in src/actors.ts with @Persisted and expose a type-safe client, connect via WebSocket. Frontend examples included; supports Python and TypeScript; MIT license.
HN Comments
Could not summarize article.
HN Comments
Made by Johno Whitaker using FastHTML