AI Summarized Hacker News

Front-page articles summarized hourly.

A Good Lemma Is Worth a Thousand Theorems

Zeilberger argues that good lemmas can be more valuable than deep theorems, highlighting Szemerédi's Regularity Lemma for its wide applicability, simplicity once stated, and powerful consequences (e.g., in Green–Tao). He gathers quotes praising lemmas and their enduring value, and cites THE BOOK’s criteria for a true lemma: broad applicability, obviousness, and aesthetic beauty.

DOGE Cuts Unleashed a Deadly Wave of Violence Across Africa, Study Finds

The Abstract summarizes a Science study alleging that the 2025 shutdown of USAID by DOGE increased violence across Africa, especially where aid was heaviest. Using GODAD and ACLED data, the authors find higher violence risk after the cuts: ~6.5% more conflict events, 10% more protests, 10.6% more events, 6.9% more battles, and 9.3% more battle fatalities, with a 12.3% rise in total events. The study links aid withdrawal to worsened conflict via opportunity-cost effects and notes USAID’s prior impact—an estimated 91 million lives saved (2021–2024)—and warns of long-term security and reputational costs for the U.S. and allies.

Cannibalistic attacks between gray seals leave telltale “corkscrew” injuries

Could not summarize article.

Jank now has its own custom IR

Jeaye Wilkerson announces jank’s own custom IR tailored to Clojure semantics, SSA-based and CFG-structured, stored in C++ but renderable for debugging. The IR replaces LLVM/JVM bottlenecks with higher-level optimizations, and is merged to start real passes. Using a recursive fibonacci benchmark, baselines show JVM ~200 ms, jank ~5.5 s at first. Optimizations include: inlining via var metadata, removing redundant IR steps, fixing nil initialization, and introducing 63-bit tagged pointers to avoid allocations. With aggressive inlining (always_inline), times drop to ~0.114 s—about twice the JVM. More benchmarks (e.g., a ray tracer) and a beta release are planned.

Design posters showcasing your country's electrical grid

Grid2Poster generates print-ready posters of electrical grid infrastructure from OpenStreetMap data. It downloads transmission lines for a country/region and renders them with GeoPandas, OSMnx, and Matplotlib. It supports countries, states/provinces, continents, and predefined regions, using OSM features like power=line and power=cable (minor lines optional). Install in a Python venv and run pip install -r requirements.txt. Usage examples: --country Portugal; --tile-size-km; --include-minor-lines; --landscape; --boundary-geojson. Outputs PNG and SVG to posters/, with options for local GeoJSON, themes, and Overpass tile-size adjustments. Regions in regions/ are provided.

An AI Hate Wave Is Here

Could not summarize article.

Ask an Astronaut: 333 hours of Q&A footage with astronauts

An initiative letting people ask questions of astronauts.

Two EA-18 fighter jets collide at Mountain Home airshow, pilots ejected safely

Two U.S. Navy EA-18 Growler jets collided during the Fighter Skies airshow at Mountain Home Air Force Base. All four crew members safely ejected and were evaluated by medical personnel; no base injuries. The incident prompted a lockdown and a multi-day closure of SH-167 near Mountain Home while investigators work. The aircraft were from Electronic Attack Squadron 129 in Whidbey Island. Video showed parachutes opening as the jets crashed. Officials note the air-show safety history, with no spectator deaths in 2024–2025 and the 2022 fatal crash being the last such incident.

Fabricked: Misconfiguring Infinity Fabric to Break AMD SEV-SNP

Fabricked is a software-only attack that misconfigures AMD Infinity Fabric via a malicious UEFI, bypassing SEV-SNP during initialization. By misrouting writes to DRAM, the PSP sets up an uninitialized RMP with insecure defaults, letting a malicious hypervisor arbitrarily read/write CVM memory and break SEV-SNP guarantees. Fully deterministic with 100% success, no CVM code required. Affected: AMD Zen 5 EPYC (likely Zen 3/4 per advisories); CVE-2025-54510; AMD issued fixes. Not applicable to Intel/Arm confidential solutions or non-confidential VMs.

GenCAD

GenCAD is an image-conditioned generative model for parameterized CAD that outputs both a 3D solid and the full CAD command history. It combines an autoregressive transformer encoder for CAD command latent spaces, a contrastive model linking CAD commands to CAD images, a latent diffusion model conditioned on images, and a decoder to generate CAD command sequences. It enables image-to-CAD generation, multiple samples per image, and image-based CAD retrieval (top-3 from ~7,000 programs).

