Finished Formalizing the Lindy Process | Hacker News Reader