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.
We will keep you notified when a next meetup is getting ready.
A bunch of stuff we like and want to share with each other.
A list of podcasts that are relevant to the PL research and implementation.
A list of papers, books and other kinds of texts we read and love.
Recordings of talks but not only.
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.
π₯ Recording: youtu.be/D2EPM60-MPE
π Date: 16. November 2022
π Line up:
- Weird Stuff PowerShell Does
- Ξ¦ Nodes are Functions!
- WAT: Hardware Edition
- Kind of a Pointless* Talk
π₯ Recording: youtube.com/live/uJkWmLQE5LI
π Date: 15. December 2022
π Line up:
π₯ Recording: youtube.com/live/P9Hqp_OVjL0
π 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: 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
π₯ 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
π₯ 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