Posts tagged fp-syd

There are 8 posts tagged with fp-syd.

If you are interested in "fp-syd" why not subscribe to the Atom feed or RSS feed?

Second Annual FP-Syd Coq Fight

Last night was the second annual FP-Syd Coq Fight, the only competitive theorem proving event in the world! Here are some notes and a recording of the final round live stream.

Posted by Thomas Sutton on June 24, 2015. Tagged with: events, fp-syd, coq, theorem proving, competition, video.

Retcon and dynamic programming talks

I've given two talks in the last week or so: one on Retcon and another on dynamic programming in Haskell. Here are the slides.

Posted by Thomas Sutton on May 27, 2015. Tagged with: presentations, events, fp-syd, lambdajam.

FP-Syd, October 2013

The October 2013 meeting of the FP-Syd functional programming group in Sydney heard talks about data flow fusion, a constrained domain specific language for building filesystems and a round-up of ICFP.

Posted by Thomas Sutton on October 16, 2013. Tagged with: event, fp-syd, meetup, functional programming, icfp.

FP-Syd, August 2013

The August 2013 meeting of the FP-Syd functional programming group in Sydney heard talks about simulation testing, functional languages targetting Javascript, and SAT solving.

Posted by Thomas Sutton on August 28, 2013. Tagged with: event, functional programming, fp-syd, simulation, testing, compiling, SAT, logic.

FP-Syd, July 2013

Here are some notes from the July, 2013 meeting of the Sydney functional programming group.

Posted by Thomas Sutton on July 24, 2013. Tagged with: event, functional programming, fp-syd, haskell, array programming, discipline, typing.

FP-Syd, June 2013

FP-Syd in June had talks about cellular automata in Haksell, and distributed systems.

Posted by Thomas Sutton on June 26, 2013. Tagged with: event, haskell, fp-syd, meetup, functional programming, cellular automata, array programming, distributed systems.

FP-Syd, May 2013

The May 2013 meeting of the FP-Syd functional programming group in Sydney heard talks about variance in Scala, monoids, and optimising pure loops.

Posted by Thomas Sutton on May 29, 2013. Tagged with: event, fp-syd, meetup, functional programming, scala, haskell, variance, monoids.

FP-Syd, April 2013

The April 2013 meeting of the FP-Syd group had presentations about GPU programming with Accelerate and little languages using the Free data structure.

Posted by Thomas Sutton on April 24, 2013. Tagged with: event, haskell, monads, gpu, functional programming, user group, fp-syd, meetup.