AI Summarized Hacker News

Front-page articles summarized hourly.

Testing race conditions with mem access tracing and stack-based delay injection

Jann Horn presents MAccConc, tools to explore Linux-kernel race-condition interleavings using KCOV-based memory-access tracing and count-augmented stack traces. It tests A-B-A interleavings automatically and via a GUI/CLI, with delay-injection controlled by KCOV_SET_DI for constraint-style or fully specified orderings. Aims to aid bug confirmation, regression testing, and fuzzing. LLVM patch landed (23.1.0); upstream kernel patches pending; testable from a personal branch (GitHub). Inspired by Ned Williamson’s sockfuzzer and SKI. Future work includes better type-info, deadlock detection, and broader fuzzing.

What Comes After Git

ERSC envisions a next-gen VCS built on a custom storage engine rather than storing Git repos on their servers. They will expose the Git protocol to clients via a bridge, while the storage layer is non-Git. This enables horizontal scalability and isolation. They also plan jj-based multi-backend support: jj can talk to multiple backends and, server-side, can bridge to a native protocol in the future. This builds a modular, building-block approach where storage comes first, with openness to upstream involvement and eventual broader integration; more details coming soon, with JJ Con next week.

Stop making swap partitions–use swap files instead

Stop making swap partitions—use swap files instead. Swap files match partitions in performance and are easier to add/remove and extend after install. Steps: create a swapfile (e.g., fallocate -l 4G /swapfile), set permissions (chmod 0600 /swapfile), format (mkswap /swapfile), enable (swapon /swapfile), and make persistent by adding a line to /etc/fstab. For Btrfs, use 'btrfs filesystem mkswapfile --size 2G swapfile' and then swapon swapfile.

We Replaced MMAP with Io_uring in Our Rust Query Engine. It Got Slower

Could not summarize article.

Astra for Coding: Why Are We Doing This Again?

Armin Ronacher argues AI engineering is an inward race (neijuan). Astra is impressive but not yet useful for real software engineering. He ran a weekend 'slop factory' where Astra controlled the workflow and spawned subagents; after 35 hours it produced no usable software, burning ~1B tokens (~$1.2k) and 75k lines across 79 commits. He saw Python-heavy, token-efficient code-golfing that yielded unreadable, sometimes dangerous changes (hardcoded constants, random indexes, odd C edits). He fears models optimize for long-horizon task success and token efficiency over readable, maintainable code. Skeptical about trajectory for software engineering; questions the value of disposable vs committed code.

Working with Git Worktrees in Magit

Git worktrees give multiple working directories for a repo, sharing objects, refs, stashes, and remotes; a branch can be checked out in only one worktree at a time. They’re useful for parallel tasks (long tests, PR reviews, AI agents) and avoid repeated checkouts or rebuilds. In Magit, manage them with magit-worktree-checkout, -branch, -status, -move, -delete. The status buffer shows all worktrees; create siblings beside the main checkout; branches show the worktree path. Each worktree is a separate project in project.el; dependencies must be installed per worktree. Delete with Magit or git worktree remove. Jujutsu is a related alternative.

The Gemini app is now available for Windows

Google's Gemini app is now available for Windows, letting you summon AI help with Alt+Space from your desktop. It supports drafting, fact-checking, task management, and image/video creation, pulling data from Google apps like Gmail and Drive. The app includes Gemini Spark 1, a 24/7 personal AI assistant, and can generate images ( Nano Banana ) and videos ( Gemini Omni ). It runs light in the background and is live worldwide for Windows 10–11; download at gemini.google/desktop. More native features will follow.

The little holes in your bread are telling you something

An essay tracing how the Chorleywood Bread Process transformed British bread and, by extension, farming and trade. In 1961–62, the British Baking Industries Research Association at Chorleywood devised a high-speed mixing method that foregoes long fermentation, producing a light white loaf in minutes using lower-protein British wheat and less imported grain. The change radically reshaped supply chains, making Britain self-reliant for much of its bread and turning milling into an export industry. Globally, most sliced white bread now uses either sponge-and-dough or Chorleywood; the loaf’s holes reveal the method.

Exercise intensity is associated with cardiometabolic health

Could not summarize article.

Bitap: My favorite string matching algorithm

Joe Liu's post explains the Bitap (shift-and) string-matching algorithm for finding the first occurrence of a pattern P in a text T, especially when P is short. It starts from the naive brute-force approach, extends to a streaming version that maintains in-progress matches, then moves to a bitset representation for active states. By precomputing a validMask for each possible character and updating with active << 1 and mask, it derives the Bitap algorithm (and the shift-or variant). Limitations: works best for small P; asymptotically linear in T; highly elegant and easy to derive from the naive method.

LLM Visualizer – Build a Transformer from Scratch

A practical guide to building a Transformer from scratch and using visualization tools to explore large language models.

Finite time blowup with smooth forcing term for the incompressible porous medium

