The epiphany for me this week was a long list of rabbit holes from this long post: https://news.ycombinator.com/item?id=47324054 https://news.ycombinator.com/i

The epiphany for me this week was a long list of rabbit holes from this long post: https://news.ycombinator.com/item?id=47324054 https://news.ycombinator.com/item?id=47324054 https://medium.com/@acidflask/this-guys-arrogance-takes-your-breath-away-5b903624ca5f https://medium.com/@acidflask/this-guys-arrogance-takes-your... https://www.cs.utexas.edu/users/EWD/transcriptions/EWD06xx/EWD692.html https://www.cs.utexas.edu/users/EWD/transcriptions/EWD06xx/E... https://www.cs.utexas.edu/~EWD/transcriptions/EWD06xx/EWD638.html https://www.cs.utexas.edu/~EWD/transcriptions/EWD06xx/EWD638... https://www.cs.umd.edu/~gasarch/BLOGPAPERS/social.pdf https://www.cs.umd.edu/~gasarch/BLOGPAPERS/social.pdf https://blog.computationalcomplexity.org/2021/06/i-went-to-debate-about-program-verif.html https://blog.computationalcomplexity.org/2021/06/i-went-to-d... https://6826.csail.mit.edu/2020/papers/noproof.pdf https://6826.csail.mit.edu/2020/papers/noproof.pdf https://news.ycombinator.com/item?id=9948767 https://news.ycombinator.com/item?id=9948767 Now I have no illusions about who looked stupid and who were stupid. It really doesn’t matter. The jury is still out.