I design, build, evolve, maintain, deploy, monitor, manage distributed systems and automate infrastructures.
Ask me about how we could use algebraic properties to test-infect our distributed systems and how using functional programming techniques can help us automate infrastructure more predictably.
Oh yeah, also ask me about how building type safe infrastructures can help save your software/infrastructure/reliability engineers' sanity.
Current Programming Languages: Scala, Erlang, Haskell, Ruby, Python.
Current interests include practical use of formal methods for verification and risk management in software delivery, congruent configuration management (e.g. NixOS), and declarative i...