[email protected]
AWS S3-ARG San Francisco, CA Automated reasoning for distributed systems. Deterministic does not mean predictable.
Geoff Hulette