News for hackers. Stuff that matters.
Re:How you could have come up with Paxos yourself by ahelwer on Tuesday October 27, 2020 @08:35AM (#24906784)
At least for paxos this is more or less the standard method of explaining it, see: https://youtu.be/JEpsBg0AO6o

In paxos's case the logic is very, very simple - it's just the reasons for the logic are difficult to sort out. So teaching it iteratively works very well, because you show how simpler versions fail.

Re:How you could have come up with Paxos yourself by tralarpa on Tuesday October 27, 2020 @10:16AM (#24907622)
> So teaching it iteratively works very well, because you show how simpler versions fail.

This is, in general, a very good approach for teaching (although time consuming).