home.social

#bfpg — Public Fediverse posts

Live and recent posts from across the Fediverse tagged #bfpg, aggregated by home.social.

  1. Brisbane Functional Programming Group #BFPG Hack Day, Saturday 20 June at UQ. Open to #FP newbies, wizards, and everyone in between. Come learn, share, ask, rant, and yak-shave. luma.com/0je3g6ft

    Mega thanks to @mstheasaurus and George for stepping up to organise and host this edition.

  2. Carlo introduces Datastar, the hypermedia framework #BFPG

  3. What is the derivative of a data type? Tim Lamberton teaching data type differentiation at #BFPG.

  4. Brisbane Functional Programming Group #BFPG May 12: Tim Lamberton will teach us about data type derivatives and zippers, and Carlo will introduce Datastar, his new #Haskell framework for interactive web apps. Be there or a be a lambda cube! luma.com/72tqx0nh

  5. Brisbane Functional Programming Group #BFPG next Tuesday 14 April: Haskell on AWS Lambda + Hack Day show & tell. Newcomers are always welcome! luma.com/cjlche2l

  6. Brisbane Functional Programming Group #BFPG April meetup, Tue 14th. Jack will present about using #Haskell with #AWS Lambda. And we will have a Hack Day review where people will demo or share what they did at Hack Day. Be there or be a lambda cube!

    luma.com/cjlche2l

  7. Functional programmers and #FP curious people in Brisbane: don't miss #BFPG Hack Day this Saturday 28 March at UQ: luma.com/uu28az9h

  8. Thanks to Sirius-beta Labs who are once again sponsoring lunch for #BFPG Hack Day. UQ St Lucia, Saturday 28 March. Be there or be a lambda cube!

    #FP #Haskell #OCaml #Idris #Gleam #Lean #Scala #Erlang #Elixir #FSharp #Clojure #Lisp #Agda #Rocq #Rust #Scheme #Racket

    luma.com/uu28az9h

  9. Thanks to Sirius-beta Labs who are once again sponsoring lunch for #BFPG Hack Day. UQ St Lucia, Saturday 28 March. Be there or be a lambda cube!

    #FP #Haskell #OCaml #Idris #Gleam #Lean #Scala #Erlang #Elixir #FSharp #Clojure #Lisp #Agda #Rocq #Rust #Scheme #Racket

    luma.com/uu28az9h

  10. Thanks to Sirius-beta Labs who are once again sponsoring lunch for #BFPG Hack Day. UQ St Lucia, Saturday 28 March. Be there or be a lambda cube!

    #FP #Haskell #OCaml #Idris #Gleam #Lean #Scala #Erlang #Elixir #FSharp #Clojure #Lisp #Agda #Rocq #Rust #Scheme #Racket

    luma.com/uu28az9h

  11. Thanks to Sirius-beta Labs who are once again sponsoring lunch for #BFPG Hack Day. UQ St Lucia, Saturday 28 March. Be there or be a lambda cube!

    #FP #Haskell #OCaml #Idris #Gleam #Lean #Scala #Erlang #Elixir #FSharp #Clojure #Lisp #Agda #Rocq #Rust #Scheme #Racket

    luma.com/uu28az9h

  12. Thanks to Sirius-beta Labs who are once again sponsoring lunch for #BFPG Hack Day. UQ St Lucia, Saturday 28 March. Be there or be a lambda cube!

    #FP #Haskell #OCaml #Idris #Gleam #Lean #Scala #Erlang #Elixir #FSharp #Clojure #Lisp #Agda #Rocq #Rust #Scheme #Racket

    luma.com/uu28az9h

  13. Brisbane Functional Programming Group #BFPG Hack Day is back on Saturday March 28th at UQ. Come learn, share, and shave your yak! luma.com/uu28az9h

  14. 34 Years of Monad Tutorials - Has anyone learned anything? - An anthropological study

    Carlo Hamalainen @ Brisbane Functional Programming Group #BFPG #FP

  15. Brisbane Functional Programming Group #BFPG - Donovan Crichton presents "Algebraic structures as interfaces" #FP

  16. Brisbane Functional Programming Group #BFPG tomorrow: algebraic structures as interfaces + the monad tutorial fallacy. Be there or a be a lambda cube! #FP

    luma.com/wv1zt5em

  17. Two 🔥 talks for Brisbane Functional Programming Group #BFPG #FP March meetup next Tuesday:

    - "Algebraic Structures as Interfaces" by Donovan Crichton 🧠
    - "34 years of Monad tutorials - has anyone learned anything? An anthropological study" by Carlo Hamalainen 🌯

    Not to be missed!

    luma.com/wv1zt5em

  18. Here's Jack's summary slide with all the tips and takeaways! #BFPG #FP #Haskell

  19. Jack Kelly explains Servant API packages - Brisbane Functional Programming Group #BFPG #FP #Haskell

  20. George Wilson presents "Servers as Functions" - Brisbane Functional Programming Group #BFPG #FP

  21. Brisbane Functional Programming Group #BFPG tomorrow - two amazing Web-flavoured presentations by Jack and George. See yas there, curious minds! luma.com/x8pegzwt

  22. Brisbane Functional Programming Group #BFPG first regular session of 2026 next Tuesday 10 Feb: a web double header - Servers as functions (George Wilson) + Servant API packages (Jack Kelly).

    luma.com/x8pegzwt

  23. Brisbane Functional Programming Group #BFPG 2026 kickoff BBQ lunch is tomorrow, from 11:30 @ Roma St Parkland. Be there or be a lambda cube! luma.com/8s8wgr6i

  24. Brisbane Functional Programming Group #BFPG 2026 kickoff Saturday 31 Jan - BBQ @ Roma Street Parkland. Be there or a be a lambda cube! luma.com/8s8wgr6i

  25. Brisbane Functional Programming Group #BFPG 2026 kickoff event - BBQ at Roma St Parkland - Sat 2026-01-31 from 11:30. Newcomers are welcome!

    luma.com/8s8wgr6i

  26. Brisbane Functional Programming Group #BFPG end of year social event is TOMORROW at the Osbourne Hotel. Newcomers are welcome! See yas there, curious minds. luma.com/84hjyesk

  27. Brisbane Functional Programming Group #BFPG end of year social event - Tuesday 9 December at the Osbourne Hotel. Newcomers are welcome. Be there or be a lambda cube! luma.com/84hjyesk

  28. Brisbane Functional Programming Group #BFPG EOY social event, Osbourne Hotel, Tuesday 9 December. Newcomers and YOW! Conference attendees are welcome. luma.com/84hjyesk

  29. Brisbane Functional Programming Group #BFPG regular sessions have wrapped for 2025. We will have a social event in December - details soon.

    In the meantime, HUGE thanks to all our wonderful presenters this year: Jack, Donovan, Thea, Isaac, Carlo, Siva, Rob, George, Cameron, Raphael, Mike and Mark... and me too, I suppose.

    bfpg.org/

  30. @hackuador #BFPG November meetup:
    Siva and Mark (presenting from Germany!) talking about Function Programming in Python

  31. Brisbane Functional Programming Group #BFPG tonight: Serialisation in #Haskell + #FP in Python. See yas soon, curious minds!

    luma.com/kq933nnz

  32. Great lineup for Brisbane Functional Programming Group #BFPG next Tuesday November 11!

    - Serializotron: zero-boilerplate serialisation for #Haskell (Carlo Hamalainen)
    - tmefunc: syntactic sugar for #FP in #Python (T. Mark Ellison and Siva Kalyan)

    luma.com/kq933nnz

    This is our final regular session for 2025, with a social event planned for December. Be there or be a lambda cube!

  33. #BFPG Hack Day was absolutely bonza. Thanks to all who came - newcomers especially - and to Sirius-beta Labs who generously sponsored lunch.

    What you can't see in the photo is the whiteboard wall completely chockers with ideas, code, and type theory proofs - sure signs of a productive and intellectually stimulating day!

    November 11 is our final talks night of 2025, followed by a social event in December. Be there or be a lambda cube! bfpg.org/

  34. #BFPG next Tues 9 July: Total FP via Dependent Types (Donovan Crichton) + #ZuriHac / #Haskell Ecosystem Workshop / Lambda Days recap (Jack & Fraser). All are welcome!

    meetup.com/brisbane-functional

  35. Brisbane Functional Programming Group #BFPG July meetup: Total FP via Dependent Types (Donovan Crichton) + #ZuriHac / #Haskell Ecosystem Workshop / Lambda Days recap (Jack & Fraser).

    meetup.com/brisbane-functional

  36. Brisbane Functional Programming Group #BFPG tomorrow (Tue 8 Apr) with two amazing presentations:

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

    lu.ma/6j6dfaif

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

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

    Be there or be a lamba cube!

    lu.ma/6j6dfaif

  38. Rob showing us how to build a #Hakyll site at Brisbane Functional Programming Group #BFPG #FP #Haskell

  39. Brisbane Functional Programming Group #BFPG tomorrow 2025-07-08: #Pandoc + #Hakyll. Be there or be a lambda cube! lu.ma/waqpteiq #FP #Haskell

  40. Brisbane Functional Programming Group #BFPG next week: #Pandoc + #Hakyll double header! Come learn about these amazing tools (yes, real world #Haskell!). #FP newcomers are always welcome! lu.ma/waqpteiq

  41. Brisbane Functional Programming Group #BFPG March meetup is CANCELLED, due to ongoing impact of TC Alfred. We'll reschedule the #Pandoc and #Hakyll talks later this year. Hope to see you in April!

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

  43. Thanks to speakers and attendees at Brisbane Functional Programming Group #BFPG last night. Next month's topics: #Pandoc and #Hakyll! In the meantime, come hang on our Discord - invite link on the event pages at bfpg.org. #FP