RISC-V VM Speedrun Benchmark Agent benchmark
A systems optimization challenge for coding agents to build the fastest conformant RV32IM virtual machine, testing architectural judgment across interpreter, JIT, and AOT designs.
Selected Work
AI evaluation, systems, protocol, and developer-tool work.
Benchmarking & Evaluation
Terminal-Bench 3 Agent benchmark
Authored and upstreamed rs-archive-clone, a clean-room reimplementation task with a Rust oracle, hidden verifier, and agent-run difficulty calibration.
Darc Developer tool
A Rust CLI that indexes Codex and Claude Code rollouts into SQLite for structured search, agent-behavior analysis, and exact recovery of prior engineering context.
Systems & Protocols
FastRoll Protocol client
A Rust client for the JAM protocol implemented directly from the Gray Paper. Passed Milestone 1 conformance fuzzing across 1.3 million generated blocks with valid post-states.
JAM Gray Paper Protocol specification
Review protocol upgrades, resolve ambiguities, and author specification corrections across PVM semantics, state transition, erasure coding, and serialization.