Personal Information
Organization / Workplace
Brisbane, Australia Australia
Occupation
Loves programming languages
Industry
Technology / Software / Internet
Website
steshaw.org
Tags
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
See more
- Presentations
- Documents
- Infographics