Masaya Suzuki

Modeling a merge queue with TLA+

October 27, 2023

Using OpenID Connect to replace CI/CD credentials

September 11, 2023

How Git Compresses Files

August 15, 2023

Understanding the mental model behind GCP IAM: from identities to hierarchy

July 26, 2023

PostgreSQL roles and privileges explained

May 31, 2023