Finished Formalizing the Lindy Process | Dark Hacker News