Tony Morris

@dibblego @Catharz When I say programming, I mean writing code that achieves some desirous effect. That may not mean proving something.

@gregmcintyre @Catharz Nope impossible. You definitely proved something.

@dibblego @Catharz When I say goal, I mean the thing I intended to accomplish before I started typing. Maybe it was to rename some files.

@dibblego @Catharz I struggle to see how modifying some bytes to suit my sense of tidyness constitutes proving something.

@gregmcintyre @Catharz Well a lot of people are failing to see that today. We can fix that.

@dibblego @Catharz My goal is "to attempt to reduce mental dissonance in my brain". What is the proof in this case?

@gregmcintyre @Catharz It depends specifically on the program. This program is a proof of the proposition Int: scala> 7

@dibblego I'm not a lexical prescriptivist, you know. I believe words mean what people think they mean.