A longer article about my research, how AWS used formal methods – in particular TLA+ to design their outstanding services like DynamoDB, EC2 or S3.
You must have heard the term serverless. It is 2019, and everyone in IT is buzzword driven. Many of the companies are actively participating in or seriously considering taking part in the serverless revolution. Is it worth it? What is in it for you? I would like to focus on not-so-obvious advantages that the technology brings to the table – in particular, business-wise.
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!