meetups

#lang-talk meetups

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.

📬 Get updates to your mailbox

We will keep you notified when the next meetup is getting ready.

---

🎧 PL Podcasts

A list of podcasts that are dedicated to PL design or compiler construction.

---

🎙 Past Talks and the 🎥 Complete YouTube Playlist

lang-talk meetup vol. 15

🎥 Recording: recording will be available soon

📅 Date: 23. 5. at 3 pm

📋 Line up:

• Lua and register-based VM

---

lang-talk meetup vol. 14

🎥 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

---

lang-talk meetup vol. 13

🎥 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

---

lang-talk meetup vol. 12

🎥 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)

---

lang-talk meetup vol. 11

📅 Date: 29. January 2024

📋 Line up:

• Isabelle/HOL (invited speaker)
• Type-level and Metaprogramming in Scala (invited speaker)

---

lang-talk meetup vol. 10

📅 Date: 29. November 2023

📋 Line up:

• Automated Theorem Proving = Logic Programming
• Scalene!
• CLOS: The basic parts & reading lisp

---

lang-talk meetup vol. 9

📅 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

---

lang-talk meetup vol. 8

📅 Date: 26. July 2023

📋 Line up:

• How to build and break LLVM

---

lang-talk meetup vol. 7

🎥 Recording:

• part 1: youtu.be/-ftxd2QNXis
• part 2: youtu.be/pUJqE9v3bsI

📅 Date: 29. June 2023

📋 Line up:

• S-Expression the ultimate Datum
• JavaScript is Stat…Expression oriented, continued

---

lang-talk meetup vol. 6

🎥 Recording: youtu.be/SCGJM7OkGmU

📅 Date: 30. May 2023

📋 Line up:

• Historie programování: APL
• JavaScript is Stat…Expression oriented

---

lang-talk meetup vol. 5

🎥 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

---

lang-talk meetup vol. 4

🎥 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

---

lang-talk meetup vol. 3

🎥 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

---

lang-talk meetup vol. 2

🎥 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

---

lang-talk meetup vol. 1

🎥 Recording: youtu.be/AFKpPIl9RDU

📅 Date: 15. December 2022

📋 Line up:

• Malbolge: the self-modifying puzzle?
  • https://lutter.cc/malbolge/debugger.html
  • http://www.malbolge.doleczek.pl
• Project Bluex

---

lang-talk meetup vol. 0

🎥 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