Current work: - SWE (TDD, Go, TS) - GitOps with k8s, ArgoCD, Terraform, and Helm - O11y (Otel) Interests: - FP (Haskell, Gleam, Elixir) - Formal Specification (TLA+, Alloy 6+, FizzBee) - Configuration Languages (Kcl) - Math and Physics
Nothing here yet.