Stack Exchange Network

Stack Exchange network consists of 175 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange
631
reputation
6
18

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
16
answers
4
questions
~14k
people reached
  • Germany
  • Member for 7 years
  • 27 profile views
  • Last seen yesterday

Top tags (31)

Score 15
Posts 12
Posts % 60
Score 12
Posts 5
Score 6
Posts 4
Score 6
Posts 1
Score 5
Posts 5
Score 5
Posts 5

Top posts (20) All Questions Answers | Votes Newest

View all questions and answers

Badges (24)

Gold

Silver

6

Rarest

Bronze

18

Rarest