Deterministic systems, verified end to end
Lean 4, Agda and cross-language proofs
Language models, checkpoints and training stacks
MCP servers, IDEs, browsers and dev tools
CUDA kernels, RTL accelerators and embedded OS