@psnively perhaps likely, but all of these high level phrases are sort of puzzling because their semantic content doesn't tell you much
-
@dibblego@krismicinski@psnively writing proofs (even in Agda) definitely involves different "muscles" than those used in e.g., Haskell
@copumpkin @krismicinski @psnively Yes. These are different. Like other different things. Programming remains an act of constructing proofs.
-
-
@dibblego@copumpkin@psnively what "proof" are you constructing when you write a rails app? -
@dibblego@copumpkin@psnively I am wholeheartedly 100% in agreement with you, but saying all programs are proofs hurts the cause. - Show replies
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.