36:55A Gentle, Practical Introduction to Path-Dependent Types - David van Geest
A 37-minute video from flatMap (Oslo): “A Gentle, Practical Introduction to Path-Dependent Types - David van Geest”.
flatMap (Oslo)
725 subscribers on YouTube
Shorts, livestreams, trailers and promos are never listed. Unless a curator approved this channel in full, only individually picked videos appear.
36:55
37:27A Little Taste of Dependent Types (David Thrane Christiansen)
A 37-minute video from flatMap (Oslo): “A Little Taste of Dependent Types (David Thrane Christiansen)”.
34:21Advanced Tagless Final - Saying farewell to Free (Luka Jacobowitz)
A 34-minute video from flatMap (Oslo): “Advanced Tagless Final - Saying farewell to Free (Luka Jacobowitz)”.
42:34Brave New World - tales of PureScript and Haskell in production - Felix Mulder
A 43-minute video from flatMap (Oslo): “Brave New World - tales of PureScript and Haskell in production - Felix Mulder”.
41:18Building a reactive multi-user document editor in ScalaJS - Jan Ypma
A 41-minute video from flatMap (Oslo): “Building a reactive multi-user document editor in ScalaJS - Jan Ypma”.
35:03Declarative Control Flow with Fs2 Stream (Fabio Labella)
A 35-minute video from flatMap (Oslo): “Declarative Control Flow with Fs2 Stream (Fabio Labella)”.
38:35Dispelling magic behind Concurrency in FP - Piotr Gawryś
A 39-minute video from flatMap (Oslo): “Dispelling magic behind Concurrency in FP - Piotr Gawryś”.
32:47Fantastic Monads and where to find them (Jakub Kozłowski)
A 33-minute video from flatMap (Oslo): “Fantastic Monads and where to find them (Jakub Kozłowski)”.
36:14Free All The Things! (Markus Hauck)
A 36-minute video from flatMap (Oslo): “Free All The Things! (Markus Hauck)”.
41:35From NAND to Lambda: Foundational Computing Through Functional Principles (Ryan Moore)
A 42-minute video from flatMap (Oslo): “From NAND to Lambda: Foundational Computing Through Functional Principles (Ryan Moore)”.
26:30Functors, in theory and in practice! - Martin Menestret
A 26-minute video from flatMap (Oslo): “Functors, in theory and in practice! - Martin Menestret”.
37:45Genetic programming is waiting for better tools - Rakhim Davletkaliyev
A 38-minute video from flatMap (Oslo): “Genetic programming is waiting for better tools - Rakhim Davletkaliyev”.
41:09Impractical Lambda Calculus - Einar W. Høst & Jonas Winje
A 41-minute video from flatMap (Oslo): “Impractical Lambda Calculus - Einar W. Høst & Jonas Winje”.
39:59Integrating Developer Experiences - Build Server Protocol and beyond - Justin Kaeser
A 40-minute video from flatMap (Oslo): “Integrating Developer Experiences - Build Server Protocol and beyond - Justin Kaeser”.
29:24Integrating IDEs with Dotty, the experimental Scala compiler (Guillaume Martres)
A 29-minute video from flatMap (Oslo): “Integrating IDEs with Dotty, the experimental Scala compiler (Guillaume Martres)”.
42:17Introducing ScalablyTyped - Øyvind Raddum Berg
A 42-minute video from flatMap (Oslo): “Introducing ScalablyTyped - Øyvind Raddum Berg”.
44:28Lambda Calculus Beep Boop (Einar W. Høst and Jonas Winje)
A 44-minute video from flatMap (Oslo): “Lambda Calculus Beep Boop (Einar W. Høst and Jonas Winje)”.
34:58Learning cats-effect by Accident (Paulo "JCranky" Siqueira)
A 35-minute video from flatMap (Oslo): “Learning cats-effect by Accident (Paulo "JCranky" Siqueira)”.
48:22Live Coding a Concurrent Web Crawler - John Ⓐ De Goes
A 48-minute video from flatMap (Oslo): “Live Coding a Concurrent Web Crawler - John Ⓐ De Goes”.
46:45Program Description Based Programming - Luc Duponcheel
A 47-minute video from flatMap (Oslo): “Program Description Based Programming - Luc Duponcheel”.
42:29Property-Based Testing The Ugly Parts: Case Studies from Komposition - Oskar Wickström
A 42-minute video from flatMap (Oslo): “Property-Based Testing The Ugly Parts: Case Studies from Komposition - Oskar Wickström”.
25:32Regaining Control with State Monad and Friends (Felix Mulder)
A 26-minute video from flatMap (Oslo): “Regaining Control with State Monad and Friends (Felix Mulder)”.
40:28Reinforcement Learning in Scala - Chris Birchall
A 40-minute video from flatMap (Oslo): “Reinforcement Learning in Scala - Chris Birchall”.
28:33Seeing Arrows Below the Code - Narek Asadorian
A 29-minute video from flatMap (Oslo): “Seeing Arrows Below the Code - Narek Asadorian”.
38:17Six steps from zero to IDE (Ólafur Páll Geirsson)
A 38-minute video from flatMap (Oslo): “Six steps from zero to IDE (Ólafur Páll Geirsson)”.
28:06The (un?) reasonable effectiveness of mathematics in computer programming (Gabriel Claramunt)
A 28-minute video from flatMap (Oslo): “The (un?) reasonable effectiveness of mathematics in computer programming (Gabriel Claramunt)”.
34:22Transducers - composable algorithmic transformations - Erik Assum
A 34-minute video from flatMap (Oslo): “Transducers - composable algorithmic transformations - Erik Assum”.
36:43Using Haskell at FINN.no - Sjur Millidahl
A 37-minute video from flatMap (Oslo): “Using Haskell at FINN.no - Sjur Millidahl”.
33:32What Haskell taught us when we weren't looking (Eric Torreborre)
A 34-minute video from flatMap (Oslo): “What Haskell taught us when we weren't looking (Eric Torreborre)”.
39:37When Everything Fits: The Beauty of Composition - Markus Hauck
A 40-minute video from flatMap (Oslo): “When Everything Fits: The Beauty of Composition - Markus Hauck”.
1:06:57scalaz 8: A whole new game (John A. De Goes)
A 67-minute video from flatMap (Oslo): “scalaz 8: A whole new game (John A. De Goes)”.