Comment by amelius
18 days ago
> 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.
Ryan made a dent (a tiny dent) in one of the most important open problems in mathematics.
He's not trying to please programmers.
But what makes an open problem important? ;)