cotalks.dev

Kubernetes Operators: Safety First Through Model Checkers - Neven Miculinic, grid.ai

(link)