functional.cafe is one of the many independent Mastodon servers you can use to participate in the fediverse.
functional.cafe is an instance for people interested in functional programming and languages.

Server stats:

221
active users

#BFPG

1 post1 participant0 posts today
Public

Exciting lineup for Brisbane Functional Programming Group April meetup, Tue 2025-04-08.

- An overview of IT education in Queensland (Thea Koutsoukis)
- Explicit substitutions pt 1: and background (Donovan Crichton)

Be there or be a lamba cube!

lu.ma/6j6dfaif

lu.maBFPG Meetup - April 2025 - IT Education in Qld + STLC · LumaJoin the BFPG Discord: https://discord.gg/yYz2d8w7FY Agenda 18:00: Welcome and setup Presentation #1: An overview of IT education in Queensland - Thea…
Public

Brisbane Functional Programming Group next Tuesday 2025-03-11. A fantastic double-header with introductory talks about (Siva Kalyan) and (Rob Ellen). Be there or be a lambda cube! lu.ma/lpbnfbfo

lu.maBFPG Meetup - March 2025 - Pandoc + Hakyll · LumaJoin the BFPG Discord: https://discord.gg/yYz2d8w7FY Agenda 18:00: Welcome and setup Presentation #1: Introduction to Pandoc by Siva Kalyan Presentation #2:…
Public

Talk change for tonight. The explicit substitutions talk will be rescheduled. In its place, parser combinators in (live-coding a JSON parser from scratch).

Be there or be a lambda cube. lu.ma/85i70qns

lu.maBFPG Meetup - February 2025 - Explicit substitutions + Mentor networking session · LumaAgenda 18:00: Welcome and setup Presentation #1: Lambda calculi with explicit substitutions - Donovan Crichton Presentation #2: Mentor networking session -…
Public

Brisbane Functional Programming Group meetup TOMORROW - Lambda calculi with explicit substitutions (Donovan Crichton) + Mentor networking session hosted by Jack Kelly. See yas there, curious minds. lu.ma/85i70qns

lu.maBFPG Meetup - February 2025 - Explicit substitutions + Mentor networking session · LumaAgenda 18:00: Welcome and setup Presentation #1: Lambda calculi with explicit substitutions - Donovan Crichton Presentation #2: Mentor networking session -…
Public

Brisbane Functional Programming Group February meetup Tuesday 2025-02-11 - Lambda calculi with explicit substitutions (Donovan Crichton) + Mentor networking session hosted by Jack Kelly. Be there or be a lambda cube!
lu.ma/85i70qns

lu.maBFPG Meetup - February 2025 - Explicit substitutions + Mentor networking session · LumaAgenda 18:00: Welcome and setup Presentation #1: Lambda calculi with explicit substitutions - Donovan Crichton Presentation #2: Mentor networking session -…
Public

next Tuesday: our final talks night for 2024 (social event in Dec). streaming library (Jack Kelly) + the new set-theoretic type system for (Rob Ellen). Be there or a be a lambda cube! lu.ma/wphaomi7

lu.maBFPG Meetup - November 2024 - Elixir's set-theoretic type system + Haskell streaming · LumaAgenda 18:00: Welcome and setup Presentation #1: The new Set-Theoretic Type System for Elixir (Rob Ellen) Presentation #2: Understanding the core of streaming,…
Public

Brisbane Functional Programming Group Tue Nov 12. Two technical talks for our last regular session of 2024: "streaming" library (Jack Kelly) + the new set-theoretic type system for (Rob Ellen). lu.ma/wphaomi7

lu.maBFPG Meetup - November 2024 - Elixir's set-theoretic type system + Haskell streaming · LumaAgenda 18:00: Welcome and setup Presentation #1: The new Set-Theoretic Type System for Elixir (Rob Ellen) Presentation #2: Understanding the core of streaming,…