943
reputation
2
11
17

ComFreek

“Measuring programming progress by lines of code is like measuring aircraft building progress by weight.”
Bill Gates

I love and using cutting-edge features of next-gen !
Apart from these practical interests, more theoretical subjects such as type and proof theories fascinate me as well. Especially their application to (automated) theorem provers (Coq, Metamath) and to real-world programming languages.

Favorite answers...

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

If you're that far: here are some nice code snippets I've written

Some funny names other people gave me

  • ComFreak (with "ae")
  • CompFreek
  • ComicFreek
  • CornFreek
  • ComFreeh
5
answers
11
questions
~87k
people reached
  • Germany
  • Member for 6 years, 10 months
  • 41 profile views
  • Last seen Jul 30 at 16:28

Top tags (29)

Score 7
Posts 1
Posts % 6
Score 7
Posts 1
Score 6
Posts 2
Score 6
Posts 2
Score 4
Posts 2
Score 3
Posts 2

Top posts (16)

View all questions and answers

Badges (30)

Gold

2

Rarest

Silver

11

Rarest

Bronze

17

Rarest