Full-stack web development, programming languages, compilers, functional programming, and type theory enthusiast.