ComFreek's user avatar
ComFreek's user avatar
ComFreek's user avatar
ComFreek
  • Member for 12 years, 1 month
  • Last seen this week
Stats
28,808
reputation
4.4m
reached
503
answers
59
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
18
gold badges
104
silver badges
154
bronze badges
1,202
Score
209
Posts
37
Posts %
828
Score
125
Posts
22
Posts %
654
Score
269
Posts
48
Posts %
312
Score
78
Posts
14
Posts %
155
Score
28
Posts
5
Posts %
94
Score
19
Posts
3
Posts %