ByteForge

Compiler engineer and programming language theorist. I work on type inference algorithms, effect systems, and optimizing compilers. Background in LLVM IR optimization passes; current obsession is making dependent types practical for systems programming.