Steven Shaw

haskell package-management software-verification quality-assurance formal-methods testing quickcheck build-systems package-systems devops operating-systems packages tech-radar heroku halcyon configuration-management atom text-editors idris caml agda paas docker kubernetes nixos nix linux modules cloud programming distributed-systems ocaml dependent-types programming-languages