=== 110: 23rd January === * Gene Taylor: Inductive Graphs in Haskell * Ben Lippmeier: [http://code.ouroborus.net/fp-syd/past/2019/2019-01-Lippmeier-TypesAreCallingConventions.pdf Types (are/want to be) Calling Conventions] === 111: 27th February === * Barry Jay: Computing with Trees not Numbers * Jed Wesley-Smith: Why "Names Don't Matter" Matters === 112: 27th March === * John Ky: Parsing JSON with SIMD in Haskell (and C) * Rob Howard: !JavaScript and FP === 113: 24th April === * Ben Lippmeier: [http://code.ouroborus.net/fp-syd/past/2019/2019-04-Lippmeier-ProductionRules.pdf Smart Contracts as Authorized Production Rules] * Rongmin Lu: [http://code.ouroborus.net/fp-syd/past/2019/2019-04-Lu-Paradox.pdf William Lawvere and the paradox generating machine] === 114: 22nd May === * Mark Hopkins: Dependent Types Made Difficult * Erik de Castro Lopo: Recent Developments at IOHK === 115: 26th June === * Huw Campbell: Nix package manager for easier collaboration and development * Tim !McGilchrist: Row Polymorphism in Action: How you can mix OO, FP and not end up with Scala === 116: 24th July === * Geoffrey Huntley: Watch me format my wife's computer. * Amos Robinson: Program-carrying Proofs in Coq: using tactics for dependently typed programming. === 117: 28th August === * Sam Roberton: Reflex-FRP in practice. * Andrae Muys: Intermediate level DAML development. === 118: 25th September === * Michael Sproul: CakeML for the working programmer. * Erik de Castro Lopo: Haskell with PostgreSQL === 119: 23rd October === * Ben Lippmeier: The Why3 theorem proving framework. * Rongmin Lu: The differentiable curry and other misadventures in differentiable programming. === 120: 27th November === * Jost Berthold * (speaker needed)