Hello, I’m Intranautic. 👋 My interests include programming, compiler theory, theoretical computer science, program analysis, vulnerability research and playing CTFs.