currently going through cs ft. math w/ phil @ cornell a∧s | "The most painful type of factory is a factory making factory"
I'm really interested in theoretical computer science and the deep rooted intersection between mathematics and computer science (especially with programming languages!) I want to learn more about category theory and type theory. During my free time I enjoy good movies and some normal music.