ThinkPad: From IBM's Bento Box to Lenovo's AI Workstations

ThinkPad has shipped continuously since 1992 under IBM (1992–2005) and Lenovo (2005–present), making it one of the longest-running laptop families. Its design DNA—a matte-black wedge, TrackPoint, full keyboard, and durable docking—stayed largely intact through the IBM-to-Lenovo handoff and into the 2020s. Lenovo surpassed 60 million ThinkPads sold by 2010. Key pivots include the 2012 keyboard cliff to the 6-row Precision Keyboard, X-series evolution (X220/X230), and the X1 Carbon line. In 2024–26, the AI Workstation era adds Copilot+ NPU and up to 96 GB RAM in P14s Gen 6.

AI Wearables Are Coming but They'll Need to Pass the Coffee Shop Test to Survive

Could not summarize article.

New Nightmare Just Dropped: '3D' Animated Ads on Trucks in Traffic

LED Truck Media is testing 3D anamorphic ads on moving trucks using curved LED panels, claiming realistic 3D visuals through high brightness, fine pixel pitch, and wide viewing angles. The Drive's Andrew Collins criticizes the idea as unsafe and "awful," arguing moving 3D ads could be distracting or dangerous; he notes examples of 3D billboards and calls for action to ban such use.

Prolog Coding Horror

Prolog Coding Horror warns rebels: don't abandon the core declarative rules. A program can terminate efficiently yet be defective—report wrong answers or fail to report all solutions. The main culprits are impure/non-monotonic constructs (e.g., !/0, (->)/2, var/1), global state via assert/retract, and impure output that hard-wires results. A declarative remedy is to use pure data, constraints (dif/2, CLP(FD)), and meta-predicates, threading state through arguments. Favor printing via the top level and describing output declaratively. The murderous factorial example shows how purity yields general, testable solutions. Rebel selectively; use declarative constructs for generality and maintainability.

Multi-Species Canopy Latrines in Costa Rican Cloud Forests

Could not summarize article.

VoIP brings back old-fashioned pay phones to rural Vermont

Vermont electrical engineer Patrick Schlott revived pay phones by connecting old Western Electric units to the internet via VoIP gateways. Seven phones, installed in libraries, schools, and a town hall, offer free calls to the US and Canada with coin mechanisms kept for fun. The system uses analog telephone adapters to route through a local VoIP provider, with codes like 0, 211, 411, and 988, and E911 addresses registered. Driven by poor cell service and a 2026 statewide school smartphone ban, Schlott funds installations with donations and his own money and plans more sites.

Show HN: Semble – Code search for agents that uses 98% fewer tokens than grep

Semble is a fast, token-efficient code-search library for agents. It indexes codebases on CPU (no API keys or GPUs) and returns exact, relevant snippets in milliseconds. It promises ~98% fewer tokens than grep+read, ~200x faster indexing, and ~10x faster queries with retrieval quality near code-transformers. Semble runs as an MCP server or via a shell/CLI, and works with Claude Code, Cursor, Codex, OpenCode, and other MCP clients. It uses two retrievers (Model2Vec embeddings and BM25) fused with Reciprocal Rank, scoring by symbol definitions and file coherence. Supports local paths or git URLs.

Magical Realism: “Northern Exposure” 25 Years Later (2015)

Could not summarize article.

Scientists "bottle the sun" with a liquid battery that stores solar energy

Scientists at UC Santa Barbara have created a rechargeable solar battery that stores sunlight in a liquid molecular form and later releases it as heat. The material, based on a pyrimidone derivative for Molecular Solar Thermal (MOST) storage, absorbs sunlight, stores energy in chemical bonds, and, when triggered by heat or a catalyst, reverts to its original form to release heat. It can hold energy for years and stores >1.6 MJ/kg (vs ~0.9 MJ/kg for Li-ion). In tests, it boiled water at ambient conditions, enabling potential off-grid heating and solar water heating without bulky batteries.

Don't Outsource the Learning

Don't outsource learning to AI. AI helps ship faster but erodes long-term skill through cognitive debt, as studies show: comprehension drops when relying on AI-generated fixes; concept questions perform better than copy-paste. The fix is to change workflow: prompt for understanding first, form hypotheses, test explanations before code, and re-derive by hand. Use Learning/Study modes and Socratic questioning; critique outputs like a junior engineer's PR; keep learning metrics alongside velocity. You can ship 80% and learn 100%; with deliberate practice, seniors stay sharp while using AI.

Made by Johno Whitaker using FastHTML