Paxos has always seemed like this mythical "how do we get computers to agree on stuff" problem that I've only scratched the surface of. Really looking forward to finally understanding the basics. https://www.mydistributed.systems/2021/04/paxos.html