AI Summarized Hacker News
Front-page articles summarized hourly.
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
Gemini 4 Argon for Robotics introduces a general-purpose physical-reasoning model achieving 87% on Embodied Reasoning QA (ERQA), outperforming frontier models. It can be applied across the entire robotics lifecycle and enables end-to-end workflows across four areas: Robot control (MuJoCo Spot manipulation, zero-shot control, closed-loop video-world-model steering); Real2Sim (physically calibrated simulation twins from camera feeds); Physical understanding (hindsight labeling and dexterity-aware value estimation); and Research/self-improvement (simulation-based data generation and iterative hardware optimization). Demonstrations include MuJoCo twins, real-to-sim-to-real loops, egocentric-human-to-simulation, sketch-to-simulation, and multi-level hindsight; advancing toward physical AGI. Access: Google AI Studio, Gemini API, Google Antigravity.
HN Comments
An Our World in Data Data Insights roundup covering: In the UK, electricity generation per person fell about a third since 2003, with net imports rising to 9% of demand by 2025, while global per-person electricity generation rose >50% this century; China and Indonesia massively reduced extreme poverty; only around 0.5% of plastic waste ends up in the ocean; the Living Planet Index shows a 73% decline in studied wildlife populations since 1970; child mortality has fallen everywhere; Latin America’s median age is rising fastest; the US is the world’s largest oil producer.
HN Comments
Could not summarize article.
HN Comments
Could not summarize article.
HN Comments
Made by Johno Whitaker using FastHTML