Talks (2040)

Watch and revisit talks from across the community

All Published Scheduled

Sort: Newest Oldest A–Z

Keynote: Functorio - Having Fun with Functional Programming

Keynote 49:00 Keynote: Functorio - Having Fun with Functional Programming

Bartosz Milewski

Lambda Days 2021

Keynote: Hardware as Software

Keynote 1:05:00 Keynote: Hardware as Software

Lambda Days 2021

Keynote: Humane Tech

Keynote 59:00 Keynote: Humane Tech

Karolina Iwańska , Kamil Grondys

Lambda Days 2021

Keynote: Programming Languages in Agda = Programming Language Properties

Keynote 53:00 Keynote: Programming Languages in Agda = Programming Language Properties

Lambda Days 2021

Keynote: Writing Good Programs in Functional Languages

Keynote 54:00 Keynote: Writing Good Programs in Functional Languages

Perdita Stevens

Lambda Days 2021

Multicloud Bindings from Web Pages

Talk 25:00 Multicloud Bindings from Web Pages

Michał J. Gajda

Lambda Days 2021

Program Equivalence in Sequential Core Erlang

Talk 25:00 Program Equivalence in Sequential Core Erlang

Dániel Horpácsi , Péter Bereczky

Lambda Days 2021

Reimplementing the Wheel: Teaching Compilers with a Twist

Talk 26:00 Reimplementing the Wheel: Teaching Compilers with a Twist

Dmitry Boulytchev

Lambda Days 2021

Secrets of Type Driven Program Synthesis

Talk 50:00 Secrets of Type Driven Program Synthesis

Lambda Days 2021

Sound on BEAM: Music in the Land of Distributed Lisp

Talk 25:00 Sound on BEAM: Music in the Land of Distributed Lisp

Duncan McGreggor

Lambda Days 2021

Teaching Automated Reasoning and Formally Verified Software

Talk 25:00 Teaching Automated Reasoning and Formally Verified Software

Jørgen Villadsen

Lambda Days 2021

Teaching Programming to Novices Using the codeBoot Environment

Talk 26:00 Teaching Programming to Novices Using the codeBoot Environment

Olivier Melançon

Lambda Days 2021

Toward Automated Feedback in HtDP-based Programming: A DSL Approach

Talk 25:00 Toward Automated Feedback in HtDP-based Programming: A DSL Approach

Lambda Days 2021

Translating Lambda Calculus into C++ Templates

Talk 27:00 Translating Lambda Calculus into C++ Templates

Lambda Days 2021

Simplifying Systems with Elixir

Talk Simplifying Systems with Elixir

A Journey to the Center of the BEAM

Talk 42:00 A Journey to the Center of the BEAM

Async Jobs in Phoenix

Talk 19:00 Async Jobs in Phoenix

George Guimaraes

Code Generation in Elixir

Talk 44:00 Code Generation in Elixir

Concurrency + Distribution = Scalability + Availability

Talk 46:00 Concurrency + Distribution = Scalability + Availability

Francesco Cesarini

Giving Back: Building Your First Package

Talk 19:00 Giving Back: Building Your First Package

Brian Cardarella

Letting the Phoenix Fly in Production

Talk 19:00 Letting the Phoenix Fly in Production

Micropatterns: Learning to Reach Quickly for the Right Tool

Talk 37:00 Micropatterns: Learning to Reach Quickly for the Right Tool

Real World Elixir Deployment

Talk 41:00 Real World Elixir Deployment

The Climb: Experiencing the Rise of Elixir from the Inside

Talk 49:00 The Climb: Experiencing the Rise of Elixir from the Inside

The Journey to Elixir in Production (at Scale)

Talk 24:00 The Journey to Elixir in Production (at Scale)

A Beginner's Guide to TLA+ Exploring State Machines & Proving Correctness | Jeff Weiss | Code BEAM V

Talk A Beginner's Guide to TLA+ Exploring State Machines & Proving Correctness | Jeff Weiss | Code BEAM V

Code BEAM V 2020

Adopting Erlang, Adapting Rebar

Talk 37:00 Adopting Erlang, Adapting Rebar

Tristan Sloughter

Code BEAM V 2020

Adventures in High Performance Logging

Talk 35:00 Adventures in High Performance Logging

Code BEAM V 2020

An introduction to the new socket API

Talk 23:00 An introduction to the new socket API

Code BEAM V 2020

An update from the Erlang Ecosystem Foundation working groups

Talk 39:00 An update from the Erlang Ecosystem Foundation working groups

Sebastian Strollo

Code BEAM V 2020

An update from the OTP team

Talk 13:00 An update from the OTP team

Code BEAM V 2020

Applied Telemetry Lessons from the Field

Talk 37:00 Applied Telemetry Lessons from the Field

Code BEAM V 2020

argparse: complex CLI made simple

Talk 29:00 argparse: complex CLI made simple

Code BEAM V 2020

A war story from failures to success

Talk 43:00 A war story from failures to success

Code BEAM V 2020

BEAMJIT - the journey

Talk 29:00 BEAMJIT - the journey

Code BEAM V 2020

Boost your productivity with the Erlang Language Server

Talk 40:00 Boost your productivity with the Erlang Language Server

Code BEAM V 2020