Hacker News new | past | comments | ask | show | jobs | submit
Someone should take the sub-exponential proof & write something executable.