Skip to main content
New
Stack Overflow Jobs powered by Indeed: A job site that puts thousands of tech jobs at your fingertips (U.S. only). Search jobs
ComFreek's user avatar
ComFreek's user avatar
ComFreek's user avatar
ComFreek
  • Member for 11 years, 11 months
  • Last seen more than a week ago
Stats
591
reputation
67k
reached
9
answers
7
questions
Loading…
About

About me

I am a Computer Science M. Sc. student (they/them). 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.

For more info and publications, see my academic website and personal website.

More hobby-wise, I am dabbling in the Coq Proof Assistant and, e.g., formalized my own flavor of an ontology language and a lambda calculus with de Bruijn indices.

Programming-wise, I also fancy the latest TypeScript/ECMAScript. And I like writing/autogenerating syntax highlighters that succeed on over 15k lines of code.

Feel free to reach out (by posting an issue here)! I always love hearing and chatting about cool things.

Favorite answers...

...either because they are funny, stunning or the best factually correct explanation I've ever found!

“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")
  • CompFreek
  • ComicFreek
  • CornFreek
  • ComFreeh
2
gold badges
7
silver badges
25
bronze badges
13
Score
2
Posts
12
Posts %
13
Score
1
Posts
6
Posts %
9
Score
4
Posts
25
Posts %
9
Score
1
Posts
6
Posts %
7
Score
1
Posts
6
Posts %
7
Score
1
Posts
6
Posts %
Top posts
View all questions and answers