LambdaConf 2025
2025-05-12..2025-05-13
Estes Park, United States
[LambdaConf 2015, LambdaConf 2017, LambdaConf 2018, LambdaConf 2019, LambdaConf 2020 Global Edition, LambdaConf 2024, LambdaConf 2025]
| title | author | length |
|---|---|---|
| Lessons from Building a Game Engine from Scratch in Gleam | Will King | 21m |
Built-from-scratch browser game engine written in Gleam that compiles to Javascript for the client and Erlang on the BEAM for the server, currently running but… | ||
| My favorite verbose programming technique | Aaron W Hsu | 57m |
Claim: use sequence-based enumeration to turn event-driven requirements into an executable state machine so specification and implementation are the same… | ||
| Programming Power Paradox | Isaac Shapira | 53m |
Claims that compiler vs application tooling limits automation and that multi-phase development solves it lead to a concrete proof‑of‑concept: a pure, typed DSL… | ||
| Jai Demo and Design Explanation (KEYNOTE) - Updated | Jonathan Blow | 01h 13m |
A new systems language demo shows a 300,000-line game compiled as a full clean build in 2.3 seconds, with about 3,000 lines generated during build. The… | ||
| A New Programming Model for Full-Stack Distributed Systems | Ben Hindman | 52m |
A new framework called reboot.dev implements a concrete programming model (TypeScript and Python) that treats data as durable, addressable objects described in… | ||
| Enable all your infrastructure’s power with Rust & Wasm | Alex Snaps | 52m |
Shows a working stack that runs lightweight Rust WebAssembly inside Envoy via the Wasm Proxy ABI, wired to Kubernetes gateway API and Kuadrant policy machinery… | ||
| AI Meets Serverless: Automating Receipt Intelligence with AWS Lambda & Textract | Nasi Chaudhari | 13m |
Uploads to S3 trigger an AWS Lambda + Textract pipeline that calls the analyze-expense API, extracts vendor, date, total and line items, writes records to… | ||
| AI'll Be Back: Exploring Diffusion Models for Image, Audio & Video | Martin Förtsch, Thomas Endres | 50m |
Live demos show images from Midjourney, music from SunoAI, and animations driven by RunwayML plus a hands‑on Open Sora video reimplementation that runs with… | ||
| Euphoric Codecs & Dazzling Rainbows | John A De Goes | 01h 04m |
ZIO Schema 2 claims a clean rework: the giant 65-term ADT becomes a 65→7 term reflect and codecs derive from a simple six-method trait, with box-free… | ||
| A visual programming language for animation, geospatial and the web | Adam Krebs | 28m |
A browser-based visual programming environment for geospatial animation actually exists: a flow‑based DAG of strongly typed nodes that renders deterministic… | ||
| Shoehorning dependency injection into a FP language - What does it take? | Eric torreborre | 48m |
Shows a concrete DI implementation for Unison that uses Unison abilities and handlers to resolve components from an overrides map, constructing values lazily… | ||
| Cut the Hype and Build Your Own AI Agents | Max Gfeller | 52m |
Claims that big-name agents fail for many tasks (one tool nailed 15% in a test) and that custom agents are cheaper and faster lead directly to examples: a… | ||
| Applied Machine Learning in Elixir | Paulo Valente | 25m |
Claims that going custom beats big-name agents and demonstrates an Elixir ML stack: NX for tensors and autodiff, Axon for neural nets and training, Bumblebee… | ||
| The Rise of Reasoning Models | Valentina Halasi | 24m |
Reasoning models claim real, step‑by‑step problem solving rather than higher‑level marketing: DeepSeek (open source, cheaper) and OpenAI o1 compete on math and… | ||
| Missing Testing Features in Rust | Daniel Vigovszky | 24m |
A new Rust test framework called test-r implements shared dependencies (async constructors scoped per module), a dependency matrix for generating many… | ||
| Introduction to the Beads Language | Edward de Jong | 52m |
A concise language that replaces HTML CSS and JS by compiling to JavaScript and targeting browser and Node, with a small runtime 400 kilobytes runtime (150k… | ||
| Introduction to MoonBit and its Async Model (KEYNOTE) | Hongbo Zhang | 53m |
MoonBit presents concrete results: a browser IDE with live debugging and source-map plus LDB support, WASM/JS/LLVM/C back ends, and integrations for Spin… | ||
| Trivially bug free code for a greener planet | Theodor Thornhill | 27m |
Claim of reduced cloud costs by ~80% backed by concrete rewrites: replace heavy Spring Boot Kafka stream pipelines that serialize 40 MB JSON blobs (peaking at… | ||
| The Value of LLMs - Why Stupid Machines Are Smarter Than You Think | Travis Frisinger | 41m |
A custom GPT called Webcat gets built as an Azure function (~150 lines) and deploys successfully, enabling live webpage scraping instead of manual copy‑paste… | ||
| Programming Power Paradox | Isaac Shapira | 53m |
Claim: moving between levels is power, not high‑level syntax alone. A new DSL called Paradox domain specification language generates TypeScript and Haskell, a… | ||
| Recursion Schemes in Plain Language | Jim Duey | 45m |
Recursion schemes claim that walking a recursive structure is separable from the operation applied at each node, so separates traversal from node logic and… | ||
| Building a compiler and processor for fast processing of encrypted data | Ryan Orendorff | 56m |
Claims a toolchain that takes C, compiles it to a compact FHE instruction set, and runs on a parasol virtual processor with a compiler from C to FHE. Uses… | ||
| Temporal Modal Logic: The Time is Now | Foy Savas | 34m |
Claims that temporal modal logics enable practical, automated verification: LTL and CTL become executable specs, model checking produces concrete… | ||
| Functional Poetry with Co-Recursive Ink | Kian Wilcox | 26m |
A concrete notation called co-recursive ink (source code: metapoem; sections: metaverse) maps bracket-depth loops to iterations, with operators for delayed… | ||
| Building Modern Distributed Systems with AWS | Lakshmi Narayana, Ranjit Aneesh | 37m |
Catalog runs as a Lambda serving images from S3 cached in ElastiCache behind CloudFront and API Gateway, while orders use DynamoDB with DynamoDB strong… | ||
| Lessons from Building a game engine from scratch in Gleam | Will King | 21m |
A browser game engine built in Gleam is underway, chosen because it compiles to JS and Erlang so the client uses canvas while the server leverages the BEAM for… | ||
| Urbit: Making the Future Real (KEYNOTE) | Curtis Yarvin | 01h 00m |
Claims a working worldwide, self-updating, blockchain‑addressed network with a functional-language stack whose spec “fits on a T‑shirt,” built on Knock VM and… | ||
| Intelligent Workflow Automation with Lambda and AI Models | Rajani Ekunde | 21m |
Pipeline ingests text files from S3, triggers Lambda, calls Amazon Comprehend for sentiment, and writes results to DynamoDB; the demo uploads five feedback… | ||
| Chapter and Verse: An Outsider's Overview of Epic Games' New Language | Paul Snively | 56m |
Verse is a logic‑functional language that aims to collapse types and values into one system, with a Verse Calculus underpinning goal‑driven, backtracking… | ||
| Infrastructure, Common Goods, and the Future of Open Source Software (KEYNOTE) | Chris Krycho | 46m |
Argues that open source is infrastructure not a commons and cites the 2021 log4j vulnerability, fixed by 16 unpaid volunteers while Google estimates 8% of… | ||
| A Super Secret Talk about Language Integrated Query | Alexander Ioffe | 49m |
Claims a working Kotlin solution called Exoquery that compiles captured queries into compile-time SQL via a compiler plugin, turning a messy set of “300… | ||
| Functional Programming in C++ (Run time vs Compile time types) | Oren Rozen | 23m |
Claims that C++14 can move protocol shape into the compiler by using value‑templated enums and constexpr functions to produce compile‑time byte arrays and… | ||
| Staying in Control | Casey Allred | 46m |
Argues that actual value comes from runnable, reusable pieces that set a system to a known state: programmatic controls that create example accounts, rooms and… | ||
| Do Programming Language Features Deliver on their Promises | Aaron W Hsu | 52m |
A full compiler is implemented in a points‑free style and turns out harder to read and prone to duplicated logic so the points‑free compiler experiment works… | ||
| Electric Clojure Differential Dataflow for UI (KEYNOTE) | Dustin Getz | 32m |
Electric Clojure claims fullstack UI code compiles to a shared DAG that injects websocket streaming diffs so collections are a stream of change sets not whole… | ||
| Pure Functions & Paladins Building TTRPGS with F# and MVU | Jack Danna | 28m |
A working Fogent Roleplay web app built with Full Stack F# using the SAFE stack and Elmish MVU demonstrates pure update functions, message-passed state and… | ||
| Rib, a language that I built that could improve the ecosystem of WASM | Afsal Thaj | 26m |
Rib claims a small language that provides type-safe interop with WebAssembly components, with a Rust-like syntax, a REPL that autocompletes functions and… | ||
| Typesafe & Total; Elegant & Expressive; Compositional & Correct: Exceptions are back! | Jon Pretty | 01h 03m |
Claims a practical Scala 3 library called Soundness lets code return plain success types while encoding precise failure types via context functions and a… | ||
| A Taste of Elixir - The language of the future you can have today | Brian Carderella | 52m |
Concrete claims and demos: gen_server and supervisor primitives run tiny BEAM processes under 1KB and restart crashed workers automatically (observed restart… | ||
| Mill a JVM build tool based on pure functional programming | Li Haoyi | 25m |
Claim: Mill makes JVM builds far faster and more navigable. Concrete evidence: Netty compiles 500k lines in 9 seconds vs 50 seconds with Maven and typical… | ||
| Removing fragility from software with the EYG programming language | Peter Saxton | 53m |
EYG claims programs never crash by combining algebraic effects in the type system, structural typing, and deterministic dependencies; the compiler is sound (no… | ||
| What’s Next for WebAssembly on the Server—and How to See It in Action | Harry Kimpel | 36m |
Server WebAssembly runs in real runtimes not just theory: demos use Docker with Wasm runtime, Spin + SpinKube for Kubernetes, WasmCloud and Wasmtime and Golem… | ||
| Redefining Stream Composition with Algebraic Effects | Adam Hearn | 50m |
Claims that streams are just another algebraic effect and show a concrete implementation: streams become a Kio effect that uses an Emit effect to log values… | ||
| The Next Generation of Developer Environments | Zach Mitchell | 26m |
Claims a concrete tool: Flox builds composable, reproducible developer environments on top of Nix and exposes them with a simple CLI. It uses a project… | ||
| Killed by Worse is Better - What we can learn from the last time FP failed | Adam McCullough | 51m |
Argument: functional languages lose for adoption reasons not purity; concrete examples appear. Comparison of Lisp commercialization (LMI 3–4 engineers versus… | ||
| Learn Physics with Functional Programming | Esteban Marin | 23m |
Claims a working Haskell pipeline that turns physics formulas into runnable code and live plots, encoding Haskell types for position velocity acceleration… | ||
| Pure Functions & Paladins Building TTRPGS with F# and MVU (v1) | Jack Danna | 25m |
Builds a working Fogent Roleplay web app with Full Stack F# and Elmish MVU (SAFE stack), shows the actual code structure: models, update functions, and views… | ||
| Killed by Worse is Better What we can learn from the last time FP failed (TBR) | Adam McCullough | 47m |
Argues a concrete cause: functional languages lost not from theory but from adoption factors — Lisp versus Unix tradeoffs, Haskell’s slow standards and Cabal… | ||
| The Factorio Software Architecture Do What The Math Tells You | John Konecny | 43m |
Claim: Factorio models real software architecture and simple math plus measured unit operations predicts end-to-end performance. Uses the game, database… | ||
| Rib, a language that I built that could improve the ecosystem of WASM (v1) | Afsal Thaj | 22m |
Rib is a type-safe scripting language with Rust-like syntax that integrates into wasmtime (currently via a wasmtime fork) to provide REPL-driven… | ||
| WebAssembly VM in Nock | Kirill Afonin | 28m |
Runs a WebAssembly interpreter compiled into Nock using a Wasm3 fork hardened for determinism, proving jets can execute complex non‑Nock code with minimal… | ||
| Vase Mode | NE Davis | 47m |
Claims that a vase is literally a type+value pair and that a vase algebra composes types to produce runnable Nock artifacts, enabling metacircular… | ||
| Auto Merkleization: Where FP meets Algebra, Metaprogramming and OO | François René Rideau | 50m |
Claims an automatic pipeline that generates zippers and merkle proofs from type definitions, using type-polynomial differentiation, zippers, content-addressing… | ||
| Orthogonal Persistence, the Model | François René Rideau | 50m |
Argues persisting running processes (not just data) is practical and transformative: domains with versioning, erasure coding across five global backups… | ||
| How to roll your own LLM | Maximilian Bode | 29m |
Claim of 4,500 developer years saved by Amazon for Java upgrades anchors the scale question, while concrete tooling includes OpenRewrite recipes piped to LLMs… | ||
| Leaky Abstraction and Turing Configuration | John Anderson | 27m |
Claim: large systems’ configuration accumulates leaky details until it requires computation to resolve them. Evidence: diagrams of graphs and spanning trees… | ||
| The Power of Programs as Data | Pierangelo Cecchetto | 26m |
Claims that business logic-as-data yields three concrete wins: it constrains implementation space, keeps docs in sync, and stays stack‑agnostic. The talk shows… | ||
| Floating-Point Arithmetic on Deterministic Systems | NE Davis | 51m |
Claim: commodity IEEE 754 floats and common compiler optimizations produce nondeterministic results—ordering matters (1.1−0.3−0.8 yields different answers by… | ||
| Flavio Brasil will be joining us at #LambdaConf2025 | Flavio Brasil | 03m |
An open‑source library called K effect system implements algebraic effects so different effects compose in the same computation, letting LLMs be wired into… | ||
| LambdaConf 2025 - Estes Park, CO - #RenewYourMind | 01m | |
The conference listing gives only event links and location and the uploader supplies two URLs; the machine caption is just music cues so there is no claim… | ||
| Video Promo | 01m | |
Video Promo contains no spoken content—the machine transcript reads only "now [Music]"—and presents an edited montage with music and conference branding rather… | ||
| nothing matches | ||