= Past Meetings, 2015 =

=== 80: 25th November ===

 * Sam Reis: Hash functions as Monoid Homomorphisms. [https://www.youtube.com/watch?v=zQB1erzYxdI (video)]
 * Tran Ma: Cargo Cult Complexity Testing. [https://www.youtube.com/watch?v=ir0PqTlAawQ (video)]
 * Andrew Cowie


=== 79: 21th October ===

* Eric Torreborre: Data Generation; the hard parts.
* Dom de Re: Adjoint Functors, mathspeak for 'Two sides of the same coin'
* Yutaka Nagashima: Proof automation with monads.

=== 78: 23rd September ===

 * Raphael Speyer: Rust in Practice (not Rust in Anger). [https://www.youtube.com/watch?v=UIJ1CLtcKG4 (video)]
 * Tim !McGilchrist: Lightweight higher-kinded polymorphism.  [https://www.youtube.com/watch?v=K3Y01DIMErk (video)]
 * Andrae Muys: Semiotics and the Unreasonable Effectiveness of Logic Programming in Schema Management  [https://www.youtube.com/watch?v=sBMGs9h9gk0 (video)]

=== 77: 26th August ===

 * Sharif Olorin: Approximate streaming quantiles: a case study in Haskell.
 * Boey Maun Suang: A brief tour of typed racket. [https://www.youtube.com/watch?v=wSef5dy0jfM (video)]
 * Trevor !McDonell: Type-safe runtime code generation: Accelerate to LLVM. [https://www.youtube.com/watch?v=ZGxof-LjB38 (video)]

=== 76: 24th June ===

 Coq Fight Night

=== 75: 22nd July ===

* Jacob Stanley: [http://code.ouroborus.net/fp-syd/past/2015/2015-07-Stanley-SSAvsANF.pdf SSA vs ANF] [https://www.youtube.com/watch?v=vGm_RYqFhr4 (video)]
* Mark Hibberd: Adaptive Replacement Cache: for fun, not profit. [https://www.youtube.com/watch?v=h_ki_45ZCnE (video)]
* Tim Docker: !PureScript: An Overview for Haskellers. [https://www.youtube.com/watch?v=udg01o2M4iY (video)]

=== 74: 27th May ===

 * Tony Sloane: [http://code.ouroborus.net/fp-syd/past/2015/2015-05-Sloane-Moama.pdf The Moama Functional Language Design]
 * Thomas Sutton: [http://code.ouroborus.net/fp-syd/past/2015/2015-05-Sutton-DynamicProgramming.pdf Dynamic Programming in Haskell]
 * Liam O'Connor: Model Examples, Example Models

=== 73: 22nd April ===

 * Erik de Castro Lopo: [http://code.ouroborus.net/fp-syd/past/2015/2015-04-deCastroLopo-Proxy.pdf A library for writing HTTP and HTTPS proxies]
 * Jacob Stanley: [http://code.ouroborus.net/fp-syd/past/2015/2015-04-Stanley-TailCall.pdf Get off my tail]
 * Jed Wesley-Smith: [http://code.ouroborus.net/fp-syd/past/2015/2015-04-WesleySmith-FpExperience.pdf Functional Architecture: an Experience Report]


=== 72: 25th March ===

 * Conrad Parker: [http://code.ouroborus.net/fp-syd/past/2015/2015-03-Parker-PureConsensus.pdf Pure consensus in a world full of failure.]
 * Rob Clifton-Everest: [http://code.ouroborus.net/fp-syd/past/2015/2015-03-Everest-Streaming.pdf Streaming data and Garbage Collection in Accelerate]
 * Christian Marie: [http://code.ouroborus.net/fp-syd/past/2015/2015-03-Marie-WebService.pdf Your Web Service as a Type]

=== 71: 25th February ===

 * Ben Lippmeier: [http://code.ouroborus.net/fp-syd/past/2015/2015-02-Lippmeier-RepaFlow.pdf Data Parallel Data Flow with Repa 4]
 * Christian Marie: [http://code.ouroborus.net/fp-syd/past/2015/2015-02-Marie-Tripping.pdf Round tripping balls (JSON with partial isomorphisms & Haskell)] [http://code.ouroborus.net/fp-syd/past/2015/2015-02-Marie-Tripping-Handout.pdf (handout)]
 * Amos Robinson: [http://code.ouroborus.net/fp-syd/past/2015/2015-02-Robinson-MergingMerges.pdf Merging Merges, more or less] [http://www.cse.unsw.edu.au/~amosr/blog/2015-02-25-mergingmerges.html notes]