LambdaConf 2024
2024-05-04..2024-05-10
Estes Park, United States
[LambdaConf 2015, LambdaConf 2017, LambdaConf 2018, LambdaConf 2019, LambdaConf 2020 Global Edition, LambdaConf 2024, LambdaConf 2025]
| title | author | length |
|---|---|---|
| Actually Functional Blockchain Design | Luke Champine | 22m |
Argues that consensus state shrinks from gigabytes to bytes by replacing DB-backed UTXO maps with a cryptographic accumulator built from Merkel trees (a Merkle… | ||
| Types Are Not Safe | Isaac Shapira | 34m |
Claims that types are not safe and that types only prevent a small class of bugs backed by an empirical <5% of defects figure from GitHub. Concrete failures… | ||
| Living The Loopless Life: Techniques For Removing Explicit Loops And Recursion | Aaron W Hsu | 49m |
Claim: a full compiler and parser is implemented in APL without explicit loops or recursion, written as a loopless data-parallel compiler that targets GPU… | ||
| Scalable Innovation: Exploring Multi-Agent Systems | Samia Rahman, Nimisha Asthagiri | 50m |
Claims that multi‑agent architectures enable faster, scalable innovation and human‑machine “superminds” while demanding concrete guardrails: safety, privacy… | ||
| Rust's Module System For Effective Software Architecture | Natalie Serebryakova | 23m |
Shows concrete claims and fixes: using workspaces and split dependency groups reduces compile time and avoids circular deps; replacing concrete DB types with… | ||
| The Quiplash Showdown: Go vs Scala | James Weinert | 45m |
A Quiplash clone called justcloud gets built in both Go and Scala and the comparison drills into actual choices: Go uses goroutines, channels and mutexes to… | ||
| Porting Turborepo From Go To Rust | Nicholas Yang | 31m |
Turborepo moves from Go to Rust incrementally: start with a Rust shim and CI parser, port hot dependencies via a Rust-Go-Rust sandwich, then build a full Rust… | ||
| Durable Execution With Restate | Till Rohrmann | 53m |
Demo builds a working food‑order workflow that survives crashes, replays steps from a journal, and resumes across time while deployed locally or to Lambda… | ||
| Exploring Malicious Lambda Layers | Elijah Lord, Maxwell Bruce | 26m |
Demonstrates concrete vulnerabilities that let a layer perform a man-in-the-middle on Lambda I/O by hijacking AWS_LAMBDA_RUNTIME_API, and a deeper memory… | ||
| Building Your Own Trading Bot in F# | Nikhil Barthwal | 51m |
Codebase is open source and written in F# and connects to Gemini (and adapters for Interactive Brokers / Alpaca), with a websocket reader thread filling a… | ||
| Optimizing Omnichannel Order Fulfillment with AI and Advanced Analytics | Jubin Thomas | 27m |
Claims a >20% omnichannel efficiency gain and shows actual systems: a central inventory visibility layer integrated with IBM Sterling Commerce, forecasting… | ||
| Seeing Like a Programmer - Resiliency, Limits, And Moral Hazards In SE | Chris Krycho | 54m |
Claims that types, DDD, TDD and even formal proofs improve robustness but hit real limits; cites a LinkedIn memory‑leak incident that takes the site down after… | ||
| An (In-)Complete Guide To C++ Object Lifetimes | Jonathan Müller | 35m |
Concrete rules and examples about when objects actually come into existence and die, not abstract advice: when placement new or std::start_lifetime_as is… | ||
| Effect: A Functional Foundation For TypeScript | Michael Arnaldi | 46m |
Effect presents a concrete library stack for TypeScript: runtime schemas with roundtrip serialization and property testing, composable dependency layers and… | ||
| Building Trust In The AI Era | Dennis Pilarinos | 47m |
Demo of Unblocked shows a multi-tenant AI developer productivity platform that integrates GitHub Confluence Slack and more and that scales to mostly enterprise… | ||
| Doing Serverless On AWS With Terraform For Real | Anton Babenko | 26m |
Claim: Terraform can manage real serverless apps end to end using the open source serverless.tf modules. Demonstration shows building and deploying a complete… | ||
| Love, Hate, And Policy Languages | Gabriel L. Manor | 49m |
Argues fine‑grained authorization is getting harder and shows concrete tooling: Rego / Open Policy Agent for multi‑purpose policies, Cedar (AWS verified… | ||
| Make Your Security Policy Auditable | Nicolas Fränkel | 25m |
Claims that externalizing authorization makes policies auditable and reviewable, demonstrating a concrete migration from a Spring Boot/Kotlin app to Open… | ||
| A Lazy Scheme In Haskell | André M van Meulebrouck | 39m |
Claims a lazily evaluated subset of Scheme implemented in Haskell with an embedded interpreter and a plotting app frontend using threepenny‑gui and GitHub… | ||
| Take Your RAG To The Max! | Max Gfeller | 42m |
Concrete recipe for building RAG with code and results: step‑by‑step Python examples (four worked prototypes) that use LlamaIndex to ingest web pages, emails… | ||
| Generic Glyphs, Different Domains | Josh David | 29m |
Claims APL runs in production across finance, energy and labs and generates over a billion in annual application value; examples show concise, reusable… | ||
| Fast And Portable LLM Inference With WebAssembly And Rust | Michael Yuan | 55m |
Claims a zero python dependency LLM stack built with Rust and WasmEdge that runs the same binary on a 16GB M1 laptop and on an Nvidia cloud GPU without… | ||
| KEYNOTE: WebAssembly Update: The Proposals, Wasi, And The Component Model | Brian Sletten | 56m |
The update lays out concrete deliverables: WASI 0.2 and the component model that let binary modules declare capabilities, be composed, and run under runtimes… | ||
| KEYNOTE: Liveness, Literacy, Local First, Lambdas and Llamas | Gilad Bracha | 42m |
Argues that liveness matters concretely: demos show a newp workspace with object presenters, live evaluation at liveness level three and editable runtime code… | ||
| Malebolgia - Structured Concurrency for Nim | Andreas Rumpf | 46m |
Library Malebolgia adds a compile time spawn construct that enforces every parallel task eventually joins the main flow and it catches simple read write… | ||
| The State Of Kotlin/Wasm | Zalim Bashorov | 32m |
Kotlin gets a new compiler built from scratch that generates Wasm binaries directly, targets include wasm JS for browser-hosted JS interop and wasm wiy for… | ||
| Beyond Metrics: Orchestrating Developer Delight with AI driven Platform Engineering | Chris Westerhold | 44m |
The concrete claim is a central developer portal that injects AI into the platform to automate security, compliance and knowledge so teams ship faster… | ||
| How To Observe Your Blazor WASM With OpenTelemetry And Real User Monitoring? | Harry Kimpel | 24m |
Shows a working .NET Blazor WebAssembly sample that has backend tracing exported via OpenTelemetry OTLP export to New Relic, with clear steps for installing… | ||
| KEYNOTE: Use.GPU - Declarative/Reactive 3D Graphics | Steven Wittens | 01h 08m |
Claims a Typescript library called Use.GPU drives WebGPU with a React‑like Live runtime that memoizes effects, selectively rewinds and reruns subtrees, and… | ||
| Designing A Functional Document Processor | Alperen Keles | 22m |
Claims a functional document processor that auto-derives editors from templates and tries to satisfy the trilemma of convenience, customizability, and… | ||
| Devops Goes Promptastic | Jayneeta Sinha | 40m |
Live demos show a UI that calls Gemini and Bard (LangChain + Vertex PALM APIs, text‑bison‑001/chat‑bison‑001) to generate Terraform files via Gemini and run… | ||
| From Bash to Nix | Oren Rozen | 41m |
Claims that Nix replaces Bash as the project-level glue by making every entrypoint a reproducible Nix package and a single command. Demonstrates flakes with… | ||
| Building Better TTRPGs With Functional Thinking | Jack Danna | 23m |
Builds a playable TTRPG by moving logic off brittle Google Sheets + Apps Script into F# + Fable, using SAFE/MVU for UI, typing to model domain rules, and… | ||
| Julia: Practical Restrictions For A Scientific-Computing Language | Julia Belyakova | 26m |
Julia claims that a few intentional restrictions buy huge runtime speed: concrete types are final so the compiler can do dispatch elimination and emit… | ||
| NumPy Versus APL | Max Sun | 50m |
Claims that NumPy workflows map directly into APL and shows side by side code for CSV loading (with character conversion hacks), indexing, a simple linear… | ||
| Fine-Tuning Large Language Models With Declarative ML Orchestration | Shivay Lamba | 25m |
Shows a reproducible pipeline that actually fine‑tunes a Llama 2 model with 8‑bit quantization and LoRA updates, declares per‑task CPU/GPU/memory on… | ||
| The Unreasonable Performance Of The Julia Language | Artem Pelenitsyn | 25m |
Claim: Julia hits near‑C speeds by using a specializing JIT that exploits type stability to devirtualize multiple dispatch. Evidence: microbenchmarks show a… | ||
| Efficient Resource Management | Madhu Patel | 34m |
A production pipeline for high‑QPS asynchronous services across ARM64 and x86_64 and multi‑region deployment (US, JP, IE) that collects JSON structured logs… | ||
| Distributed Systems Wizardry | John A De Goes | 46m |
Claims Golem is an open source serverless platform built on the web assembly component model that makes highly reliable distributed workflows 10x–100x simpler… | ||
| ChatGPT Unleashed: From Code Wizards To Silly Shenanigans! | David Giard | 25m |
Claims that ChatGPT speeds development and business tasks and backs them with live coding demos: PHP MongoDB snippets, CSV and C generators, Python EDA… | ||
| Golem and the WASM Component Model | Daniel Vigovszky | 20m |
Golem runs arbitrary WebAssembly workers persistently and claims end-to-end statically typed worker-to-worker calls by building on the WASM Component Model. It… | ||
| The Faster, The Cheaper | Michele Riva | 23m |
Orama is a distributed full‑text and vector search engine that proves a claim: immutability at the edge makes systems cheaper and faster as load rises… | ||
| The Cutting Edge Of Versioning | Chris Krycho | 50m |
Semantic Versioning is ambiguous about what counts as a breaking change, and the talk gives concrete answers: Elm compiler checks actually run the old and new… | ||
| Interview with Jonathan Blow | Jonathan Blow | 27m |
Claims a new systems language called ji with zero runtime overhead polymorphism, no garbage collector, and a unified build/compile model that removes headers… | ||
| Comparing Approaches to Structured Concurrency | James Ward, Adam Hearn | 52m |
Compares concrete implementations: Scala (ZIO, Ox, Kio), Java Loom, Rust Tokio and more by running an easy-racer server (ZIO + GraalVM) and client scenarios… | ||
| Resistance Is Futile | Garth Gilmour | 52m |
Shows the JetBrains AI Assistant deeply embedded in the IDE, demoing an exposure value refactor where renaming a function yields context-aware explanations… | ||
| Functional Programming: Failed Successfully | Alexander Granin | 44m |
Argues that Haskell demonstrates a Haskell Superiority Paradox: deep theory and features did not produce industrial adoption, while languages like Go and Rust… | ||
| The Rise of AI: A Reality Check on Generative AI | Utkarsh Mittal | 29m |
Claims that GPT‑4 scales to 1,000 billion parameters and McKinsey forecasts $2.6–4.4 trillion economic impact sit alongside concrete tools and failures: DALL‑E… | ||
| Easy Build Plugins With Mill | Nathan Fischer | 17m |
Mill proves easy to extend: building and publishing Docker and Flyway modules from vanilla Scala code, complete with tasks that return JSON metadata, works and… | ||
| Unlocking Product Growth With Big Data, Data Science And Machine Learning | Poornima Muthukumar | 27m |
Shows concrete practices: use funnel and segmentation analysis to find where customers drop off, run A/B experiments with calculated sample sizes (n ≈… | ||
| The Nexus of Innovation: How Knowledge Graphs Fuel AI Scientific Breakthroughs | Pooja Arora | 22m |
Claims that knowledge graphs drive automated scientific reasoning with concrete outcomes: a Genesis DB knowledge base and ontology that reconstructs gene… | ||
| Functional Web Apps: A New Paradigm For Web Development | Brian LeRoux | 28m |
Argues that building web apps from tiny functions plus managed storage yields more reliable, low‑boilerplate systems and shows it working end to end: a demo… | ||
| Unlock The Power Of Property-Based Testing | Jose Trigueros | 20m |
Claims that property-based testing generates many inputs to catch bugs that handcrafted examples miss and reduces maintenance by shrinking failures to minimal… | ||
| Introducing Ballerina: A Pragmatic Programming Language | Sameera Jayasoma | 31m |
Demo consumes the World Bank Country API using an HTTP client and maps JSON into Ballerina record types; the compiler's B tool builds self-contained… | ||
| Building Private And Secure Applications Easily Using The Sunscreen FHE Compiler&Rust | Ryan Orendorff | 26m |
Claims a usable pipeline that compiles Rust into real FHE programs using the Sunscreen FHE compiler and runs demos on AWS. Shows concrete types like Cipher<T>… | ||
| Learn New Languages With Developer Containers In VS Code | Joseph by Guadagno | 28m |
Demonstrates that developer containers let someone learn languages without installing them locally by using Docker (or Rancher), Visual Studio Code and the Dev… | ||
| Type Safety Or Security Theater: Using Servant And Yesod As Case Studies | Adam McCullough | 01h 00m |
Argues that strong types can be genuine safety or just costly ritual, backing it with concrete comparisons: error handling patterns in Go, Rust ergonomics, the… | ||
| Event-driven Serverless Architecture with DynamoDB | Swetha Salunke | 47m |
Claims that Amazon DynamoDB + AWS Lambda form event-driven stacks with DynamoDB Streams as transactional log, durable and ordered across two data centers… | ||
| Effectful | Pawel Szulc | 27m |
Effectful presents a concrete claim: a Haskell effects library that combines Polysemy-like ergonomics with a ReaderT under the hood implementation. Code demos… | ||
| KEYNOTE: FP Meets OS: The Case Of I/O | Vitaly Bragilevsky | 41m |
Argues that I/O forces knowledge of hardware and OS, then shows concrete implementations and tradeoffs: device-level techniques like DMA and interrupts versus… | ||
| Distributed Computing: Challenges And Solutions In Edge IOT Landscape | Vipin Sharma | 25m |
A traffic‑generation platform is built to validate NSX firewall rules at scale, running as a Python daemon over 3,000–5,000 VMs via SSH, storing local state… | ||
| Revisiting Microservice Composition With The Delegator Pattern | Devon Stewart | 27m |
Claims an edge execution driver that moves orchestration to the edge and composes existing HTTP endpoints rather than replacing them. Implements a delegator… | ||
| Transactional Serverless with DBOS | Max Demoulin | 26m |
Claims a concrete stack and behavior: an open-source DBOS transact TypeScript Node.js framework plus a managed DBOS cloud platform that uses Firecracker for… | ||
| Shrubbery: Application Development For Urbit | Liam Fitzgerald | 42m |
Shrubbery claims a replacement application layer for Urbit that actually constrains the global namespace via hierarchical Shrubbery “shrubs” which are ACID… | ||
| Making Nock Fly | Edward Amsden | 40m |
Claims a new static analysis called subject knowledge analysis implemented in the Ares solid-state interpreter that eliminates most indirect calls, uses… | ||
| The Best We Can Do? | Jim Duey | 53m |
Claim: compiling high-level code to a graph and doing local graph reduction yields massive parallelism. Prototype compiles to HML, stores programs as graphs… | ||
| Intro To Progressive Web Apps | Chris Lorenzo | 49m |
Claims that PWAs run offline and send push notifications, and the concrete workflow: add a manifest.json, register a service worker, use tools like pwa builder… | ||
| CoSy : APL Evolved As An Open Vocabulary In Forth | Bob Armstrong | 19m |
CoSy claims an APL-level expressive power implemented as an open Forth vocabulary and demonstrates a working notebook on x86 where lines become notes… | ||
| Timeline Analytics With Golem Backend | Afsal Thaj | 26m |
Claims a working implementation of the 2023 timeline execution paper using Golem durable workers and Rust/WASM components, mapping each DSL node to a… | ||
| Improving your Developer Experience Through Platforms and Generative AI | Ajay Chankramath | 21m |
Claims that merging ThoughtWorks platform engineering principles with metrics and generative AI produces measurable DX gains, citing DORA Lagging metrics… | ||
| Novel Markup Language Editing System | James Carlson | 47m |
A browser editor implemented in Elm uses a WebSocket frontend, codemirror for editing, a shift‑reduce tokenizer/parser and a small cloud PDF server that runs… | ||
| Future At The Edge Cloud Edge Devices: Large Scale Data Processing, Ops, And Challenges | A.Shankar | 46m |
A cloud‑edge device is actually built and shipped: a roving Edge suitcase/backpack with 50+ cores runs a subset of cloud APIs and a Rover OS, boots… | ||
| Code as Law | Amanda Laucher Graham | 49m |
Argues that code enforces outcomes while law interprets intent, showing concrete tensions: smart contracts run immutably on chains but courts still award… | ||
| The Nano-parsing Architecture: Sane And Portable Parsing For Perverse Environments | Aaron W Hsu | 28m |
Nano-parsing is a concrete architecture used building the Co-dfns APL compiler that parses millions of lines by turning token streams into a forest of… | ||
| Building And Running An AI-Powered Product | Valentina Halasi | 50m |
A hands-on runthrough of building Storique: a private‑beta personalized children’s book app that actually works in Switzerland. It fine‑tunes Stable Diffusion… | ||
| nothing matches | ||