AI Summarized Hacker News

Front-page articles summarized hourly.

Oil companies report sky-high profits thanks to wartime crude prices

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

Kenji/Serious Eats – 30-Min Pressure Cooker Pho Ga

Could not summarize article.

HN Comments

Glyphs 4 – the leading Mac font editor

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: Stitched-Together Domains, Because Every .com Is Taken

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 for Kernel Soundness Bug #14576

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

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 Is Showing Commercials on Their Car's Dash Screens as a Treat

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

Rear center fuel tank adds roughly 20k liters and extends range by 1k NM

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 IDE Gets Markdown Spell Checking

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

Assessment of open AI math results

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

Register deprivation: spills and runtime under forced register scarcity

On an Intel Xeon E-2236, gcc 15.2.0 -O2 reserved GP or XMM registers with -ffixed-<reg> to study spills and runtime across nine kernels. Eight slowed as registers were removed; SipHash-2-4 did not slow. Spill counts rose in all cases, but total spills poorly predict slowdown (r≈0.55; ~30× variance per spill). Slowdown depends on the reserved file: GP reserves hurt more than XMM in many kernels; in SHA-256, XMM reservation raises spills yet little runtime cost due to vectorization. H1/H3 weak; H2 largely holds; static spills are a poor predictor. Limitations: one machine/compiler; dynamic spills not measured; reproduction steps provided.

HN Comments

Kaisel – Routes as Values. Dart 3 Native Router for Flutter

kaisel is a Dart 3-native Flutter router that treats routes as values rather than strings or codegen. It uses sealed classes and exhaustive switches so the compiler ensures all routes are handled, eliminating unknown routes. The navigation history is a List of route objects; push, pop, and set are list operations, testable without a widget tree and restorable across process death. It requires zero codegen—routes are plain Dart classes. Features include a single NavigatorObserver, support for tabs, adaptive layouts, guards, and deep linking. It also offers migration paths from go_router, auto_route, and Navigator.

HN Comments

I Fired My AI Assitant

The author chronicles moving from Claude Code to ChatGPT after a disappointing shift from Opus 4.5 to Opus 5. Claude Code once produced usable code; after Opus 5 it grew curt and jargon‑y, and in conversational tasks it even felt rude—mocking a to‑do list and calling a LinkedIn draft “engagement bait.” They question whether a model’s personality matters as much as coding ability and conclude that a pleasant assistant is preferable, switching to ChatGPT.

HN Comments

I ♥ RSS – A directory of people who love RSS

I ♥ RSS is a new directory for RSS enthusiasts launched by Andrew Shell. He has added a badge to his footer, submitted his site, and wired a live blogroll on the homepage with FeedLand. The post invites readers to check out the directory and add their own website. Published July 30, 2026, by Andrew Shell, a Team Lead/Senior Software Engineer from Madison, Wisconsin.

HN Comments

Scope of Hacks on U.S. Water Supply Widens as Evidence Points to Iran

Could not summarize article.

HN Comments

Study uncovers lost 'golden age' of languages

New global study coauthored by Yale linguist Claire Bowern argues that linguistic diversity peaked 1,000–3,000 years ago, with tens of thousands of languages spoken worldwide, followed by a long decline as states and multinational empires spread their languages. While European colonialism intensified losses, it did not initiate them. Today roughly 7,600 languages remain, representing a biased remnant of an earlier, far richer diversity. Using ethnographic data, prehistoric population estimates, and modelling, the team links language diversity to demographic and political change across the Holocene.

HN Comments

Explorative modeling: Train on the best of K guesses

Explorative Modeling (XM) adds a third pretraining axis by exploring multiple plausible outputs during training (for loop over K generations) and training only the best match. This ‘mode forcing’ increases generative expressivity, letting models commit to diverse valid answers rather than the data average. As a result, XMs improve data, compute, and parameter efficiency, generalization, and end-to-end generation, across images, video, and language; gains scale with data and model size and can reach or exceed diffusion performance with far less inference compute. XMs can augment existing models or enable end-to-end generation; future directions include Reverse XM and gradient-based exploration.

HN Comments

Indexing the Data Lake for Online Point Queries

Spotify describes RAP (External Index for Parquet), an approach to fast point queries on a data lake. A dedicated index maps each key to the exact Parquet file and row, enabling O(1) lookups and a few precise, ranged reads instead of scanning. It targets petabytes in cloud storage, avoiding copies or ETL. Optimizations include concentrating key data (sorting, co-grouping, coarser partitioning), reducing bytes per read (one key per page, ZSTD frames, interleaving columns, covering index), and supporting secondary indexes. The payoff: single or few kilobyte reads, letting analytics and online workloads share the same lake.

HN Comments

Cursor removed cost information from the usage page and CSV export

Cursor switched the Usage page from dollar costs to token amounts for self-serve/Teams plans on 2026-07-31. There is no UI toggle to revert; enterprise plans still show dollars. Dollar values are no longer returned by the dashboard Usage endpoint for self-serve plans, and per-user/per-model breakdowns are unavailable. You can view dollars in Dashboard > Spending (On-Demand) and in Dashboard > Usage CSV (on-demand rows show costs; included usage shows “Included”). Admin API still provides cost fields for Teams. Users are requesting restoration or a toggle.

HN Comments

GitHub has alternatives, but no replacement

Codeberg’s ban on AI-written code highlights a broader gap: many Git hosting options exist, but no universal open-source community platform to replace GitHub. Self-hosting works for personal projects but not for inviting outsiders. GitHub’s social layer—identities, discovery, conventions—hasn’t been replicated at scale elsewhere. The forge experience is deteriorating (slow PRs, outages, unreliable notifications) while AI features like Copilot proliferate. Ghostty left GitHub due to outages. Alternatives (GitLab, SourceHut, Forgejo, Radicle, Tangled) have flaws or are experimental. A viable replacement may require a “boring” company focused on social experience and sustainable funding—the social layer is the product.

HN Comments

Made by Johno Whitaker using FastHTML