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
(4)Likes
(90)Capabilities for Resources and Effects
Martin Odersky
•
1 year ago
Beyond Agile — Becoming a great product organization.pdf
Andy Birds
•
1 year ago
Functional, Type-safe, Testable Microservices with ZIO and gRPC
Nadav Samet
•
3 years ago
Polylog: A Log-Based Architecture for Distributed Systems
Kamil Sindi
•
5 years ago
Unikernels: Rise of the Library Hypervisor
Anil Madhavapeddy
•
7 years ago
Towards Functional Programming through Hexagonal Architecture
CodelyTV
•
5 years ago
A CTO's Guide to Scaling Organizations
Randy Shoup
•
8 years ago
Leadership Without Management: Scaling Organizations by Scaling Engineers
bcantrill
•
10 years ago
Modern DevOps with Spinnaker - Olga Kundzich
VMware Tanzu
•
4 years ago
Streamly: Concurrent Data Flow Programming
Harendra Kumar
•
4 years ago
How to test infrastructure code: automated testing for Terraform, Kubernetes, Docker, Packer and more
Yevgeniy Brikman
•
4 years ago
Lessons learned from writing over 300,000 lines of infrastructure code
Yevgeniy Brikman
•
5 years ago
Reusable, composable, battle-tested Terraform modules
Yevgeniy Brikman
•
6 years ago
Comprehensive Terraform Training
Yevgeniy Brikman
•
7 years ago
Infrastructure as code: running microservices on AWS using Docker, Terraform, and ECS
Yevgeniy Brikman
•
8 years ago
Go generics. what is this fuzz about?
Gabriel Habryn
•
5 years ago
Type theory in practice
Gabriel Habryn
•
5 years ago
Nix for Python developers
Asko Soukka
•
8 years ago
High-Performance Haskell
Johan Tibell
•
13 years ago
Pulling Value Lean And Kanban
davidpeterjoyce
•
14 years ago
The Newest in Session Types
Roland Kuhn
•
8 years ago
MicroService Architecture
Fred George
•
11 years ago
Bound
Edward Kmett
•
11 years ago
Seven trees in one
Mark Hopkins
•
8 years ago
Intro To Agda
Larry Diehl
•
14 years ago
Compilers Are Databases
Martin Odersky
•
8 years ago
A Brief Talk On High-Performing Organisations
Phil Calçado
•
8 years ago
Transpiler’s are here to stay
Ryan Blunden
•
8 years ago
ATS language overview
Kiwamu Okabe
•
8 years ago
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