meetups

#lang-talk meetups

This is the page for our small comunity 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 a next meetup is getting ready.

📌 Future Talks

Check it out if you want to know what is up. You can also add stuff to the list - even if you don’t want to give that talk yourself, someone else might pick it up.

⌛ Upcoming Talks

lang-talk meetup vol. 15

🎥 Recording: might be recorded

📅 Date: TBD

📋 Line up: TBD

🎙 Past Talks and the 🎥 Complete YouTube Playlist

lang-talk meetup vol. 14

🎥 Recording: might be recorded

📅 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

🎥 Recordings: TBA

📅 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:

📅 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

🎥 Recording: not recorded

📅 Date: 29. January 2024

📋 Line up:

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

lang-talk meetup vol. 10

🎥 Recording: not recorded

📅 Date: 29. November 2023

📋 Line up:

lang-talk meetup vol. 9

🎥 Recording: not recorded

📅 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

🎥 Recording: not recorded

📅 Date: 26. July 2023

📋 Line up:

How to build and break LLVM

lang-talk meetup vol. 7

🎥 Recording:

📅 Date: 29. June 2023

📋 Line up:

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

lang-talk meetup vol. 6

🎥 Recording: youtube.com/live/WpnomZmQNcE

📅 Date: 30. May 2023

📋 Line up:

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

lang-talk meetup vol. 5

🎥 Recording: youtube.com/live/yu9Ez4XnmnM

📅 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: youtube.com/live/i6l8zdv19WI

📅 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: youtube.com/live/P6YdCdkjTtA

📅 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: youtube.com/live/P9Hqp_OVjL0

📅 Date: 31. January 2023

📋 Line up:

lang-talk meetup vol. 1

🎥 Recording: youtube.com/live/uJkWmLQE5LI

📅 Date: 15. December 2022

📋 Line up:

lang-talk meetup vol. 0

🎥 Recording: youtu.be/D2EPM60-MPE

📅 Date: 16. November 2022

📋 Line up: