Terraform: Up and Running (English Edition)作者:Brikman, YevgeniyO'Reilly MediaAmazon 読んで重要だと感じた内容を列挙します． サンプルなどソースコードは，以下のレポジトリに MIT license で公開されています． GitHub - brikis98/terraform-up-and…

Raspberry Pi には，gpio-shutdown という機能があり，GPIO を用いて簡単に電源ボタンを追加できるようです． After shutdown, the system can be powered up again by driving GPIO3 low. *1 つまり，Pin 5, 6 を短絡させれば，電源ボタンになるようです．…

pigpio というライブラリは，Raspberry Pi の GPIO に対応しています． pigpio library このライブラリは，デーモンとインターフェイスから構成されていて，ネットワークを通じてデーモンを操作することができます．つまり，開発用の高性能なパソコンにイン…

Cloud Pub/Sub の再試行の動作確認をしました．Terraform で以下のように topic と subscription を作成しました．なお，subscription は一瞬で status code 500 を返す web サーバーに push するよう設定しました． resource "google_pubsub_topic" "test" …

レーザープリンターのトナーカートリッジをCTスキャンして中身について解説する記事があります． Is this toner cartridge half empty or half full? We grabbed a low toner cartridge from our office printer and popped it into our Neptune scanner. We…

Cloud SQLは， 豊富な拡張機能コレクション、構成フラグ、デベロッパー エコシステムを備えた、MySQL、PostgreSQL、SQL Server 向けのフルマネージド リレーショナル データベース サービスです。(https://cloud.google.com/sql?hl=ja) Cloud SQL で Postgre…

SQL では，NULLに比較述語を適用すると，常にunknownになります．これは分かりにくい印象がありますが，3値論理に準拠すれば明らかです． この性質により，例えば Django で以下のように apple_id に unique と null が共存できます．ここで，apple_id は必…

Google Cloud の Workload Identity を使用して，Github Actions から認証できるように設定します． Workload Identity とは Workload Identity を設定する サービスアカウントとして認証する .github/workflows/oidc.yml 監査ログを使用する 許可する範囲を…