Scala Days 2025
2025-08-19..2025-08-21
Lausanne, Switzerland
[Scala Days 2023 Seattle, Scala Days 2023 Madrid, Scala Days 2025, Scala Days 2025 Lausanne]
who it's for
Scala developers, functional programmers, library authors, backend engineers, streaming engineers, Scala.js developers, Scala Native developers
topics
LLM4S toolkit; RAG with Postgres and Chroma; SSE streaming with fs2; fs2 streaming patterns and testing; direct-style concurrency on JVM 21; Scala 3 capture checking; compiling Scala.js to WebAssembly; PortAudio audio pipelines with Scala Native; Crop reversible routing with Scala 3 tuples; IntelliJ Scala Plugin productivity and debugging
| title | author | length |
|---|---|---|
| Scala Meets GenAI - Build the Cool Stuff with LLM4S | Rory Graves, Kannupriya Kalra | 45m |
LLM4S is a Scala batteries‑included toolkit that in six months goes from empty repo to a usable stack: basic LLM calls across OpenAI/Anthropic, RAG over custom… | ||
| Scala, Sound, and Structure - Composing Music through FP | Johanna Odersky | 32m |
A web sampler called Sounds of Scala runs on ScalaJS/Scala 3 with Typelevel Cats and maps audio buffers to pitch keys, repitching by adjusting playbackRate… | ||
| Where Are We With Scala's Capabilities? | Martin Odersky | 01h 03m |
Scala now ships an opt‑in capture checking system (nightly/Scala 3.8+ via a language import) that tracks which capabilities a lambda or object closes over… | ||
| Designing the library powering Netflix's QoE with Scala 3 | Joan Goyeau | 46m |
Centralized Measures Library defines 750+ concrete measures, implemented in Scala 3 using Opaque Types, given wiring and the boundary API, runs on Spark and… | ||
| Routing Http Requests with Scala 3 | Noel Welsh | 41m |
Crop is a routing library that actually ships: compositional, type-safe routing with Crop values, reversible path-to-link generation (string reverse-routing… | ||
| Boost Your Productivity with IntelliJ, Scala Plugin and More | Dmitrii Naumenko | 43m |
Overview of practical IntelliJ + Scala Plugin plumbing: shows scratch files for throwaway worksheets, debugger tricks (conditional breakpoints, watches… | ||
| A Tour of Ox 1 0 - Direct Style Concurrency and Resiliency | Adam Warski | 42m |
Ox 1.0 is released and ships a toolkit that builds direct-style Scala apps on JVM 21 using virtual threads under the hood; it provides structured concurrency… | ||
| Taking the plunge - a deep dive into streaming with fs2 | Zainab Ali | 44m |
Shows concrete fs2 code: reading STDIN lines, mapping each to add a cat emoji and calling compile.drain; reading large files line-by-line (terabytes of cats)… | ||
| How to Grow More Functional Programmers | Evan Czaplicki | 47m |
Four company case studies show firms hire people with no Elm experience and get them productive in four weeks, often by pairing, focused onboarding and using… | ||
| What Scala can learn from Rust, Swift, and C++ | D. Racordon, E. Flesselle | 42m |
Compares concrete designs from Rust Swift and C++ to concrete Scala pain points and offers implemented prototypes: binary-search-like partition requires O(log… | ||
| Scala and Arpeggio - Audio processing with Scala Native and FS2 | Will Binzi | 40m |
Live Scala Native app called Arpeggio constructs a guitar pedalboard as composable FS2 pipes that run on an audio stream of floats (sampled ~4,100 Hz) and use… | ||
| LLMs in the Wild - Streaming, RAG, and Real Time GenAI at Scale | Muayad Sayed Ali | 43m |
Claims a production GenAI stack that streams token-by-token via SSE with FS2 + cats-effect to deliver low-latency responses, routes requests across multiple… | ||
| Compiling Scala js to WebAssembly | Sébastien Doeraene | 39m |
Since Scala.js 1.17.0 (Sept 2024) a single build switch produces WebAssembly plus a small JS bridge while preserving Scala.js semantics (except @JSExport). The… | ||
| What's the deal with unsafe Rust? | Ralf Jung | 59m |
Explains why unsafe Rust exists, shows Mini Rust spec as an executable operational semantics and the MIRI interpreter as a tester, and demonstrates a real UB… | ||
| Safe Coding with LLMs - Verifiable Scala Silver Bullet | Andrei Kucharavy | 40m |
Explores whether LLMs can generate provably safe Scala by asking models to produce implementations plus Stainless specs; finds many models (Code Llama… | ||
| Functional Programming And the Real World | Dimi Racordon, Evan Czaplicki, Martin Odersky, Ralf Jung | 39m |
Panelists argue concrete claims: Rust is argued to be effectively functional in safe code and NAS translates Rust to Lean for verification; Zig and Rust trade… | ||
| nothing matches | ||