@gregmcintyre @Catharz Well a lot of people are failing to see that today. We can fix that.
-
-
Replying to @gregmcintyre
@gregmcintyre@Catharz It depends specifically on the program. This program is a proof of the proposition Int: scala> 71 reply 0 retweets 0 likes -
Replying to @gregmcintyre
@gregmcintyre I am not sure what you just said.1 reply 0 retweets 0 likes -
Replying to @gregmcintyre
@dibblego Likewise, I believe the definition of "programming" includes social contexts and human goals, not just lines of code.2 replies 0 retweets 0 likes -
Replying to @gregmcintyre
@gregmcintyre So do I, which is why C-H is all the more important to making sure you achieve your goals.1 reply 0 retweets 0 likes -
Replying to @gregmcintyre
@dibblego What part of that process involved any sense of a proof? How is proof defined in this case?1 reply 0 retweets 0 likes
Replying to @gregmcintyre
@gregmcintyre All of it. The word "proof" is well-defined by the study of logical systems.
11:01 PM - 15 Jul 2014
0 replies
0 retweets
0 likes
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.