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