Steven Shaw
16
Followers
Personal Information
Unternehmen/Arbeitsplatz
Brisbane, Australia Australia
Beruf
Loves programming languages
Branche
Technology / Software / Internet
Webseite
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
Mehr anzeigen
- Präsentationen
- Dokumente
- Infografiken