What would Dijkstra do? Proving the associativity of min | Dark Hacker News