AI Summarized Hacker News

Front-page articles summarized hourly.

Reverse Engineering an ASIC

An article on reverse‑engineering a Jane Street puzzle ASIC from a GDS file and IO traces. It explains identifying the SkyWater 130nm process from cell names, mapping layers and transistors to gates and 92 flip‑flops, and turning the GDS into a netlist, then simulating against example_inputs.vcd. The final part deduces the circuit’s purpose: a Star Battle validator on an 11×11 grid partitioned into 11 regions, with two items per row, column, and region, none touching, totaling 22. Region analysis yields a solvable mapping; outputs are eight bits (O) and a success flag.

How to Build a Printer

An engineer converts a Xteink X3 e‑ink reader into a network printer using IPP. He defines capabilities (monochrome, 300 dpi) and enables Bonjour discovery for macOS printing. With only 400 KB RAM, he streams a 300-dpi page by decoding and shrinking pixels directly into the display RAM, avoiding large buffers. The page is saved as BMP on the SD card; printing shows it quickly. The device runs a printer server, can join Wi‑Fi or act as an access point (literate-penguin), and prints a manga page from Preview in about a second. Code is in the CrossPoint fork.

Large Language Models Develop Novel Social Biases Through Adaptive Exploration

OpenReview prompts users to complete a browser verification to continue; if you have an OpenReview account you can sign in to skip the check. The platform emphasizes open peer review, open publishing, and open access.

'Lake America' makes one thing clear: We can't trust U.S. tech companies

Could not summarize article.

Trey Parker and Matt Stone Are Changing the Name of South Park to South America

Following an Emmy win for Outstanding Animated Program, South Park creators Trey Parker and Matt Stone announced they are renaming the show SOUTH AMERICA, inspired by Apple and Google, and thanked Paramount. The 29th season premieres Sept. 16 at 10 p.m. ET/PT on Comedy Central, with new episodes streaming on Paramount+ worldwide and next-day availability in the U.S., Canada, and Australia.

Tracing np.add, all the way down

The post traces np.add(a,b) from Python into NumPy internals, via ufunc_Generic_fastcall, overrides (__array_ufunc__), promotion and dispatch to a specific loop, and finally to the SIMD-accelerated inner kernel DOUBLE_add. It notes that np.add is a ufunc with 22 type loops; for two float64 arrays the path resolves to the dd->d loop, choosing between a trivial single-call path or a general iterator (NpyIter). The inner loop is template-generated and CPU-feature dispatched, with a legacy inner-loop wrapper, and a refactor that caches the chosen loop on the ArrayMethod. It mentions free-threaded Python and the override hook.

OpenAI fought dirty on career-making math problem

NYU math professor Tristan Buckmaster and Anthropic's Levent Alpöge announced three proofs toward the Navier–Stokes existence and smoothness problem, using Codex and Claude. As they finished, OpenAI reportedly solved the problem first and published a full proof via an unreleased next‑gen model after about 300 billion tokens of compute ($22.5M). Buckmaster alleges OpenAI had information on their progress and used its advantage to beat them; OpenAI says they did not access their specific work, though de-identified data from Codex usage could have aided models. The dispute fuels the AI‑in‑math debate.

Animation in Bevy: The Big Picture

The article explains how to animate a 3D Bevy model using AnimationPlayer and AnimationGraph. It outlines a mental model: two inputs (a spawned model and an animation). Bevy uses AnimationPlayer (a component on the model’s entity or its hierarchy) and AnimationGraph (holding animations, with NodeIndex). To play, attach an AnimationGraphHandle to the same entity as the AnimationPlayer and call play(index). A code walkthrough shows loading a glTF animation with AnimationGraph::from_clip, obtaining the graph and index, loading and spawning the mesh, locating the AnimationPlayer among descendants, attaching the graph handle, and starting looping playback.

Tyranny of Optionality

A Harvard study shows mind-wandering lowers happiness; staying focused—even on tedious tasks—yields more satisfaction. For high-potential people in tech, endless optionality sparks constant career wandering, comparisons, and opportunity costs, making it hard to commit to the present. The internet fuels fantasies of unicorn startups and bigger payoffs, but imagined futures rarely deliver. The cure is presence: commit to your current role, dive deep, build real relationships, and find meaning where you are; you are exactly where you’re meant to be.

Mercury 2.5

Mercury 2.5 is Inception’s most capable production model, delivering a 40% intelligence lift over Mercury 2 while maintaining low latency and cost. It’s a large diffusion LLM, rivaling frontier models like GPT-5.6 Luna Low, Gemini 3.5 Flash-Lite, and Claude Haiku 4.5. It runs at 1,107 tokens/sec on NVIDIA GPUs with 260K token context; pricing: $0.20 input, $0.75 output per million, with launch pricing: $0.04 input, $0.15 output per million. Features include tunable reasoning, parallel tool calls, and schema-aligned JSON. Used in search, voice, coding; available via Inception API, Baseten, OpenRouter; enterprise options exist. A next model is in progress.

