Back to 2017
@mikiobraun
Mikio Braun
@mikiobraun
Part of a thread
I didn't realize at the time but this comment changed the way I thought about algorithms and provable correctness.