Hammock-driven Development: Andrew Wiles, on how he solved Fermat's Last Theorem | Hacker News Reader