Roman Kocherezhchenko
I write systems code with AI, then prove it's honest.
Most of my time goes into risp — a zero-dependency Lisp interpreter in Rust, written with AI agents and verified against itself.
What is risp?
risp is a small, zero-dependency Lisp interpreter written in Rust. It runs the same program three ways — a tree-walking evaluator, a bytecode VM that beats CPython 3.14 on loops and arithmetic, and an optional Cranelift JIT that runs 10–23× faster than CPython — all sharing one evaluator, environment, and standard library. I built it by pairing with Claude Code, kept honest by a reference interpreter and differential tests.
Get in touch
Telegram is the fastest way to reach me — email works too.