All media

MIXED ONLY VIDEOS ONLY ARTICLES

ALL

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

Microservices with Elixir /// Rodrigo Nonose

Gleam: Lean BEAM typing machine /// Louis Pilfold

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

Let's get more women into computer science /// Mary Sheeran

A landscape of unintended consequences /// Sarah Allen

Breaking black-box AI /// Evelina Gabasova

Day 1: The Tyranny of the Rocket Equation

Day 1: The Tyranny of the Rocket Equation

Article by Stavros Aronis

Day 1: The Tyranny of the Rocket Equation

READ MORE

Literary Theory looks at readable code /// Alvaro Videla

Correctness proofs of distributed systems with Isabelle /// Martin Kleppmann

Decomposing container tools - about Swiss Army Knives and containers /// Valentin Rothberg

AI for social responsibility: embedding principled guidelines into AI systems /// Veronica Dahl

#Code Mesh LDN 2019

<
1
…
18
19
20
…
49
>