Software dev at AWS, working on DSQL

Learning more about distributed systems, formal methods, living well. Trying to write software that doesn’t get me paged