Steven Shaw
4 SlideShares 16 Seguidores 145 Siguiendos
Personal Information
Organización/Lugar de trabajo
Brisbane, Australia Australia
Ocupación
Loves programming languages
Sector
Technology / Software / Internet
Sitio web
steshaw.org
Datos de contacto
Etiquetas
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 más

Presentaciones

(4)
Ver todo

From Commodore 64 to the Cloud — Lessons from 30 years of programming

Hace 9 años • 859 Visualizaciones

Haskell Tooling Whirlwind

Hace 8 años • 974 Visualizaciones

Conquer Cabal Hell with Nix

Hace 8 años • 519 Visualizaciones

Testing properties with QuickCheck

Hace 8 años • 585 Visualizaciones

Recomendaciones

(89)
Ver todo

Beyond Agile — Becoming a great product organization.pdf

Andy Birds • Hace 1 año

Functional, Type-safe, Testable Microservices with ZIO and gRPC

Nadav Samet • Hace 3 años

Polylog: A Log-Based Architecture for Distributed Systems

Kamil Sindi • Hace 5 años

Unikernels: Rise of the Library Hypervisor

Anil Madhavapeddy • Hace 7 años

Digital Security by Design: Security and Legacy at Microsoft - Matthew Parkinson, Microsoft

KTN • Hace 4 años

Towards Functional Programming through Hexagonal Architecture

CodelyTV • Hace 5 años

A CTO's Guide to Scaling Organizations

Randy Shoup • Hace 8 años

Leadership Without Management: Scaling Organizations by Scaling Engineers

bcantrill • Hace 10 años

Modern DevOps with Spinnaker - Olga Kundzich

VMware Tanzu • Hace 4 años

Streamly: Concurrent Data Flow Programming

Harendra Kumar • Hace 4 años

How to test infrastructure code: automated testing for Terraform, Kubernetes, Docker, Packer and more

Yevgeniy Brikman • Hace 4 años

Lessons learned from writing over 300,000 lines of infrastructure code

Yevgeniy Brikman • Hace 5 años

Reusable, composable, battle-tested Terraform modules

Yevgeniy Brikman • Hace 6 años

Comprehensive Terraform Training

Yevgeniy Brikman • Hace 7 años

Infrastructure as code: running microservices on AWS using Docker, Terraform, and ECS

Yevgeniy Brikman • Hace 8 años

Go generics. what is this fuzz about?

Gabriel Habryn • Hace 5 años

Type theory in practice

Gabriel Habryn • Hace 5 años

Nix for Python developers

Asko Soukka • Hace 8 años

High-Performance Haskell

Johan Tibell • Hace 13 años

Pulling Value Lean And Kanban

davidpeterjoyce • Hace 14 años

The Newest in Session Types

Roland Kuhn • Hace 8 años

MicroService Architecture

Fred George • Hace 11 años

Bound

Edward Kmett • Hace 11 años

Seven trees in one

Mark Hopkins • Hace 8 años

Intro To Agda

Larry Diehl • Hace 14 años

Compilers Are Databases

Martin Odersky • Hace 8 años

A Brief Talk On High-Performing Organisations

Phil Calçado • Hace 8 años

Transpiler’s are here to stay

Ryan Blunden • Hace 8 años

ATS language overview

Kiwamu Okabe • Hace 8 años

ATS/LF for Coq users

Kiwamu Okabe • Hace 8 años
Personal Information
Organización/Lugar de trabajo
Brisbane, Australia Australia
Ocupación
Loves programming languages
Sector
Technology / Software / Internet
Sitio web
steshaw.org
Etiquetas
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 más