Bless your heart. You must be a real ray of sunshine at work.
-
-
I am. Want to join us? We write Haskell, and programming is indeed, mathematics (because of facts and stuff). No bullshit though. Lemme know.
1 reply 0 retweets 2 likes -
My first programming experience (which convinced me to pursue it as a career) was numerical methods in fortran. I get the appeal of math.
2 replies 0 retweets 0 likes -
But I’ve realized since that while math is one lens you can view programming through, if it’s the only one you use, it’s quite limiting.
2 replies 0 retweets 0 likes -
There are no facts; everything is relative to your frame of reference; rationality is a lie. Sometimes I wish the world was as easy as math.
3 replies 0 retweets 3 likes -
But it’s not. That’s what makes it beautiful though. Tradeoffs ¯\_(ツ)_/¯
1 reply 0 retweets 0 likes -
I can change your mind. I can help you understand mathematics.
1 reply 0 retweets 0 likes -
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.
2 replies 0 retweets 0 likes -
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).
1 reply 0 retweets 0 likes -
Math is a model many folks use for programming. It makes clear & obvious some aspects of it, while de-emphasizing & obscuring others.
2 replies 0 retweets 1 like
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*
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.