A longer article about my research, how AWS used formal methods – in particular TLA+ to design their outstanding services like DynamoDB, EC2 or S3.
If you are struggling with the choice of the cloud computing vendor and you are choosing between AWS and GCP, you may be interested in the following article.
I tried to show you the benefits of Amazon Web Services and when is it smarter to choose AWS over the Google’s Cloud.
Choosing the best tool for your Infrastructure as Code is not an easy task. From one hand you are aware of the risks coming from the cloud providers including vendor lock-in. From the other hand, external tools impose many limitations. How to wisely choose the proper one? Let’s find out!