Alexander Altman

pthariensflame

Amateur software developer, student of computer science, and apprentice in type theory and foundational mathematics.

Twitter