News for hackers. Stuff that matters.

A comment on How you could have come up with Paxos yourself. Parent comment

Re:How you could have come up with Paxos yourself by mannykannot on Tuesday October 27, 2020 @09:23AM (#24907135)
The key thing about it being iterative, I think, is that it builds up the justification for seeing that this is an effective and reasonable solution, one step at a time.
[ Parent | on HN ]
Re:How you could have come up with Paxos yourself by hderms on Tuesday October 27, 2020 @10:19AM (#24907643)
Yeah it's sort of a microcosm of the general path of human learning: build a better model, shoot some holes through it, build a better model. I don't think it's any accident that the socratic method has stuck with us so long
[ Parent | on HN ]