Stack Exchange Network

Stack Exchange network consists of 174 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,314
reputation
11
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
~78k
people reached
  • Germany
  • Member for 5 years
  • 56 profile views
  • Last seen Jan 10 at 7:45

Top Tags (76)

Score 56
Posts 21
Posts % 36
Score 37
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 (51)

Gold

Silver

11

Rarest

Bronze

40

Rarest