I had the opportunity to run a workshop at LambdaJam Brisbane, and it was a blast. The conference is refreshing because it attracts all the really deep thinkers from the software development community in Australia, and it throws in a couple of big name international speakers as well.
They’ve just released the photos here. I’m sharing a few below.
It was great to meet the guys from the Melbourne and Brisbane functional programming communities, and continue the conversations over dinner.
Hilights from the talks included:
- Mark Hibberd on creating a version of tic-tac-toe in Idris using dependent types that was provably correct at compile time
- Jen Smith on Clojure Code smells
- Declan Condon on sorting structures similar to a radix-sort in Scala
- Leonardo Borges on reactive web applications in Clojure
- Ken Scambler on Type safe Separation of Decision from Interpretation using Free Monads for a Tank Game in Scala
- Tony Morris on the History of Lenses
- James Sofra on building a geo-spacial indexing application in Datomic