Kimi K3 (2.8T) at 1 token/s on a MacBook Pro, streamed from four SSDs

Deltafin: ARGODRIVE Deltafin is a fork of gavamedia/deltafin that streams the full 2.8T Kimi K3 MoE from SSDs on Apple Silicon, preserving all 16 experts with no pruning. It adds the ARGODRIVE storage work and a benchmark package, aiming to run the complete K3 on consumer hardware with no quality sacrifices. The repo covers installation (full model or streaming), optional DSpark and Qwen add-ons, upgrade paths, and an OpenAI-compatible server for chat/completions, plus benchmark results and credits. MIT licensed; independent project.

Function Arguments Are Not Function Colors

Defines function color as a change that must propagate to all callers in a stack, not just the immediate parent. Normal changes can be encapsulated and stop short of the top; colors force widespread changes. Go's context often appears as a color, but practical changes are typically isolated, with callers adapting via known wrappers. Partial coloring (as in Haskell STM) shows color-like constraints that don't reach the program's top level. Async behavior varies by language; color status is a spectrum, not an absolute property.

Implementation of GCC's Nested Functions (vs. C++ Lambdas)

GCC implements nested functions by collecting all parent variables they access into a synthetic frame and passing a pointer to that frame as a hidden argument. Accesses are rewritten to f->member. This decouples the nested function from other compiler parts and lets the frame be optimized like normal data. If several nesting levels exist, frames chain. Compared with C++ lambdas, nested functions are regular functions; both are closure-like, but GCC often shares one frame for multiple nested functions, while lambdas create separate closure objects. Conclusion: nested functions are a subset of lambda semantics.

ChatGPT Images 2.5

Could not summarize article.

100s of flights cancelled at UK airports due to ATC issue

Hundreds of flights were cancelled and many more delayed across the UK after a fault in the air traffic control group Nats’ flight processing system. A fix was deployed, but recovery is taking longer than hoped, with Heathrow, Manchester and East Midlands among affected airports and delays across Scotland and Ireland. Ryanair said about 65,000 passengers were delayed up to eight hours; British Airways warned of a significant knock-on impact. Airports ran trials with some aircraft as passengers faced long queues, diversions and disrupted travel plans.

Muse: Meta's personal AI agent, features and capabilities

Could not summarize article.

Replacing a Rust Enum with a 64-Bit Word Made My Interpreter 17% Faster

Maxime Chevalier-Boisvert explains refactoring Plush VM Value from a 16-byte Rust enum to a 64-bit tagged word, using low-bit tagging: fixnums (62-bit), flonums with self-tagging, immediates, and two pointer kinds. This eliminates heavy enum storage, reduces memory and improves cache locality; floats encoded with bias allow direct boxing/unboxing; fast paths unify many operations; benchmark results show every test faster, often significantly, due to better register usage and fewer spills; some boxing remains in edge cases like left shifts; minor memory regressions in sha256_unfixed resolved with small changes; future work: register-based interpreter and JetLISP; a game demo exists.

Onionspector – now let's see what The Onion knows about you

0ut3r.space is showing a 520 error: Cloudflare cannot connect to the origin server, so the page cannot be displayed. Visitors should retry in a few minutes. Owners should check the origin server and Cloudflare cache; Cloudflare is investigating. To help, submit origin logs to Cloudflare support with the Ray ID: a37fbc049a0febed.

OUI-1: world's first model for Generative UI

OUI-1 is an open-weight DiffusionGemma finetune that writes interfaces in OpenUI Lang, designed to run on consumer hardware. With 26B parameters (4B active) and FP8, weights on Hugging Face, it achieves 71.7% on the Generative UI Benchmark, vs 13% for the base. Trained in three phases: supervised fine-tuning, self-distillation, and generalization across 27 libraries. It delivers fast, reliable on-device UI generation (<1s) and generalizes to new libraries (AppLess 55/60 valid outputs vs 23/60 for DiffusionGemma). Directions: personal devices, OpenUI Lang 0.5, lower latency.

Hire Every Engineer Like You'd Hire a VP

Hiring engineering like an executive search means starting with a written, ranked 'excellent' spec for the role and mapping a small list of people who fit. Move from a generic funnel to a people-centered process: a network asks for names, not broad outreach; build a shortlist from candidates who keep appearing in your circle. Test candidates by working with them on real problems, not just interviews; let both sides judge fit. Close with a fair offer early, stay in touch through onboarding, and nurture team talent density. Start with one role and scale.

Made by Johno Whitaker using FastHTML