[amelius]

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

[JohnKemeny]

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

He's not trying to please programmers.

[amelius]

But what makes an open problem important? ;)