2025 event planning

[frasertweedale]

We will use this issue to plan and schedule events for 2025.

Talks

Schedule

• 2025-01-xx
  • TODO social event?
• 2025-02-11 - Regular meetup
  • TODO
• 2025-03-11 - Regular meetup
  • TODO
• 2025-04-08 - Regular meetup
  • TODO
• 2025-05-13 - Regular meetup
  • TODO
• 2025-06-10 - Regular meetup
  • TODO
• 2025-07-08 - Regular meetup
  • TODO
• 2025-08-12 - Regular meetup
  • TODO
• 2025-09-09 - Regular meetup
  • TODO
• 2025-10-14 - Regular meetup
  • TODO
• 2025-11-11 - Regular meetup
  • TODO
• 2025-12-xx - Social event?
  • TODO

Concrete but unscheduled

These are concrete talk proposals where we have a willing presenter. Please file separate issues for general topic requests.

• Naso Evangelou-Oost - Subtypes and quotient types in Lean 4
• @donovancrichton - mystery Dependent Types topic based on yet-to-be-published paper.
• Siva Kalyan - pandoc - Just learned that Pandoc is written in Haskell! I’d love to hear a talk on how Pandoc does AST parsing. (Or I could try giving such a talk.)
• @flatwhatson - Hygienic Macrology in Scheme
• @flatwhatson - Type Reconstruction in Pre-Scheme
• @rtpg - Avoiding backend/frontend interface mismatch issues without codegen using Typescript

Requested topics

• Debugging in Haskell (stack traces, etc)

Venue

• BCC Library Brisbane Square

Hack nights

Would be good to kick of hack night again

Suggested activities / hack night projects

• Migrate applied FP course from waaargonaut to aeson.

[flatwhatson]

I can do (at least) the following topics:

• Hygienic Macrology in Scheme
• Type Reconstruction in Pre-Scheme

[rtpg]

I can give a talk on removing backend/frontend interface mismatch issues without codegen using Typescript (i.e. making sure your backend and frontend stay in sync).