wiki:Past/2015

Past Meetings, 2015

80: 25th November

  • Sam Reis: Hash functions as Monoid Homomorphisms. (video)
  • Tran Ma: Cargo Cult Complexity Testing. (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). (video)
  • Tim McGilchrist: Lightweight higher-kinded polymorphism. (video)
  • Andrae Muys: Semiotics and the Unreasonable Effectiveness of Logic Programming in Schema Management (video)

77: 26th August

  • Sharif Olorin: Approximate streaming quantiles: a case study in Haskell.
  • Boey Maun Suang: A brief tour of typed racket. (video)
  • Trevor McDonell: Type-safe runtime code generation: Accelerate to LLVM. (video)

76: 24th June

Coq Fight Night

  • Final: Amos Robonson vs Mitch Buckley. Amos wins. (video)

75: 22nd July

74: 27th May

73: 22nd April

72: 25th March

71: 25th February

Last modified 19 months ago Last modified on Mar 18, 2016, 1:34:54 AM