Steven Shaw
16
Seguidores
Personal Information
Organização/Local de trabalho
Brisbane, Australia Australia
Cargo
Loves programming languages
Setor
Technology / Software / Internet
Site
steshaw.org
Marcadores
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
Ver mais
- Apresentações
- Documentos
- Infográficos