Talks

QuickCheck Dynamic: Testing Hard Properties and Staying Sane

Talk 44:00 QuickCheck Dynamic: Testing Hard Properties and Staying Sane

Maximilian Algehed

Beyond Functional Programming: A Taste of Verse

Keynote 1:12:00 Beyond Functional Programming: A Taste of Verse

Tim Sweeney , Simon Peyton Jones

Keynote: Delimited Continuations, Demystified

Keynote 1:03:00 Keynote: Delimited Continuations, Demystified

Keynote: How to Regulate Large Language Models

Keynote 1:11:00 Keynote: How to Regulate Large Language Models

Filip Konopczyński

Keynote: Why Functional Programming Matters to Kids

Keynote 58:00 Keynote: Why Functional Programming Matters to Kids

Michał Ślaski

Keynote: How to Find the Right Rhythm for Your Software Composition

Keynote 1:07:00 Keynote: How to Find the Right Rhythm for Your Software Composition

Keynote: Functional Infrastructure as Code

Keynote 52:00 Keynote: Functional Infrastructure as Code

The Actor Model as a Load Testing Framework

Talk 21:00 The Actor Model as a Load Testing Framework

Meta-programmable Functional Notebooks with Livebook

Talk 43:00 Meta-programmable Functional Notebooks with Livebook

A Hitchhiker's Guide to Linearity

Talk 47:00 A Hitchhiker's Guide to Linearity

Daniel Marshall

Functional Programming in PostgreSQL

Talk 22:00 Functional Programming in PostgreSQL

Jônatas Paganini

Adventures in the Land of Language Servers

Talk 45:00 Adventures in the Land of Language Servers

Jakub Kozłowski

Bringing LAMBDA to Excel

Talk 19:00 Bringing LAMBDA to Excel

Composition Intuition

Talk 47:00 Composition Intuition

The Unbearable Weight of Glue

Talk 48:00 The Unbearable Weight of Glue

Building Your Own Trading Bot in F#

Talk 45:00 Building Your Own Trading Bot in F#

Nikhil Barthwal

Stories in Open Source

Talk 48:00 Stories in Open Source

Tobias Pfeiffer

Tauri: Build Secure and Reliable Native Apps using Rust and Elm

Talk 21:00 Tauri: Build Secure and Reliable Native Apps using Rust and Elm

Jonas Kruckenberg

When Testing Just Doesn't Cut It

Talk 43:00 When Testing Just Doesn't Cut It

Let it Be

Talk 22:00 Let it Be

Concurrent All the Way Down: Functional Concurrency with Libretto

Talk 45:00 Concurrent All the Way Down: Functional Concurrency with Libretto

Unison: Program Differently

Talk 45:00 Unison: Program Differently

Wire All the Things!

Talk 43:00 Wire All the Things!

Eric Torreborre

Keeping Real-time Auctions Running During Rollout

Talk 21:00 Keeping Real-time Auctions Running During Rollout

Rafał Studnicki

Examples of Easy Dependently Typed Programming (in Idris)

Talk 21:00 Examples of Easy Dependently Typed Programming (in Idris)

Predictable Systems Design with Clearly Defined Doubt & Uncertainty

Talk 48:00 Predictable Systems Design with Clearly Defined Doubt & Uncertainty

ElectricSQL

Talk 46:00 ElectricSQL

Why Design Your Own Levels When Your Computer Can Do It?

Talk 38:00 Why Design Your Own Levels When Your Computer Can Do It?

Daml

Talk 42:00 Daml

Functional Females

Lightning Talk 3:00 Functional Females

Rules for Young Programmers

Lightning Talk 6:00 Rules for Young Programmers

GRiSP Roadmap: Great Things to Come

Lightning Talk 8:00 GRiSP Roadmap: Great Things to Come

Peer Stritzinger

The Erlang VM & Eventsourcing is a Match Made in Heaven

Lightning Talk 7:00 The Erlang VM & Eventsourcing is a Match Made in Heaven

Information Programming

Lightning Talk 5:00 Information Programming

Adam Vandervorst

C++ vs Haskell vs BQN

Lightning Talk 5:00 C++ vs Haskell vs BQN