Writing proofs is slow. Solving programming contest problems is supposed to be fast. Is there any relationship between the two?
Are top competitive programmers good at writing proofs? (answer)
I’m doing most of my writing on Quora this year. For more information, see A Project for 2020.