3 ms·
Prior discussion: https://news.ycombinator.com/item?id=20909404 https://news.ycombinator.com/item?id=20909404 Back then I told myself to check out lean one day
by est31 7y ago
Prior discussion: https://news.ycombinator.com/item?id=20909404 https://news.ycombinator.com/item?id=20909404
Back then I told myself to check out lean one day... still hasn't happened yet :/.
- dang 7y agoWe missed that earlier link, and this talk is so incredibly good that I'm going to pretend I didn't see it here and so couldn't mark it as a duplicate.
- est31 7y agoFWIW, my comment wasn't a demand to mark this as duplicate. I only included the discussion link for further reference. The thread here had very valuable comments like the one by raphlinus.