Join 3,495 readers in helping fund MetaFilter (Hide)

7 posts tagged with program and programming. (View popular tags)
Displaying 1 through 7 of 7. Subscribe:

A SAT Attack on the Erdos Discrepancy Conjecture

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 ;)
posted by kliuless on Apr 12, 2014 - 24 comments

Computerized Math, Formal Proofs and Alternative Logic

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]
posted by kliuless on Mar 16, 2013 - 25 comments

Being broken pays

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]
posted by the man of twists and turns on Sep 30, 2012 - 92 comments

When We Were Young

An oldie but a goodie: David Bennabaum on learning how to program and be a sys admin at his high school in his youth.
posted by reenum on Aug 12, 2011 - 18 comments

I learned to program...

I learned to program... [more inside]
posted by Blazecock Pileon on Apr 23, 2011 - 119 comments

How To Program

A free computer-programming course on reddit. Click "prev" for more lessons. 113 lessons so far.
posted by grumblebee on Oct 24, 2009 - 89 comments

Animata

Animata is an open source real-time animation software, designed to create animations, interactive background projections for concerts, theatre and dance performances.
posted by Blazecock Pileon on Dec 8, 2008 - 14 comments

Page: 1