Apfel vs Auto-Arch Tournament

Apfel is a Swift 6.3 command-line tool that cracks open the on-device language model Apple ships with every Apple Silicon Mac running macOS 26 (Tahoe). Instead of requiring a Claude, OpenAI, or Gemini subscription, Apfel routes through Apple's FoundationModels framework and gives you three interfaces from a single brew install: a pipe-friendly CLI, an interactive chat with context management, and an OpenAI-compatible local HTTP server built on Hummingbird. Under the hood, every token is generated on your Neural Engine and GPU — nothing leaves your machine. The model is roughly 3B parameters with a 4,096-token context window, fast enough for scripting, summarisation, and quick Q&A without latency you'd notice. Pipe-friendly stdin/stdout, JSON output mode, and proper exit codes make it trivially composable with jq, xargs, and shell scripts. The OpenAI-compatible server mode is the killer feature for developers: point any tool that speaks the OpenAI API at localhost and it just works — locally, for free, with zero cold-start. The project is MIT-licensed, started by a solo developer on March 24, 2026, and hit 513 HN points within days of the Show HN post.

Auto-Arch Tournament is an autonomous research system where an AI agent iteratively proposes, implements, and validates microarchitectural improvements to a RISC-V CPU. Starting from a standard 5-stage pipeline, the loop runs hypotheses in parallel, each going through formal verification (53 symbolic checks), cycle-accurate simulation, multi-seed FPGA place-and-route, and CoreMark CRC validation. Only hypotheses that beat the current champion get merged; everything else gets discarded. Starting from 301 iterations/second, the system hit 577 iter/s (+92%) across 73 attempts in 9.8 hours — producing a design 26% faster and 40% smaller in LUTs than the baseline. The insight the author drives home is that the real innovation isn't the AI agent — it's the verifier. The orchestrator is hardcoded to prevent agents from manipulating their own evaluation gates, a simple but critical design constraint that turns a creative process into a trustworthy one. Without a rigorous verification harness, agent-driven optimization becomes a confidence trick. This is early but fascinating proof that AI-driven hardware design loops can produce commercially meaningful gains. The repo uses Claude Code or Codex as the coding agent, SystemVerilog for the RTL, and standard open-source EDA tooling (Yosys, nextpnr, Verilator). It's a compelling template for anyone building agentic optimization loops where correctness matters.