3 ms·
That Lamport and his current company are using TLA+ does not surprise me ;-) AWS is interesting. Before jepsen and similar stuff we used to have to take the ven
by makmanalp 8y ago
That Lamport and his current company are using TLA+ does not surprise me ;-) AWS is interesting. Before jepsen and similar stuff we used to have to take the vendor's word on a lot of claims. Hopefully the attitude there is changing towards more public self-verification (releasing stuff this) and then independent external verification!