meetups

This repository has been deprecated!

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.

#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.

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

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

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:

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

lang-talk meetup vol. 1

🎥 Recording: youtu.be/AFKpPIl9RDU

📅 Date: 15. December 2022

📋 Line up:

lang-talk meetup vol. 0

🎥 Recording: youtu.be/ECtC_Y6RLBI

📅 Date: 16. November 2022

📋 Line up: