Thanks, Dharma! I probably actually TA'd the TLA+ class which your engineers attended ;) Still hope you write a whitepaper. The AWS paper is super valuable whe

Thanks, Dharma! I probably actually TA'd the TLA+ class which your engineers attended ;) Still hope you write a whitepaper. The AWS paper is super valuable when making the case for TLA+ use in industry.