![](https://www.aviator.co/blog/wp-content/uploads/2023/10/TLA_logo_splash_image.png)
In this article, we use TLA+ to create a basic merge queue system.
![openid connect](https://www.aviator.co/blog/wp-content/uploads/2023/09/openid-connect-768x424.jpg)
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.
![](https://www.aviator.co/blog/wp-content/uploads/2023/08/Screenshot-2023-08-15-at-12.36.08-PM-768x435.jpg)
In this article, we will dive into the Git internals and see how files are actually compressed and stored there.
![](https://www.aviator.co/blog/wp-content/uploads/2023/07/Screenshot-2023-07-26-at-1.45.38-PM-1-768x430.png)
This article provides the basic mental model that is behind Google Cloud Platform’s (GCP) Identity and Access Management (IAM).
![](https://www.aviator.co/blog/wp-content/uploads/2023/05/postgreSQL-privileges-1-768x430.jpg)
This post will explain how the PostgreSQL privilege system works and how to see the current ACLs for various objects.