Typelevel Talks at Scala Days 2026

Scala Days 2026 recently wrapped up, and talk videos are already up! Two of the talks touched on the work of the Typelevel Foundation:

• A Typelevel Prospectus: Arman Bilge gives an overview of the Typelevel organization, what we do, and where we are going.
• Securing Typelevel: Lessons from the GitHub SOS Fund: Antonio Jimenez talks about his experience working with the GitHub Secure Open Source Fund to help secure Typelevel projects.

Some other speakers are making use of Typelevel libraries:

• Caching in Scala using Cats Ref: Katrina Petrevice discusses building a caching system using Cats Effect Ref.
• Type-Driven AI: High quality Scala code with LLM: Giovanni Ruggiero explores various tools to improve the quality of LLM generated Scala code, including ScalaCheck and otel4s.

Some of our Summer of Code participants gave talks about their work:

• A Maiden Voyage into Open Source, Datatypes, and Scala: L Denney speaks about data structure optimization and getting started with open source contributions.
• Cats Go Wasm/WASI: Typelevel on Server-side WebAssembly: Mariusz Jakoniuk goes over prototyping Cats Effect and FS2 IO primitives for the WASI 0.2 API.
• Inline Traits for Specialization: James You describes a new scheme for trait specialization in Scala 3.

Two of our Typelevel Traverses Europe speakers also gave talks at Scala Days:

• Is metaprogramming just functional programming?: Kathryn Frid explores the line between metaprogramming and functional programming, and will be speaking at Typelevel Traverses Copenhagen on October 22.
• Stop testing, start proving: Valentin Bergeron gives a brief version of his Typelevel Traverses Berlin talk about formal verification in Scala.