We are in the process of changing organizers. Soon, we will archive this repository and the organization. The new way for the community to communicate will be a Discord server. We will also move to a different repository and a different website. I will update this document when the migration is done for the last time and make it read-only then.
This is the page for our small community of PL enthusiasts. The effort started on 16th November 2022. That was the date of our first meetup.
🎙 Past Talks and the 🎥 Complete YouTube Playlist
🎥 Recording: recording will be available soon
📅 Date: 23. 5. at 3 pm
📋 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