diff --git a/src/videos.md b/src/videos.md index b55b788..28acddd 100644 --- a/src/videos.md +++ b/src/videos.md @@ -4,12 +4,22 @@ A collection of videos about Flix. ## Industry Talks -- Magnus Madsen @ LambdaDays 2025: [An Introduction to Effectful Programming in Flix](https://www.youtube.com/watch?v=DHB4SvB7g84) ([slides](https://flix.dev/talks/lambdadays2025.pdf)) -- Magnus Madsen @ Devoxx Greece 2025: [Effectful Programming in the Flix Programming Language](https://www.youtube.com/watch?v=o7-JWY0uLmc) ([slides](https://flix.dev/talks/devoxx2025.pdf)) -- Magnus Madsen @ Goto 2023: [An Introduction to Functional Imperative Programming in Flix](https://www.youtube.com/watch?v=2LSOqikNqxM) +- **[Four Fascinating Programming Languages You've Probably Never Heard Of](https://www.youtube.com/watch?v=_rHoHLanuQg)**\ + *Lutz Hühnken @ BOB 2026* +- **[An Introduction to Effectful Programming in Flix](https://www.youtube.com/watch?v=DHB4SvB7g84)**\ + *Magnus Madsen @ LambdaDays 2025* ([slides](https://flix.dev/talks/lambdadays2025.pdf)) +- **[Effectful Programming in the Flix Programming Language](https://www.youtube.com/watch?v=o7-JWY0uLmc)**\ + *Magnus Madsen @ Devoxx Greece 2025* ([slides](https://flix.dev/talks/devoxx2025.pdf)) +- **[An Introduction to Functional Imperative Programming in Flix](https://www.youtube.com/watch?v=2LSOqikNqxM)**\ + *Magnus Madsen @ Goto 2023* ## Research Talks -- Matthew Lutze @ PLDI 2024: [Associated Effects: Flexible Abstractions for Effectful Programming](https://www.youtube.com/watch?v=HoJaLJEPXW8) -- Matthew Lutze @ ICFP 2023:[With or Without You: Programming with Effect Exclusion](https://www.youtube.com/watch?v=IyLNJh4Eq0c) -- Magnus Madsen @ Onward 2022: [The Principles of the Flix Programming Language](https://www.youtube.com/watch?v=RNZeAmp1EaA) +- **[Associated Effects: Flexible Abstractions for Effectful Programming](https://www.youtube.com/watch?v=HoJaLJEPXW8)**\ + *Matthew Lutze @ PLDI 2024* +- **[With or Without You: Programming with Effect Exclusion](https://www.youtube.com/watch?v=IyLNJh4Eq0c)**\ + *Matthew Lutze @ ICFP 2023* +- **[The Principles of the Flix Programming Language](https://www.youtube.com/watch?v=RNZeAmp1EaA)**\ + *Magnus Madsen @ Onward 2022* +- **[From Datalog to Flix: A Declarative Language for Fixed Points on Lattices](https://www.youtube.com/watch?v=9EC8gnKIUII)**\ + *Magnus Madsen @ PLDI 2016*