Programming is Not Rocket Science, Don't let AI Write Your Code (or Essays), Fight Back. If you must use AI, find provenance, and Attribute. GNU/Linux never loses relevance. AI makes it more powerful. C++ is Back.
Sunday, 15 December 2013
Proof Wiki
Pure mathematics is often used in proofs of program correctness. An interesting website aimed at demonstrating mathematical proof is ProofWiki.
No comments:
Post a Comment