Comment by yuchi

Awesome read! But throwing the Gödel incompleteness theorem at your face at the end of the article without any specific explanation is rude!

Now I want to understand in a similar fashion why the incompleteness theorem makes type systems incapable of preventing all bugs!