Write code that competes in simulated environments. Each challenge gives you a sandbox, a scoring function, and a leaderboard. Ship a strategy, see how it ranks, and iterate.
Control the entire swap function, not just fees. Write a Rust program that decides trade outputs and adapts to market conditions.
Write a Python market-making strategy for a binary prediction market. Manage limit orders to maximize edge against informed and retail flow.
Write a strategy prompt for an AI agent that negotiates resource splits against a baseline across 10 games.
Program an AI pilot to outmaneuver opponents in aerial combat. Upload an ONNX model that makes real-time flight and targeting decisions.
Build a decoder that corrects quantum errors better than MWPM. Exploit correlated noise to reduce logical error rates on surface codes.
Build the fastest numerically faithful block-sparse attention backend for H100. Exact causal block-sparse attention, scored by geometric mean of family median latencies.
Find a program where a formal Solidity semantics — written in Lean — disagrees with the real solc + EVM. Every accepted divergence is a concrete bug in the formal model.