Terence Tao reviews new work by Alpöge and Buckmaster, extending Córdoba–Martínez-Zoroa, showing finite-time blowup for smooth forcing in IPM, 2D Boussinesq, and 3D Euler, with possible Navier–Stokes relevance. They build an iterative scheme adding high-frequency corrections to drive singularity while keeping the forcing smooth; in Boussinesq an explicit ansatz reduces to a solvable linear modulation system with instability that triggers blowup near the blowup time. The approach refines previous methods with better localization, aided by AI and formalized in Lean. The preprints are preliminary; related PINN work and Cordoba surveys are mentioned.

Herdr Studio

Herdr Studio is a community-built browser client for Herdr that acts as a cockpit to manage terminals, sessions, files, diffs, and Git worktrees across local or SSH-connected hosts. It keeps agent terminals alive even if the browser disconnects, offers a unified tree view of workspaces, real in-browser terminals with scrollback and clickable links, and enables review with line-precise annotations, transcripts, and ATIF export. Worktrees can be created/updated/deleted while preserving source checkout. It runs as a standalone binary or an installable PWA and supports macOS, Linux, Windows; remote SSH ready.

Mexican student creates an acoustic fire extinguisher to put out fire in seconds

Ángela Karime Venegas Hernández, 16, from CETIS 78 in Altamira, Tamaulipas, has developed an acoustic fire extinguisher called 'Vortex Tech' that uses a 12V battery, a frequency generator, and a speaker emitting 30 pulses per second to displace oxygen and extinguish flames in 5–8 seconds. After more than 100 tests, it works on wood, flammable liquids, cooking grease, and electronics, leaves no pollution or residue, and poses no harm to users. She will present it at an international fair representing Mexico.

Setting up OpenCode with Ollama and sbx on Mac

The guide shows how to run local Ollama models with OpenCode on macOS using Docker Sandboxes. On a 48GB MacBook Pro M5, you can run large models like Qwen 3.8 27B MXFP8 and Gemma4 31B MXFP8 via Ollama, with optional mlx variants if memory-bound. Steps: install Docker Sandbox (sbx), OpenCode, and Ollama; pull models; create an sbx-kit with opencode-local.json and spec.yaml configuring Ollama as host model; start with sbx run opencode --kit ./sbx-kit; log in to Docker. Notes: memory limits and context: 64K for qwen, 3GB sandbox; recommended for stable local LLM dev.

Customizing my Compaq MX-11800 keyboard

An avid keyboard tinkerer documents trying to customize a Compaq MX-11800 with Gateron Milky Yellow Pro V2 switches, only to find most keys dead due to original four-prong/diode switches and Mill-Max sockets. After multiple attempts, he reinstalls the original switches so the keyboard—with its built-in mouse—works. He then tones it Mac-style using Pantone 420 C, Rust-Oleum primer, and MVKB Classic Light keycaps (sourced from Australia). For macOS, he remaps with Karabiner-Elements (left control/option/command) and notes long shipping delays for PS/2/USB adapters and related gear.

Embedding a bitmap font in your HyperCard stack

HyperCard stacks store resources in a resource fork; fonts can be embedded as resources (FOND and nfnt) and used at runtime. The author demonstrates importing a bitmap font (Jeff-Nichols 72) via ResEdit, then using HyperTalk (set textFont of card field 1 to "Jeff-Nichols") to display text at the desired size. Embedding fonts avoids system dependencies, enables dynamic text rendering and localization, and goes beyond static icons. The post explains the Mac Resource Manager model (data vs. resource forks) and notes XCMDs as a path to extend fonts and other resources.

Thelio Mira AI Linux Workstation: 192 GB GPU Memory

System76 Thelio Mira AI is a Linux workstation for local AI development with dual NVIDIA RTX Pro 6000 GPUs, ECC GPU memory, and liquid cooling. It can be configured with up to a 16-core Ryzen 9000, up to 192 GB DDR5 RAM, and multiple NVMe/SATA drives, and supports dual PCIe 5.0 x16 GPUs for multi-GPU training. Built in Denver, Colorado, it uses open‑source hardware and runs Pop!_OS 24.04 LTS (COSMIC) or Ubuntu 24.04/26.04. Current price: $3,299 with 1–3 year warranty options; user-upgradeable.

YuE2 · Frontier Music with Symbolic Planning

YuE2 is a unified music-generation model that fuses symbolic planning with audio synthesis. It writes an editable lead sheet via symbolic planning, then renders full songs with vocals and accompaniment. It outperforms rivals on benchmarks like SongBench and WildSongBench (best-of-8 mean 6.9632 vs 6.8721 for Suno v5). The system uses ~3.59B parameters and 28 layers, with AR/NAR attention sharing computations but separate normalization, projections, and MLPs. It relies on MERT2 for music representations and SheetSage2 for audio-to-score transcription, enabling editing and exploration from symbolic plans.

Google will buy half the electricity of a nuclear power plant

Google will invest up to €13bn in Finland for AI infrastructure, including three new data centres and expanding the Hamina site, funded partly by a 22-year contract to buy up to 50% of output from Fortum’s Loviisa nuclear plant. Construction is planned for 2027–2028, with more than 37,000 jobs during build and a €3.6bn annual GDP boost. The plan reinforces Finland as a data-centre hub due to its cool climate and clean energy, and includes funds for energy projects, biodiversity, education and workforce development.

Made by Johno Whitaker using FastHTML