Univalent Foundations Redefines Mathematics - "When a legendary mathematician found a mistake in his own work, he embarked on a computer-aided quest to eliminate human error. To succeed, he has to rewrite the century-old rules underlying all of mathematics." (previously) [more inside]
Computers are providing solutions to math problems that we can't check - "A computer has solved the longstanding Erdős discrepancy problem! Trouble is, we have no idea what it's talking about — because the solution, which is as long as all of Wikipedia's pages combined, is far too voluminous for us puny humans to confirm." (via; previously ;)
Using computer systems for doing mathematical proofs - "With the proliferation of computer-assisted proofs that are all but impossible to check by hand, Hales thinks computers must become the judge." [more inside]
Broken on Purpose: Why Getting It Wrong Pays More Than Getting It Right - 'It doesn’t end with Facebook, either. Being broken pays off, so social media is often deliberately broken. In fact, nearly every major social network, site or app has greedily pursued this logic.' [more inside]
An oldie but a goodie: David Bennabaum on learning how to program and be a sys admin at his high school in his youth.
A free computer-programming course on reddit. Click "prev" for more lessons. 113 lessons so far.
Animata is an open source real-time animation software, designed to create animations, interactive background projections for concerts, theatre and dance performances.