Dear educators, You are producing self-described programmers who deny the mathematical foundations of programming. Please help.
-
-
Replying to @evolvable
@evolvable no you can't. Please stop the denial of a fact that was established decades ago. It is fucking tragic.1 reply 1 retweet 1 like -
Replying to @dibblego
@dibblego@evolvable what maths is involved in a logon screen? ( learning question, be gentle )6 replies 0 retweets 0 likes
Replying to @jonoabroad
@jonoabroad @evolvable Types are propositions, programs are proofs. Including that program. Yes even that one.
0 replies
1 retweet
2 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.