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
2,344
reputation
12
40

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
42
answers
16
questions
~80k
people reached
  • Germany
  • Member for 5 years, 2 months
  • 59 profile views
  • Last seen yesterday

Top Tags (76)

Score 56
Posts 21
Posts % 36
Score 39
Posts 20
Score 17
Posts 7
Score 15
Posts 6
Score 13
Posts 4
Score 12
Posts 4

Top Posts (58) All Questions Answers | Votes Newest

View all questions and answers

Badges (52)

Gold

Silver

12

Rarest

Bronze

40

Rarest