AI Summarized Hacker News
Front-page articles summarized hourly.
Truffle Security scanned 7.6 petabytes of public Hugging Face data—186.9 million files across 815,000 datasets—to search for live credentials. They found 221,303 live keys in 6,003 datasets, including high-risk GitHub tokens (349 live) and 318 Docker Hub tokens. They also exposed 11,496 AI-provider keys (OpenAI, Anthropic), and 8,557 GCP keys, plus 51.7 TB of non-public S3 storage and 8,594 live database logins. Potential annual loss from leaked AI-inference keys: at least $920,000. Leaks spread via scraping and remixing; 44% appear in multiple datasets. Remedies: rotate keys, scan before publish/train, revoke exposed credentials; bulk revoke and vendor collaboration.
HN Comments
DoesItPlay tracks physical releases that still require online downloads. They found 27% of discs need patches or online content, 34% on PS5 and 50% on Xbox Series X. The trend shows publishers relying on downloads or online checks, undermining offline play. Sony is criticized for not delivering fully functional discs; Microsoft is seen as the worst offender; Switch versions sometimes rely on Game Key Cards. Examples include Cyberpunk 2077, Doom: The Dark Ages, Hogwarts Legacy, Jedi Survivor, Oblivion Remaster, and Ubisoft titles. With servers shutting down, many discs risk becoming unplayable, raising preservation concerns.
HN Comments
Could not summarize article.
HN Comments
Diátaxis is a lightweight framework for technical documentation that identifies four user needs and four corresponding forms: tutorials, how-to guides, reference, and explanation. It guides what to write, how to write it, and how to structure content around user needs, without imposing constraints. The approach includes primers, a compass, and foundations, and has been adopted in hundreds of projects (Vonage, Gatsby, Cloudflare) to improve clarity and discoverability. Etymology: Greek dia (across) + taxis (arrangement).
HN Comments
An unidentified narrator recounts Jim, a bartender who pursues tech entrepreneurship via bootcamp. Jim lands a role at a startup that gets acquired, then spends lavishly, is fired, and sets sights on Silicon Valley. After a YC admit, he climbs networks, posts grandiose updates, and starts multiple startups, none of which succeed. His persona spirals into extreme partying, drug-fueled founder parties, a breakup, and a nervous breakdown, then he vanishes. The piece contrasts Jim's dizzy ascent with the narrator’s steadier, linear path and depicts Silicon Valley as a brutal 'meat grinder' that chews up many Jims.
HN Comments
Requests that crawlers set a user-agent and respect the robots policy; cites related pages (a policy page and a Wikimedia Phabricator task).
HN Comments
Guardian investigates a vascular surgeon, Neil Hopper, celebrated as 'Bionic Surgeon' who later had both legs amputated due to sepsis, then performed amputations on patients while privately consuming extreme pornography and engaging in a self-inflicted mutilation fetish documented on eunuchmaker. Hopper lied about sepsis for insurance claims, was convicted of fraud and possession of extreme pornography; his medical practice raised questions about patient safety. Liz Spooner died after lengthy amputation; her daughter Faye learned Hopper had self-inflicted injuries. The NHS trust found no risk but patients feel betrayed; MPTS later struck Hopper off. Calls for independent inquiry.
HN Comments
It instructs scrapers to set a proper user-agent and respect robots policies, citing Wikimedia guidelines and a related Phabricator task.
HN Comments
Remy van Elst argues that modern calculators like the HP Prime G2 can run Linux. The G2 packs an i.MX 6, ARM Cortex-A7, 256 MB RAM and 512 MB flash; the author updated an old port to run Linux from RAM (up to ~130 MB image), with a working X11, Doom, a tiny C compiler, and a root console login. Touchscreen and keyboard tweaks, USB serial, and a prebuilt package are provided. The article surveys other calculators’ Linux potential (TI Nspire CX II, Numworks, Casio, TI‑84 CE) and notes limits on some devices.
HN Comments
Mike Elgan argues Google News has deteriorated: it used to deliver targeted US news with filters for time, language, and location, but now returns mostly Instagram and social media, in unfamiliar languages and from outside the US. Even when selecting “past week,” results often show stories from weeks or years ago. He concludes Google has abandoned Google News, letting it crash.
HN Comments
Oil majors Chevron, Shell and ExxonMobil posted record profits as wartime crude prices and refining margins climbed. Chevron’s quarterly earnings topped its history; Shell’s were second-highest; ExxonMobil doubled its profit from a year earlier. Averaged together, they earned about $404 million per day over the last three months. The surge spurred windfall-tax talk in the U.S. and Europe (the EU already has one). Despite Middle East disruptions and attacks on Russian refineries, producers say they will use profits to pay down debt and pursue long-term growth rather than rapid new drilling.
HN Comments
Could not summarize article.
HN Comments
Glyphs 4 is a Mac font editor for designing, editing, and exporting variable and static fonts. It introduces Pen points for variable strokes, COLRv1 color support, visual kerning groups, a new left sidebar, star nodes, head components for icons, an in-app scripting window, and master browsing. It supports Python scripting, plug-ins, and formats (CFF, CFF2, TTF, WOFF/WOFF2, COLRv0/1, SVG, sbix) with image exports. It includes text preview, OpenType features, and a growing community of foundries and designers who contribute plug-ins and tutorials. Upgrading to Glyphs 4 is promoted.
HN Comments
franken.domains is a lab-themed project that stitches together dictionary words with donor country-code top-level domains to create new, "reanimated" domains. Real words are grafted onto donor limbs from hundreds of TLDs and then verified against the registry, producing lifeless specimens waiting to be reanimated. The page lists examples (e.g., kulturmagaz.in, ladisla.us) and notes providers for reanimation (IONOS, united-domains, World4You, etc.). Warnings about registry lifelessness, residency rules, and pricing accompany affiliate links. Created and curated by Klaus Breyer.
HN Comments
Postmortem of Lean kernel bug #14576, fixed in the week of July 27, 2026. A flaw in nested inductive type handling with phantom parameters caused the generated type to drop parameters, enabling an ill-typed metaprogrammatic term to fake a proof of False. It involved the kernel (and a separate nanoda projection check). Ramana Kumar’s AI-assisted Collatz disproof triggered the report; Kiran Gopinathan reduced it to False and opened #14576; patch #14577 was merged within an hour. Follow-up PRs hardened invariants; nanoda now runs by default; thanks to Breitner, Ullrich, and Daniel Selsam.
HN Comments
NetBSD 11.0 released. ISO images are split into less-than-700MB CD-ROM and full DVD; use -dvd.iso for DVD and .img files for USB. For ARM, use a netbsd-11 image pre-configured with U-Boot. Install images from the CDN and consult architecture notes. Report issues via mailing lists or bug reports. The release notes transparency about open security issues due to AI-era tooling; fixes are released as candidates and the process is automated where possible. Open security pullups (hdaudio, ipfilter, pf) will go to stable after 11.0 and help form 11.1 in ~2 months.
HN Comments
BMW has begun showing a Spider-Man: Brand New Day animation on the car’s center display as part of a brand partnership. The banner appears at start-up and can be clicked to view a full-screen animation with music and ambient lighting; the campaign runs July 27–August 10 in participating markets, in over 70 countries, for vehicles with BMW OS 7/8/8.5/9 or BMW OS X and production after 7/2020. The Autopian article condemns this as invasive in-car advertising, arguing it undermines ownership, and calls for avoiding new BMWs.
HN Comments
Airbus completed the first flight of the A350-1000ULR (MSN 707) in Toulouse, testing its extended-range with an added rear centre tank to enable non-stop Sydney–New York and London flights (~10,000 nm, up to 22 hours). The flight tested the new fuel system, cabin ventilation/air cooling, and an updated galley cooling system ahead of retrofitting to Qantas’ specs. A second ULR for Qantas is nearing final assembly and due for delivery in April 2027. The A350-1000ULR is the fourth A350 passenger variant; overall A350 family orders exceed 1,570 with Qantas as a major customer. The A350F freighter is in development.
HN Comments
Toast is a batteries-included, in-terminal IDE that runs in your shell. It offers multi-tab editing, a file tree, tree-sitter syntax highlighting, and Markdown preview. It ships with managed language servers (Go, Rust, Python, JavaScript/TypeScript, Markdown) and rg-powered project search. Install via Homebrew or prebuilt releases; configure with ~/.config/toast/config.json and customizable keybindings; supports themes and per-language customization.
HN Comments
Igor Kotenkov and AI classifiers (GPT-5.6 Sol Pro and Fable 5 Max) used EpochAI/OpenMath rubrics to classify ten math results. They agree #3 is a Breakthrough; at least seven are Major Advances; they disagree on #7 (Solid vs Major). Fable marks #1, #4, #9 as Borderline Breakthrough; official rubrics favor a conservative downgrading approach. An OpenAI Astra-like internal model reportedly solved 10 major open problems, a potential major step for scientific reasoning. Sean X. Luo notes #3 could appear in an introductory algebra textbook.
HN Comments
Made by Johno Whitaker using FastHTML