Independent researcher. Building deterministic harnesses for AI code generation. S-expr → Typed IR → Rust. GitHub: github.com/RuoqiJin | X: @RuoqiJin