What would Dijkstra do? Proving the associativity of min by from Hacker News on 2020-03-11 19:32 (#50JQS) Comments