#Code Mesh LDN 2019

Media

Lucet: Safe WebAssembly Outside the Browser /// Tyler McMullen

Write your own container, for fun and no profit! /// Gargi Sharma

Capability Driven Requirements Engineering /// Natalia Chechina

Your Brain on Software Development /// Fahran Wallace

Do fish have legs: language design for the commercial coder /// Yilin Wei

Can you make that smaller? An introduction to test-case reduction /// David MacIver

Visualising concurrency with Kotlin /// Alexey Soshin

want don't You consistency no stinking /// Greg Young

What is a computer program? Historical and philosophical reflections /// Liesbeth De Mol

In defence of uncertainty /// Abeba Birhane

What you needa know about Yoneda /// Jeremy Gibbons

Purescript on the BEAM; Typed OTP for greatness /// Rob Ashton

Revisiting pattern match overlap checks in Haskell /// Simon Peyton Jones

SimGen - a new simulation language /// Anne Ogborn

Abstract data types in the region of abysmal pain, and how to navigate them /// Zainab Ali

The art of challenging assumptions /// Maxim Fedorov

Bare Metal from a Hardware Perspective: Embedded Frameworks & Build Systems /// Omer Kilic

Misadventures with Terraform /// Matthew Revell

Lumen - Bringing the BEAM to WebAssembly and Beyond /// Paul Schoenfelder

Bourdieu's social theory applied to tech /// Romeu Moura

Marlowe: financial contracts on Blockchain /// Simon Thompson

Quantitative program reasoning in Granule via graded modal types /// Dominic Orchard

Gleam: Lean BEAM typing machine /// Louis Pilfold

How to specify it! A guide to writing properties of pure functions /// John Hughes

BACK TO ALL MEDIA