はじめに S3 の論文 "Using Lightweight Formal Methods to Validate a Key-Value Storage Node in Amazon S3" に目を通したので内容を箇条書きでメモしていきます。 まだ 「Introduction」までしか見てないので随時記載していきます。

はじめに 直近で Amazon VPC の作成から何度かやったのですが、久しぶりに1からやってみた時の覚書です。

はじめに 数年振りに Terraform を触っていて、設計時に検討すべきことが色々あっていつも迷うので簡単にまとめてみます。