Tony Morris

@krismicinski @copumpkin @psnively How does starting a matter of fact hurt a cause (which cause?)?

@dibblego @copumpkin @psnively if cause is to advocate FP saying "programs are proofs" is technically true but misleading in many situations

@dibblego @copumpkin @psnively because in many cases programs that many people write are proofs of nothing related to their program

@krismicinski @copumpkin @psnively That one is writing a boring proof makes it helpful to say programs are proofs so the boredom can be seen

@dibblego @copumpkin @psnively sure, but almost all code in the world is written in languages where the "proofs" are boring

@dibblego @copumpkin @psnively I think it would be *great* to change this, and I hope to, but as it stands saying programs are proofs

@krismicinski @copumpkin @psnively Agree completely. Let's change it by calling out maths deniers on their bullshizzles.

@dibblego @copumpkin @psnively well that's probably a great strategy in theory but falls apart when their bosses tell them to use rails : (