I am a Computer Science M. Sc. student. My research interests are knowledge representation and processing of math, and lately also programming language theory.
I contribute to the MMT project (UniFormal/MMT on GitHub), a larger research software written in Scala which lets you formalize a broad range of formal knowledge: math, logic, type theory, and foundations. MMT and many of its algorithms are foundation-independent: with bare MMT, you don't even have natural numbers, let alone functions. The beauty is versatility; the challenge generality.
Feel free to reach out (by posting an issue here)! I always love hearing and chatting about cool things.
... either because they are funny, stunning or the best factually correct explanation I've ever found!
More regex fun (disclaimer: by myself)
“Measuring programming progress by lines of code is like measuring aircraft building progress by weight.”
— Bill Gates
Some funny names other people have given me
- ComFreak (with "ae")