Student PL Meetup vol. 9
📅10th of April 2026 (18:00 - 21:00)
- Optimizing UTF8 validation for
fame and gloryfail and gory: Max Hollmann - Learning λProlog for fun and profit: Vojtěch Štěpančík
- Misusing Rust macros: Jakub Dupák
Student PL Meetup vol. 8
📅5th of March 2026 (18:00 - 21:00)
- How do we grow our languages?: Filip Říha
- SIMD, aneb jak se nebát vektorových instrukcí: Martin Jabůrek
- Why PowerShell?: Matěj Kafka
Student PL Meetup vol. 7
📅28th of November 2025
- Cool and crazy stuff in the Jai language: Jan Řehoř
- Základy obfuskace aneb Jaký užitek má nečitelný kód?: Martin Jabůrek
- Type Systems in Programming Languages: Luukas Pörtfors (EN)
Student PL Meetup vol. 6
📅20th of October 2025
- Povídání o děrných štítcích a páskách: čestní hosté Dr. Božena Mannová a prof. Oldřich Starý
- Zig comptime a co se s ním dá dělat: Max Hollmann
- Stacking monads: Michal Atlas
Student PL Meetup vol. 5
📅3rd of September 2025
- Zig Compiler Internals
- Weird Stuff PowerShell Does II (part 2)
- Everything you didn't want to know about TeX (part 2)
Student PL Meetup vol. 4
📅31st of July 2025
- Lessons learnt building a FEE CTU template in Typst
- Theorems for free
- Weird stuff PowerShell does II
Student PL Meetup vol. 3
📅6th of June 2025
- Variace na
RenesančníPL téma- Jak se dá jednoduše pochopit a implementovat type-based overloading
- Proč je algebraic subtyping chvílema jednodušší než opěvovaný Hindley-Milner
- Everything you didn't want to know about TeX
- Transpiling LLVM to a high-level language
Student PL Meetup vol. 2
📅9th of April 2025
- Breaking had: Jak rozbít Python snadno a rychle
- Why exceptions are like Dynamic Monads
- Experiments in slightly less broken C
Student PL Meetup vol. 1
📅12th of March 2025
- Building a high-performance linker
- Zprávy ze zákopů hardwarových IR
- Inside PDF
lang-talk meetup vol. 16
📅16th of September 2024
- Algebraic Effects
- Dependent type systems
- Can we handle dependent types?
lang-talk meetup vol. 14
📅24th of April 2024
- A Generic Introduction to Algebraic Effects
- Light Intro to Formal Logic, Proof Systems, Theorem Proving
- Introduction to Dependent Type Theory
lang-talk meetup vol. 13
📅27th of March 2024
- 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
lang-talk meetup vol. 12
📅19th of February 2024
lang-talk meetup vol. 11
📅29th of January 2024
- Isabelle/HOL (invited speaker)
- Type-level and Metaprogramming in Scala (invited speaker)
lang-talk meetup vol. 10
📅29th of November 2023
lang-talk meetup vol. 9
📅30th of October 2023
- Expression problem
- Closures are a poor man's object
- Introduction to Formal Reasoning and Theorem Proving
lang-talk meetup vol. 7
📅29th of June 2023
- S-Expression the ultimate Datum
- JavaScript is Stat...Expression oriented, continued
lang-talk meetup vol. 6
📅30th of May 2023
- Historie programování: APL
- JavaScript is Stat...Expression oriented
lang-talk meetup vol. 5
📅20th of April 2023
- Historie programování: Microsoft Visual Basic
- Let's oxidize the code
- Moderated Discussion: Shells of the Future
lang-talk meetup vol. 4
📅27th of March 2023
- 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
lang-talk meetup vol. 3
📅28th of February 2023
- Symbolic Execution, is it even useful?
- (not so) Moderated Discussion: From Functional Programming to ABIs and More
lang-talk meetup vol. 2
📅31st of January 2023
lang-talk meetup vol. 1
📅15th of December 2022
lang-talk meetup vol. 0
📅16th of November 2022
- Weird Stuff PowerShell Does
- Φ Nodes are Functions!
- WAT: Hardware Edition
- Kind of a Pointless* Talk