This is the page for our small community of PL enthusiasts, formed mainly by students and alumni of FIT ΔVUT, FEL ΔVUT and MFF UK.
The community meets monthly (or as time allows) for peer presentations, invited talks, and discussions on topics related to programming languages. Discussed topics span from interesting new programming languages and concepts, compiler and runtime implementations, to PLT and research topics. Any interesting topic is welcome.
The effort originally started on 16th November 2022 as a lang-talk meetup. That was the date of our first meetup and the streak lasted for 16 meetups.
After a delay, the meetups continued on 12th March as a Student PL Meetup to recognize that the community has outgrown a single faculty. Moreover, the community has joined forces with PRG β’ PRG - Prague Programming Languages and Systems Research Network to help each other connect people with shared interests and deepen (or widen) each other knowledge.
A list of podcasts that are dedicated to PL design or compiler construction.
π Date: May TBD
π Line up (Call for talks open!!!):
- Everything you didn't want to know about TeX
π Past Talks and the π₯ Complete YouTube Playlist
π₯ Recording: https://www.youtube.com/playlist?list=PLIsBvRXhzG5ugnknDBtN9TqIxHR-2QHBj
π Date: 9. April 2025
π Line up:
- Breaking had: Jak rozbΓt Python snadno a rychle - recording, slides
- Why exceptions are like Dynamic Monads - recording, blog post
- Experiments in slightly less broken C - recording
π₯ Recording: https://youtube.com/playlist?list=PLIsBvRXhzG5vYKLh0emgJDRae9tm104GG&si=c5D9R7EpHt3oTvZu
π Date: 12. March 2025
π Line up:
- Building a high-performance linker (wild) - recording
- ZprΓ‘vy ze zΓ‘kopΕ― hardwarovΓ½ch IR - recording
- Inside PDF - recording
π₯ Recording: https://youtu.be/jW5e6vCEhB0
π Date: 16. September 2024
π Line up:
- Algebraic Effects
- Dependent type systems
- Can we handle dependent types?
π₯ Recording: not available
π Date: 23. May
π Line up:
- Lua and register-based VM
π₯ Recording: youtu.be/mLtHML1shYI
π Date: 24. April 2024
π Line up:
- A Generic Introduction to Algebraic Effects
- Light Intro to Formal Logic, Proof Systems, Theorem Proving
- Introduction to Dependent Type Theory
π₯ Recording: youtu.be/HW8xNzV0U88
π Date: 27. March 2024
π Line up:
- "Jak zahodit bash pro skripty a nahradit ho Pythonem aniΕΎ by toho ΔlovΔk litoval"
- Shen: building types with Prolog and the sequent calculus
- The costs of mutability in dynamic programming languages
π₯ Recordings:
- Inside the Rust Borrow Checker part 1
- Inside the Rust Borrow Checker part 2
- How flow-sensitive typing works in Kotlin
π Date: 19. February 2024
π Line up:
- Inside the Rust Borrow Checker
- How flow-sensitive typing works in Kotlin (invited speaker)
π Date: 29. January 2024
π Line up:
- Isabelle/HOL (invited speaker)
- Type-level and Metaprogramming in Scala (invited speaker)
π Date: 29. November 2023
π Line up:
π Date: 30. October 2023
π Line up:
- Expression problem
- Closures are a poor man's object (Prototypes: Object-Orientation, Functionally)
- Introduction to Formal Reasoning and Theorem Proving
π Date: 26. July 2023
π Line up:
- How to build and break LLVM
π₯ Recording:
π Date: 29. June 2023
π Line up:
- S-Expression the ultimate Datum
- JavaScript is Stat...Expression oriented, continued
π₯ Recording: youtu.be/SCGJM7OkGmU
π Date: 30. May 2023
π Line up:
- Historie programovΓ‘nΓ: APL
- JavaScript is Stat...Expression oriented
π₯ Recording: youtu.be/mGLxYYmkUho
π Date: 20. April 2023
π Line up:
- Historie programovΓ‘nΓ: Microsoft Visual Basic
- Let's oxidize the code
- Moderated Discussion: Shells of the Future
π₯ Recording: youtu.be/NYslWINATGI
π Date: 27. March 2023
π Line up:
- Harry Potter And The Methods of Equality Saturation
- Significantly Abridged: Optimize for speed and safety in Common Lisp and Coalton through Gradual typing
- Type System for Your Type System: Introduction to Kinds
- Moderated Discussion: The Best Ways and PLs for Learning Programming
π₯ Recording: youtu.be/4wtDB4PASDE
π Date: 28. February 2023
π Line up:
- Symbolic Execution, is it even useful?
- (not so) Moderated Discussion: From Functional Programming to ABIs and More
π₯ Recording: youtu.be/qD_nt0Rrlsw
π Date: 31. January 2023
π Line up:
- Continuations, how to have made a different sandwich
- Properly
π ±οΈ ased testing - Really Gentle Introduction to Haskell's Type System
π₯ Recording: youtu.be/AFKpPIl9RDU
π Date: 15. December 2022
π Line up:
π₯ Recording: youtu.be/ECtC_Y6RLBI
π Date: 16. November 2022
π Line up:
- Weird Stuff PowerShell Does
- Ξ¦ Nodes are Functions!
- WAT: Hardware Edition
- Kind of a Pointless* Talk