Modeling a merge queue with TLA+
In this article, we use TLA+ to create a basic merge queue system.
Modeling a merge queue with TLA+
In this article, we use TLA+ to create a basic merge queue system.
Masaya Suzuki
Software engineer @ Aviator
Using OpenID Connect to replace CI/CD credentials
In this post, we'll take a closer look at using OpenID Connect to to replace credentials instead of storing them in the CI/CD platform.
How Git compresses files
In this article, we will dive into the Git internals and see how files are actually compressed and stored there.
Understanding the mental model behind GCP IAM: from identities to hierarchy
This article provides the basic mental model that is behind Google Cloud Platform’s (GCP) Identity and Access Management (IAM).
PostgreSQL roles and privileges explained
This post will explain how the PostgreSQL privilege system works and how to see the current ACLs for various objects.
Subscribe
