What Are You Doing, Dog?

• Magic Read Along is creating a Podcast
• Switch from Eff to IO
• purescript-st
• purescript-exceptions
• purescript-run
• purescript-run-console-experiment
• recursion schemes
• Hutton's razor
• Flow
• TypeScript
• create-react-app
• Medium
• Disqus
• Slate
• Automatic differentiation
• A variant on UIs I'd like to try - Phil Freeman
• Zipper
• Zippers Using Representable And Cofree
• Making Impossible States Impossible - Richard Feldman

Curry-Howard the Duck

• Teaching New Tricks to Old Programs - Conal Elliott
• Category
• Cartesian Monoidal Category
• Cocartesian Monoidal Category
• Representable Functor
• Comonad
• Building up Zippers from Distributive, Representable, and Cofree
• Cofree
• Free From Tree
• Rose Tree
• Mutation Testing
• QuickCheck
• Heyting Algebra
• Boolean Algebra
• Law of excluded middle

It's Like Faulkner

• Sweet Baby Ray's
• Elm is Wrong
• Why type classes aren’t important in Elm yet
• Adjunction
• Free
• Cofree
• Reader
• Writer
• Env
• Monad
• Comonad
• Any homomorphism, f, between monoids is completely determined once you
  know where a set of generators of the monoid map under the
  homomorphism, and vice versa. - Dan Piponi
• Category
• Forgetful functor
• Isomorphism
• Galois connection
• If you find that a design forces you into making ad hoc decisions, you are missing an adjunction somewhere. - Rúnar Bjarnason
• React Component
• Contravariant
• Closure
• Profunctor
• Opaleye
• Arrows
• postgresql-typed
• Yesod
• scotty
• Everything Old is New Again: Quoted Domain Specific Languages - Philip Wadler
• Views