Talks (1323)

Watch and revisit talks from across the community

All Published Scheduled
Sort: Newest Oldest A–Z
Gradualize your language with set-theoretic types
Talk 44:00 Gradualize your language with set-theoretic types

Guillaume Duboc

Lambda Days 2024

Haskell is just the beginning
Lightning Talk 6:00 Haskell is just the beginning

Lambda Days 2024

How does a programmer think about code?
Talk 44:00 How does a programmer think about code?

Szymon Rodziewicz

Lambda Days 2024

HVM - automatically parallel functional programs
Lightning Talk 6:00 HVM - automatically parallel functional programs

Lambda Days 2024

Imagine a Dependently Typed Python
Talk 22:00 Imagine a Dependently Typed Python

Andor Pénzes

Lambda Days 2024

Keynote: Algebraic Effect Handlers with Parallelizable Computations
Keynote 48:00 Keynote: Algebraic Effect Handlers with Parallelizable Computations

Ningning Xie

Lambda Days 2024

Keynote: The Two Cultures of Artifical Intelligence
Keynote 53:00 Keynote: The Two Cultures of Artifical Intelligence

Philip Wadler

Lambda Days 2024

Lessons learnt from writing 10k LOC in Elm
Talk 32:00 Lessons learnt from writing 10k LOC in Elm

Sophie Collard

Lambda Days 2024

Lustre Universal Components: the best of Elm and Phoenix LiveView
Talk 40:00 Lustre Universal Components: the best of Elm and Phoenix LiveView

Hayleigh Thompson

Lambda Days 2024

Media streaming in the functional world
Talk 21:00 Media streaming in the functional world

Mateusz Front

Lambda Days 2024

Modelling Things with Persistent Types
Lightning Talk 6:00 Modelling Things with Persistent Types

Lambda Days 2024

My First Year in FP
Talk 22:00 My First Year in FP

Monica McGuigan

Lambda Days 2024

Programming for the Planet
Keynote 57:00 Programming for the Planet

Anil Madhavapeddy

Lambda Days 2024

Property-testing all* the things in SerenityOS
Talk 45:00 Property-testing all* the things in SerenityOS

Martin Janiczek

Lambda Days 2024

SAFE Stack: The Pit of Success for Functional Web Programming
Talk 46:00 SAFE Stack: The Pit of Success for Functional Web Programming

Isaac Abraham

Lambda Days 2024

Supercharge your tests with snapshot testing
Lightning Talk 5:00 Supercharge your tests with snapshot testing

Lambda Days 2024

Task-Oriented Functional Programming for Industrial Applications
Keynote 1:10:00 Task-Oriented Functional Programming for Industrial Applications

Rinus Plasmeijer

Lambda Days 2024

The design and (...) of embedded Domain Specific Languages
Talk 47:00 The design and (...) of embedded Domain Specific Languages

Mart Lubbers

Lambda Days 2024

The Functional Edge: Robotic Testing with Bowler Studio and Clojure
Talk 43:00 The Functional Edge: Robotic Testing with Bowler Studio and Clojure

Thomas Gebert

Lambda Days 2024

The Power of Mentoring: Nurturing Growth in the IT Industry
Talk 46:00 The Power of Mentoring: Nurturing Growth in the IT Industry

Monica McGuigan

Lambda Days 2024

The Y Combinator: developing intuition around abstract recursion
Talk 19:00 The Y Combinator: developing intuition around abstract recursion

Dave Kimber

Lambda Days 2024

Types and other techniques as an accessibility tool for the ADHD brain
Talk 48:00 Types and other techniques as an accessibility tool for the ADHD brain

Michael Newton

Lambda Days 2024

WasmRef-Isabelle: how to formally verify a not-slow interpreter...
Talk 19:00 WasmRef-Isabelle: how to formally verify a not-slow interpreter...

Maja Trela

Lambda Days 2024

Well-typed Programs Can Go Wrong:(...)Type Checkers in Compilers
Talk 23:00 Well-typed Programs Can Go Wrong:(...)Type Checkers in Compilers

Thodoris Sotiropoulos

Lambda Days 2024

What's cooking in GRiSP & Gwendal Laurent
Lightning Talk 10:00 What's cooking in GRiSP & Gwendal Laurent

Gwendal Laurent

Lambda Days 2024

Error handling in Elixir: From Blunders to Brilliance
Talk 49:00 Error handling in Elixir: From Blunders to Brilliance

Zvonimir Rudinski

Curiosum Elixir Meetup #22

A Year in Production with Machine Learning on the BEAM
Keynote 47:00 A Year in Production with Machine Learning on the BEAM

Christopher Grainger

Code BEAM Europe 2023

Against the Grain
Talk 37:00 Against the Grain

Sasa Juric

Code BEAM Europe 2023

Apocalypse How? New Rules For Writing Code in the Newfound Era of Ethical Ambiguity
Keynote 38:00 Apocalypse How? New Rules For Writing Code in the Newfound Era of Ethical Ambiguity

Randall Thomas

Code BEAM Europe 2023

BEAM: The Perfect Fit for Networks
Talk 45:00 BEAM: The Perfect Fit for Networks

Andrea Leopardi

Code BEAM Europe 2023

Becoming a Stronger Developer
Lightning Talk 6:00 Becoming a Stronger Developer

Dennis Palmer

Code BEAM Europe 2023

Bits and Pieces
Talk 16:00 Bits and Pieces

Sebastian Weddmark Olsson

Code BEAM Europe 2023

Building analytic systems with Elixir
Talk 37:00 Building analytic systems with Elixir

Dmitry Russ

Code BEAM Europe 2023

Building and growing the community
Talk 18:00 Building and growing the community

Sigu Magwa , Njoki Kiarie

Code BEAM Europe 2023

Building Jellyfish: multimedia server powered by Membrane & Phoenix
Talk 31:00 Building Jellyfish: multimedia server powered by Membrane & Phoenix

Łukasz Wala

Code BEAM Europe 2023

Building Multiplayer Tetris from scratch with OTP, Elixir, and Phoenix
Talk 28:00 Building Multiplayer Tetris from scratch with OTP, Elixir, and Phoenix

Merlin Webster

Code BEAM Europe 2023