Auto-Arch Tournament vs Tokemon

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.

Tokemon is a lightweight macOS application that solves a surprisingly annoying problem: tracking token consumption across multiple AI services without refreshing half a dozen dashboards. It runs as a native menu bar app and displays a floating always-on-top overlay showing real-time usage metrics from Claude, OpenRouter, Amp, and ChatGPT — all in one place, updating every 60 seconds. The technical approach is straightforward but effective. Tokemon polls each service's usage API endpoint using credentials stored locally in `~/.config/tokemon/config.json`. Claude requires an org ID and session cookie, OpenRouter uses an API key, and others use bearer tokens. No data leaves your machine beyond the direct API calls — there's no external server, no telemetry, no account required. The design is intentionally extensible: adding a new service means adding a new entry in the config file. With the Claude Code Pro Max quota controversy making waves on Hacker News — users burning through $200/month plans in 90 minutes due to cache miss behavior — Tokemon's timing couldn't be better. For any developer juggling multiple AI subscriptions, having an always-visible token counter changes how you work: you start thinking about token budgets in real-time rather than discovering overages after the fact. The Apache 2.0 license and local-only architecture make this a trustworthy install. Small tool, real problem.