AI Summarized Hacker News
Front-page articles summarized hourly.
The article advocates IDRs (Implementation Decision Records) as durable records of intent behind feature work, not just verbose prompts. It notes LLMs often fill in with what they plan to implement, producing lossy docs, and argues IDRs should repeatedly reference the original intent and decisions. It contrasts a weak DuckDB-based serialization example with a clearer PyPI publishing via GitHub Actions: problem, goals, non-goals, and a concrete solution. The core message: IDRs guide behavior, provide guardrails for tools, and are most useful when revisited later.
HN Comments
Mark Dominus proposes a Git release history that uses a single per-app ref to a chain of metainfo commits, rather than thousands of tag objects. Each metainfo commit has two parents: the previous metainfo and the actual release commit, forming a linked list. The head ref (e.g., stg.www.our-app) points to the latest metainfo; git log HISTORY shows the full release history, and git log, git diff can access past releases. This leverages Git's built-in history traversal, avoids tag clutter, and yields immutable-like audit trails; not widely adopted but potentially useful.
HN Comments
PostEra is an AI-first biotech building Proton to accelerate drug discovery, with programs in women’s health and fertility, and partnerships with Pfizer and Amgen. They seek a Machine Learning Researcher in Agentic Science to build and benchmark agentic systems that automate mechanistic models of biological processes and enable data-driven drug discovery decisions, collaborating with chemists and biologists. The role focuses on in-context learning, few-shot adaptation, and molecular/tabular models; requires a PhD in ML or related field, strong research/engineering background, Python (PyTorch/JAX), and the ability to translate problems into ML projects. Salary $200k-$300k; equity 0.05-0.1%; no visa sponsorship.
HN Comments
OpenAI engineer Abdulrahman Alfozan, a Saudi national, was arrested for allegedly hiding an audio recording device in an executive conference room at OpenAI’s San Francisco headquarters. Charged with using or attempting to intercept oral communications, he faced an unattended bag containing his ID and a second device. Prosecutors say he planned encryption and evasion, and a spouse-linked chatbot queried about building addresses, rooms, and devices. OpenAI terminated him and referred the matter to the FBI. If convicted, he could face up to five years in prison and a $250,000 fine.
HN Comments
OpenAI reported discovering a hidden recording device in an office. Using their models, they traced it to a specific employee who planted it days earlier; the matter was referred to the FBI, which led to an arrest. The employee was terminated, and there is no indication of unauthorized access to model weights, source code, or customer data. OpenAI emphasizes a robust security program protecting technology, data, and people, illustrating AI's role in countering insider and other threats.
HN Comments
Parsimony measures how much code AI coding agents add. Net units added = added − removed, with lines not counted and deleted code subtracted. Patches are applied to Python files; tests/docs/generated files are ignored. Models are ranked by mean net units added on tasks solved, with lower being better; solved data come from SWE-bench, but the metric includes failed attempts as well. Solved rate and data sources are indicated, charts require JavaScript, and data are on GitHub. Larger code often coincides with more tasks solved (Spearman 0.33–0.60). All models use the same mini-SWE-agent.
HN Comments
Hypermass CLI streams live data to a local folder. Install, then subscribe to a stream and run sync to begin saving payload files (one per payload) under your home directory: <home>/hypermass/subscriptions/_<id>, in published order. A hidden .hypermass folder inside each stream tracks state; delete only data files to mark progress, and you can replay streams. Use hypermass status to monitor and hypermass reload to change streams. The CLI targets data scientists, developers and production workflows, and can run as a service or be used to publish your own streams.
HN Comments
1976 saw Appel and Haken prove the Four Color Theorem with a computer-assisted method (about 1,200 hours of computation and 10 billion decisions), aided by John Koch. The breakthrough provoked a fierce debate over proof-by-computer, with a generational split and mixed credibilities: some mathematicians endorsed it (Tutte, Heesch), others rejected or doubted it, and The New York Times initially declined coverage. Philosophers like Tymoczko questioned unseeable proofs, while Ted Swart argued computer proofs extend pencil-and-paper methods. The episode marked a watershed for man–machine mathematics and ongoing questions about verifiability and the future of proofs.
HN Comments
Trevor Warmedahl quit his Seattle cheesemaking job to document traditional cheesemaking around the world. Over six years he’s visited more than 20 countries, chasing natural farmstead cheeses and the communities that sustain them. He treats cheese as an edible manifestation of place, reflecting landscapes, livestock, and microbial life. Highlights include milking yaks and milk libations in Mongolia, Tusheti, Georgia’s Tushuri guda, and a 193km Peaks of the Balkans trek. He promotes responsible 'lacto-culinary' tourism, direct engagement with local cheesemakers, and seeks overlooked cheeses like Turkey’s Tulum peyniri.
HN Comments
Spotatui is a fast, standalone terminal music player written in Rust (a community fork of spotify-tui) that streams Spotify audio natively and supports multiple sources: Local Files, Subsonic/Navidrome, Internet Radio, YouTube, Qobuz, and Apple Music on macOS. It offers synced lyrics, a real-time audio visualizer, cross-source play queue, and playlist mirroring, plus Lua plugins. An AI DJ via MCP or built-in DJ is available. It’s lightweight (~78 MB RAM), with desktop app preview and extensive, config-driven installation options.
HN Comments
Guitoro is a free, browser-based virtual guitar that lets you play real parts in real time via keyboard, touch, or mouse. It includes four instruments (steel-string acoustic, classical, electric, four-string bass), 15 chords in every key, and 51 songs with adjustable tempo and strum/picking patterns. Every note is a real-instrument recording, with visuals of strings, frets, and picking. Features include Solo mode, tunings and capo, a backing band, and in-browser recording/export. No download or signup; saves in your browser. Great for practice, learning chords, and playing along.
HN Comments
Could not summarize article.
HN Comments
ai-deslop is an Oxlint plugin with opinionated rules to reject low-evidence AI-slop code. It vendors anti-slop rules from dmmulroy/anti-slop and adds deslop-specific rules; MIT licensed. Install via npm install --save-dev ai-deslop and use with Oxlint (defineConfig, jsPlugins: ['ai-deslop'], deslopConfigs.recommended). It provides Type safety/evidence rules, code quality/APIs rules, and tests rules, plus standard and opt-in rule groups. Compiled JavaScript; works with Bun, Deno, or Node.js.
HN Comments
Michał Górny argues Gentoo should not use uv-build as a build backend. It’s large, Rust-based, and must be built from source, hurting portability across platforms and creating heavy maintenance due to frequent releases. Benefits are minor—some consistency with uv and a tiny performance edge—but for pure Python packaging the gains are negligible. Most users rely on wheels or source distributions, so any speedups are dwarfed by uv-build’s burdens. Conclusion: avoid uv-build.
HN Comments
Apple launched a "Switch to Safari" campaign to promote Safari over Chrome, featuring a new web page and two YouTube videos. It claims Safari offers longer battery life and better performance—up to 5 more hours of video streaming and up to 35% faster load times on Mac—plus stronger privacy protections and less tracking via Intelligent Tracking Prevention. The comparison highlights Safari features like Reader Mode, Notify Me, Profiles, Apple Pay, and more, positioning Safari as the privacy-focused alternative to Chrome, following earlier privacy campaigns.
HN Comments
XBOW built a six-day Chrome full-chain exploit that combined three vulnerabilities to achieve code execution outside the Chrome sandbox: Stage 1 in V8 Maglev memory corruption turning immutable HeapNumbers into literals; Stage 2 in WebP decoding causing TOCTOU and memory corruption by transferring an ArrayBuffer via ImageDecoder; Stage 3 in Crashpad crossing the renderer boundary by abusing a ReadProcessMemory race with a freeze-exempt thread to overwrite a live writer and chain into a Wasm Code Pointer table. The chain used modular design and AI agents for exploration, earned Google’s VRP $250k, and prompted Chromium fixes (8266257/8352899/8267322).
HN Comments
Could not summarize article.
HN Comments
Anthropic built Scion, an in-house agent-scale VCS, migrating its monorepo from git in five months to handle rising merges (2,500/day in May 2026 to 30,000/day by Sept 2026). Scion uses always-online clients, server-side commits, and a bounded local cache; data are content-addressed and distributed; checkouts are sparse or on-demand, cutting data transfer. A small team built Scion plus Antique (code review) and IAM, achieving a 200x smaller footprint than git mirrors and two-orders-of-magnitude faster CI. Not a general replacement for git, but a model for scaling huge monorepos; rapid Claude-assisted development and safety governance were key.
HN Comments
A Specr Lab project, “How random are you?” by Shaun Pedicini (@wunderbaba). The page shows a loading state and offers links to More projects and Contact.
HN Comments
Coris, an YC-backed AI-native risk/ops platform for payments, seeks a Backend Engineer (AI-Native) in Palo Alto. You’ll own processor/platform integrations (Stripe, Adyen, Fiserv, TSYS, Repay), build the risk engine and data schemas in Postgres, and run the ingestion/API stack (PCI-safe, observable, idempotent). Apply AI everywhere; 10–20% TypeScript/Next.js. 3+ years production Python backend (Django/Postgres); SQL fluency; comfortable with customer-facing work; equity 0.25–0.50%. In-person 5 days/week. Salary $160–$175k.
HN Comments
Made by Johno Whitaker using FastHTML