Student PL Meetup vol. 2
📅9. 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
📅12. March 2025
- Building a high-performance linker
- Zprávy ze zákopů hardwarových IR
- Inside PDF
lang-talk meetup vol. 16
📅16. September 2024
- Algebraic Effects
- Dependent type systems
- Can we handle dependent types?
lang-talk meetup vol. 14
📅24. 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
📅27. 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
📅19. February 2024
lang-talk meetup vol. 11
📅29. January 2024
- Isabelle/HOL (invited speaker)
- Type-level and Metaprogramming in Scala (invited speaker)
lang-talk meetup vol. 10
📅29. November 2023
lang-talk meetup vol. 9
📅30. October 2023
- Expression problem
- Closures are a poor man's object
- Introduction to Formal Reasoning and Theorem Proving
lang-talk meetup vol. 7
📅29. June 2023
- S-Expression the ultimate Datum
- JavaScript is Stat...Expression oriented, continued
lang-talk meetup vol. 6
📅30. May 2023
- Historie programování: APL
- JavaScript is Stat...Expression oriented
lang-talk meetup vol. 5
📅20. April 2023
- Historie programování: Microsoft Visual Basic
- Let's oxidize the code
- Moderated Discussion: Shells of the Future
lang-talk meetup vol. 4
📅27. 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
📅28. February 2023
- Symbolic Execution, is it even useful?
- (not so) Moderated Discussion: From Functional Programming to ABIs and More
lang-talk meetup vol. 2
📅31. January 2023
lang-talk meetup vol. 1
📅15. December 2022
lang-talk meetup vol. 0
📅16. November 2022
- Weird Stuff PowerShell Does
- Φ Nodes are Functions!
- WAT: Hardware Edition
- Kind of a Pointless* Talk