Its important to have a distributed consensus protocol like Paxos, which has been validated, as a lego block in building any larger system. We need a lot more

Its important to have a distributed consensus protocol like Paxos, which has been validated, as a lego block in building any larger system. We need a lot more of those well engineered, proven, validated lego blocks. Memory safety is a cross cutting concern which makes all those lego blocks much safer. We are about 30 years behind the curve and have a lot of ground to make up. That doesn't make these efforts useless, that just means that we need 10 times the effort.