Example of ZScaler with Python + direnv + update root certs
For those using ZScaler security products to intercept and scan TLS traffic this post shows an approach that worked for me to get Python working. ZScaler int...
Recent posts
AWS CDK and CloudFormation “Logical ID” vs. actual resource name
When I started out with CDK I was confused by the ubiquitous id parameter that all CDK resources take. I now realise this is just a handle for identifying re...
Kubernetes: Relationship between Flannel, VXLAN, and kube-proxy
Very short post to put down my understanding of some Kubernetes topics. May elaborate later.
GraphQL to find PR associated with branch
This about a mini adventure to find which PR(s) belong to which branch using GitHub GraphQL for a GitHub Action project.
Josephus - generalised binary recurrence unfolding
I have some confusion around the meaning of $b_m$ and $b_j$. I think it is as follows: