= Past Meetings, 2014 = === 69: 22nd October 2014 === * Max Swadling: !FilePaths, C++ and Web.Cloud: 3 every day problems with elegant solutions. * Liam O'Connor: Keeping the Neighbours in Order (Agda and dependent types). === 68: 24th September 2014 === * Eric Torreborre: The Expression Problem solved, finally! * Dom De Re: Refined Types * Raphael Speyer: Software defined networking === 67: 20th August 2014 === * Tony Sloane: [http://code.ouroborus.net/fp-syd/past/2014/2014-08-Sloane-CPS.pdf Compiling Strict Functional Languages using Continuation Passing Style] * Thomas Sewell: The Kepler conjecture * Tran Ma: [http://code.ouroborus.net/fp-syd/past/2014/2014-08-Ma-StreamingOT.pdf Streaming OT (or "the wonders of Gabriel Gonzalez"] ) === 66: 23rd July 2014 === * Liam O'Conner: Hilbert - Two graphics theorem provers * Shane Stephens: Effects in Idris and (maybe) Haskell * Eric Willigers: More efficient Combinatory Logic === 65: 25th June 2014 === * Ben Sinclair: Haskell and ABC iView * Declan Conlon: Kicking the tires on linear sorting * Hugh Giddens: Codensity === 64: 28th May 2014 === * Ben Lippmeier: [http://code.ouroborus.net/fp-syd/past/2014/2014-05-Lippmeier-Relational.pdf Flattening Nested Database Queries] * Frederick Madsen: Streaming in Accelerate * Trevor !McDonell: Tales from NVIDIA === 63: 23rd April 2014 === * Max Swadling: Extended Uses of Template Meta-programming in Haskell * Coq Fight Night[[br]] Participants: - Amos Robinson - Liam O'Conner - Dom De Re - Tony Sloane - Ben Lippmeier === 62: THURSDAY 20th March 2014 === * Yaron Minsky: GADTs for Speed Demons. * Tim Docker: ADL - A language for describing communicating actor systems. * Rob Everest: Nested parallelism in Accelerate. === 61: 26th February === * Amos Robinson: [http://code.ouroborus.net/fp-syd/past/2014/2014-02-Robinson-Fusion.pdf Better fusion for filters in GHC] * Erik de Castro Lopo: A new big integer library for Haskell. * Mark Hibberd: [http://code.ouroborus.net/fp-syd/past/2014/2014-02-Hibberd-Lens.pdf lens - more than just a curiosity.] === --: January (no meeting) ===