Hacker News new | past | comments | ask | show | jobs | submit login

Wow, the code is written in CWEB, a literate programming system. You don't see that every day. The PDFs of the code are, from my brief scan over them, a really well-presented explanation of some seriously deep/mathematical code.

When I heard that the solution came from using 52 CPU-years of processing, I guessed that the code was a relatively boring brute-force search. But it appears I couldn't have been more wrong about that.




Join us for AI Startup School this June 16-17 in San Francisco!

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: