Inventing Paxos wasn't the hard part -- the hard part was proving it correct. Th...

		jldugger on Oct 27, 2020 \| parent \| context \| favorite \| on: How you could have come up with Paxos yourself Inventing Paxos wasn't the hard part -- the hard part was proving it correct. There's a reason TLA+ exists and was invented by the same researcher!