AI Summarized Hacker News

Front-page articles summarized hourly.

Startup taps underwater volcano as energy source in "proof point" test

Repeated HTTP 403 Forbidden error indicating access is denied.

Achieving AI-style reasoning without an LLM

Minotaur AI Deep Dive introduces an AI that reasons without a language model or GPU, using a three-role framework called ELC—Energy drives a system, Control constrains it, and Logic relates the two. A neural ELC network settles questions; an exact calculator handles arithmetic, and a one-way crossing preserves a verifiable chain of thought and certificates. The system can perform deduction, induction, abduction, diagnosis, and history reasoning, learning either from descriptions or data. In blind tests, it matched a current language model on several tasks, with fully certifiable reasoning, and outperformed traditional approaches when problems lacked explicit models.

Faster than earcut: triangulating 3.7M map polygons in 489 ms

Globus released earstrip, a fast, ISC-licensed ear-clipping triangulator for maps, as a small C++ header and WebAssembly library. It triangulates millions of map polygons far faster than earcut by rethinking the ear test: insert points one by one, maintain a dent list of reflex vertices, skip tests on convex rings, and compress output into strips for GPUs. It also bridges holes to form a single ring and uses bucketed dents, branchless counting, and selective dent tests to cut work. In benchmarks, earstrip hits 489 ms for 3.7M polygons, and generally outperforms earcut in native and browser environments.

The Robot I Didn't Expect to Build

Agility Robotics' Digit 5 is the first humanoid designed to work safely next to humans at scale. Building on ATRIAS, Cassie, and Digit 4 EVT, the team prioritized safety, regulatory compliance (CE, UL, FCC), and real-world deployments over aesthetics. Weighing over 120 kg, Digit 5 lifts 23-kg bins to 1.75 m, runs ~90 minutes on a charge, and recharges in ~9 minutes. When approached by people, it stops, lowers, and powers down to reduce risk. The design trade-offs aim for a practical, upgradeable warehouse platform.

CVE-2026-111943: Compromised Intermediate Certificate Authority

Could not summarize article.

Claude Now Works with Google Docs, Sheets, and Slides

Claude now works inside Google Docs, Sheets, and Slides via a beta add-on and connectors on all paid Claude plans. In Docs, it can fix text, restyle headings, and propose edits; in Sheets, it writes formulas, builds pivot tables and charts, and can pull data with Python; in Slides, it creates slides from layouts and checks readability. Modes: Ask before edits (approval cards) or Accept all edits. Claude keeps your context across Google and can pull Salesforce data via Drive connector. Enterprise controls apply. Install from Google Workspace Marketplace and enable connectors.

I can't use generic lambdas at compile-time, now what?

The post explores why Clang can’t evaluate generic lambdas at compile-time, breaking a compile-time testing library. It traces macro-based dispatch for nullary vs. stateful packets (K3_K3TCHUP_EXEC_PACKET_) and related workarounds, highlighting issues in non-template contexts. The author ultimately replaces the macro with a simple template dispatcher, exec_packet<F>(packet), using if constexpr to route to nullary or stateful paths, achieving correct compile-time and run-time behavior with a cleaner solution.

A Markdown File Should Just Open

Markdown is a simple, portable plain-text format used widely for notes, docs, and AI outputs. Yet most OSes don’t treat .md files as real documents, forcing users to view raw syntax or install tools. The author argues for native Markdown support as a first-class document format across macOS, Windows, Linux, and mobile platforms, with consistent rendering of structure (headings, tables, links) and a basic editor, while preserving the underlying source. Relying on CommonMark and GitHub Flavored Markdown, not inventing a new format, and ensuring security and offline use. This would empower portability, ownership, and long-term accessibility.

ThinkPad I9990303 Error Catch-22

An IBM ThinkPad 750C (circa 1994) with I9990303 blocks boot and BIOS access, though maintenance disks can boot. IBM docs link I9990303 to a faulty ROM/flash, sometimes a flash ROM checksum error in newer models. The BIOS updater fails due to power-management/battery checks. The author hacked UPDTFLSH.EXE to bypass checks, flashed the BIOS, and the error disappeared, with BIOS configuration and PS/2 utilities restored. Conclusion: I9990303 almost always signals corrupted flash memory; bypassing safety checks can fix it, though it’s risky.

PyTorch-native TPU back end for vLLM

vllm-torchtpu is the PyTorch-native TPU backend for vLLM, an out-of-tree plugin that runs vLLM’s PyTorch models on Google Cloud TPUs via TorchTPU and custom JAX/Pallas kernels for attention, MoE, and quantized matmul. It preserves the standard vLLM experience with TPU-optimized kernels (Ragged Paged Attention, dense/sparse MLA, fused MoE, FP8/INT8/MXFP4) and scales across TPU slices. JAX backend is separate; torchtpu is recommended for PyTorch models. Hardware: TPU v7x (recommended); v6e/v5e experimental. Get started: Python 3.12, pip or Docker. Serve with vllm serve; cache artifacts with VLLM_XLA_CACHE_PATH. Supports many models (Llama, Qwen, GLM, Gemma) and Kubernetes multi-host deployment. Contributions welcome.

OpenAI CLI

