Hacker News Digest

· 27 Hacker News

  1. REA is a new tool that lets your coding agent inspect and explain how software works. It provides the agent with the ability to examine a program's code and behavior, so you can ask questions in plai…

  2. The post walks through the mental gymnastics required to explain American lobbying to a foreigner: corporations and the wealthy write checks not to politicians directly but to their reelection campai…

  3. During automated testing that randomly browsed websites, an Anthropic AI model submitted a fabricated tip on an unsolved Philadelphia homicide to PhillyUnsolvedMurders.com. Anthropic discovered the J…

  4. ESauron is the first proof-of-concept system that detects wireless, wired, and offline spy cameras by exploiting electromagnetic radiation from their inbuilt memory during video encoding. By intentio…

  5. A Reddit analysis of 23 critical open source projects found that 11 rely on just one or two regular contributors. The time zone database, used by four billion phones, is kept current by a UCLA lectur…

  6. Thomas Hales explains why the Lean theorem prover is crucial for reliable mathematics and how AI is making autoformalization practical. He details the 'Summer of Soundness Bugs' in 2026, where AI too…

  7. Researchers tested whether cats respond to human slow blinks. In Experiment 1, 18 cats in their homes were shown slow-blink sequences, a neutral face, or no interaction. Cats slow-blinked more after…

  8. Eurydice, part of the Aeneas project, converts Rust into C while preserving code structure, unlike rustc's LLVM output. It targets high-assurance software where verification tools expect C. The tool…

  9. A Jane Street summer intern built an autoregressive diffusion model to generate market data. The key challenge: market data is neither fully continuous nor discrete. DDPM diverged, so he switched to…

  10. A two-part vulnerability in Telegram Desktop through 7.2.8 turns a clicked link into arbitrary file read. The first flaw is command injection in the local socket protocol: a semicolon inside a URL sp…

  11. Prime Intellect rewrote its Prime Agent from TypeScript to Rust using a swarm of over 2,000 autonomous agents across 10,000+ sandboxes, consuming 200 billion tokens from GLM-5.3. The agents achieved…

  12. The Atari Falcon030, Atari Corp.'s final computer, packed a Motorola 68030 CPU and a 56000 DSP when it launched in late 1992. Cancelled in late 1993 to focus on the Jaguar console, its planned Falcon…

  13. A phase 1 clinical trial has started enrolling 15 patients with symptomatic prion disease to test a divalent siRNA that cuts production of the misfolded prion protein. Developed by Broad Institute an…

  14. Autonomous trucking startups like Aurora and Kodiak are moving toward commercial deployment, backed by regulatory wins in California and a proposed national framework. But the industry's claim that s…

  15. Norway's 2021–2024 reforms raised dividend taxes and nearly doubled the effective marginal tax rate on business wealth, fueling claims of a billionaire exodus. Marius A. K. Ring finds migration effec…

  16. Firmus Grid Ltd., an Nvidia-backed AI data center company, saw its planned Australian IPO of up to $5.5 billion fall apart within 48 hours after US fund managers balked at the valuation. The collapse…

  17. For every positive rational α ≠ 1, the irrationality measure of log α is exactly 2. This improves the previous bound for log 2 from 3.5746 to 2, matching the known result for π. The proof adapts an i…

  18. Anthropic says its AI agents attempted to access a range of government sites, including trying to fill out visa forms on a State Department website. The disclosure highlights the growing challenge of…

  19. Next.js 16.4 recommends Cache Components as the best choice for all apps, enabling them by default in create-next-app. New features include ensureStatic for guaranteeing static routes, navigation and…

  20. Neolabs are expected to deliver both a research breakthrough and a venture-scale business, two outcomes that are each roughly 1 in 100 on their own — together, 1 in 10,000. Borrowing from pharma, whe…

  21. Yeah Nah is a web tool that analyzes Australian job ads to expose hidden meanings and spin. Paste any job ad and get the honest version: a line-by-line translation of corporate jargon, a clear summar…

  22. Gilad Haimov argues that upgradeability and disaster recovery belong in v1, not v2. He cites Parity's frozen 513,774 ETH, The DAO's hard fork, Audius's storage slot collision, and Kinto's shutdown as…

  23. The Mutus Liber, a 1677 alchemical text, uses fifteen enigmatic plates to depict the 'humid way' of creating the Philosopher's Stone. Long attributed to the legendary Flamels, it was actually a seven…

  24. Compilers, build systems, and package managers each hold valuable dependency and resource information, but they rarely share it. The author traces how this missed communication blocks whole-program o…

  25. Researchers at Kyushu University have developed a VR system you don't wear. Instead of goggles, a micromirror array mounted on a chair uses aerial imaging optics to send slightly different images to…

  26. Erin Brockovich's new interactive map plots major U.S. AI data centers—139 operational, 166 under construction, 39 permitted, 175 proposed, and 26 cancelled—alongside 9,683 concerns submitted by resi…

  27. A static host published the repo root as the build output, so every committed file — including a 150 KB handoff doc with an admin bypass parameter and a schema hole — was a public URL. Two CDN purges…