The damage you did to the community is far greater than not having the conf at all.
-
I went deep on math in college. I understand it pretty well. Ultimately, though, as a way to view programming, I found it too limiting.
Bless your heart. You must be a real ray of sunshine at work.If you limit yourself to believing types are not propositions, or that programs are not proof, you're not just a little bit wrong. It's factually wrong (facts do indeed exist).
-
-
Math is a model many folks use for programming. It makes clear & obvious some aspects of it, while de-emphasizing & obscuring others.
-
If you limit yourself by denying this fact, that mathematics is programming in that context (C-H Correspondence), you're simply denying a fact. *shrug*
End of conversation
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.