OH @dibblego | to coach a child into the belief that a computer program is a sequence of instructions is damaging and difficult to reverse
-
@dibblego@Symbo1ics What’s `print “Hello world”` a proof of? (other than a lack of creativity?) Is it useful to think of this as a proof?
-
-
@dibblego@Symbo1ics One of many. Do multiple proofs of something have benefit? Or is there value to a program separate from proof? - 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.