zlacker

>>makira+(OP)
> Williams’ proof established a mathematical procedure for transforming any algorithm — no matter what it does — into a form that uses much less space.

Ok, but space is cheap, and we usually want to trade processing time for space.

I.e., the opposite.

>>ameliu+sw1
Ryan made a dent (a tiny dent) in one of the most important open problems in mathematics.

He's not trying to please programmers.

>>JohnKe+ZB1
But what makes an open problem important? ;)