##
8 posts tagged with Programming *and* program.

Displaying 1 through 8 of 8. Subscribe:

## HoTT Coq

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]

## 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 ;)

## 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]

## 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]

## 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.

## I learned to program...

## How To Program

A free computer-programming course on reddit. Click "prev" for more lessons. 113 lessons so far.

## Animata

Animata is an open source real-time animation software, designed to create animations, interactive background projections for concerts, theatre and dance performances.

Page:
1