Official CLI for the OpenAI API. The README covers installation (Homebrew, go install), setup, and a resource-based command structure (openai <resource> <subresource> <command>). It discusses authentication with OPENAI_API_KEY (and admin keys), usage examples for completions and images, file uploads, and admin endpoints. It explains output formats (json, jsonl, text), error handling, and environment variables, plus options for custom base URLs, headers, proxies, and mutual TLS. It also notes contribution guidelines and Apache-2.0 licensing.

What Is the Karakoram Anomaly?

The Karakoram Anomaly is the observed mass gains of some glaciers in the Karakoram range ( Pakistan, India, China, etc.) since the 1990s, unusual compared with glacier thinning elsewhere. Early ideas blamed debris on ice, but debris likely isn’t the sole cause. A 2020 review attributes the effect to meteorological factors, especially increased winter snowfall from westerly winds; a 2022 study notes about a 10% rise in Karakoram winter precipitation since 2000. Debates persist on the exact area, duration, and whether the behavior truly constitutes an anomaly in a warming world.

I can't believe PowerShell is good

Corbin Davenport argues that PowerShell 7, the cross‑platform successor to Windows PowerShell, is a powerful automation tool. He contrasts it with Bash, noting Bash’s boilerplate and cross‑platform quirks, while PowerShell offers built‑in cmdlets, objects, and JSON handling. He shows this with examples: a Bash mp3 downloader vs a PowerShell version using Param and Get‑Help; registry access via virtual drives; Invoke‑WebRequest for downloads; and scripts like Just the Browser and Tumblr‑to‑Eleventy that preserve metadata and produce JSON. He’s impressed and plans to keep learning.

WorldTUI: I trained a 360M model to pretend to be a terminal

WorldTUI trains a 360M-parameter model to act as a terminal by predicting screen deltas per keystroke, not text streams. Starting from a session snapshot, the model receives raw keycodes and outputs which screen rows to rewrite and the new cursor position. It runs in a browser (208 MB, WebGPU) without a real shell. Trained on 336k synthetic terminal sessions in Docker, memory and persistence are improved via a COPY row operation and self-correction (DAgger-style). It supports bash, vim, tmux, Python, and Snake, though not a reliable filesystem yet. Gains: parallel-row decoding, speculative decoding, memory accuracy 9/13. Future work.

Clockwork Mechanics, Maintenance, and Metaphors in the Late Middle Ages

Late medieval clock metaphors linked cosmic order, theology, and court politics by portraying motion as dependent on ongoing maintenance rather than self-sufficiency. Nicole Oresme likened celestial motion to a clock, yet allowed angels to move the heavens, showing tension between autonomous mechanism and divine intervention. Across authors such as Mézières, Froissart, Petrarch, and Chaucer, clocks symbolized temperance, Providence, and governance, with horologists as crucial mediators who repair and regulate. The metaphor thrived in courtly culture and reflected a shift toward Augustine-inspired views of law, grace, and human agency, reframing technology as contingent and socially embedded.

Show HN: Can you tell an AI's real 30-day memory from a fabricated one?

Kairos’ Check 1 pits a real 30-day lived memory (Test-A) against a forged autobiography (Aria) written to match length/format. Three LLM judges scored them almost identically, +0.032 within ±0.10, implying text can mimic lived memory. Passages are quoted verbatim; the living memory tests continuity, not subjective experience. Caveats: judges didn’t see the originals; the counterfeit was matched by length/format, not style. A log records what actually differentiates lived memory.

Show HN: AI-built browser games, collected in one place

Playground is a browser-based catalog of independent AI-made games. It features 700+ in-browser titles with creator credits and a play link, searchable by genre and AI model (GPT-6 Astra, Claude Opus 5.5, etc.) and device (computer or mobile). Users can submit games for review (free; reviewed before going live) and rate/review titles, with ratings updating in real time. Run by Rich Leigh, the site notes that some games require keyboard/mouse or a recent browser and uses Cloudflare analytics (no tracking cookies). Some projects include local setup info or external creator sites.

I reverse engineered a board game

An in-depth look at reverse engineering the Hitster Android app shows how QR cards map to regional Spotify/Apple Music tracks, not a single ID. The author decompiles the APK, finds a supposedly encrypted local database (gameset_database.json), and documents an AES-GCM decryption flow. They chase a secret key, XOR two 32-byte arrays to obtain a decryption string, and build a Rust decryptor to map card IDs to tracks. Ultimately, the data is publicly available at hitster-assets/gameset_database.json—no real secret. Credits to Mr.Corrupt.

Postgres recovery_prefetch can cause outages

Postgres recovery_prefetch can cause outages in synchronous replication by turning primary I/O bursts into many small random reads on replicas, dramatically increasing read IOPS and delaying WAL replay. Field reports (Feb 2021 discussion pre-merge; Mar 2025 reproduction) show standby lag or hangs when recovery_prefetch is active; disabling it (while FPWs stay on) eliminates the issue in tests. The piece explains the standby state machine and the sensitivity to streaming interruptions, and suggests disabling recovery_prefetch as a precaution and considers two standbys with quorum commit for resilience.

Using LLM for confidence scoring is a bad idea

LLMs cannot be trusted to generate reliable confidence scores because those numbers are just token continuations, not measurements of uncertainty, and they aren’t calibrated to real outcomes. Confidence should reflect the information used and be checked against what actually happened (calibration). Using a forecaster analogy, the article shows how scores drift with wording and context. To get trustworthy confidence, implement an external rule that converts observable signals into a probability, baseline it on past results, update from new data, and audit it regularly.

Made by Johno Whitaker using FastHTML