That's the Brakes

• QuickSpec
• Denotational Design: From Meanings to Programs
• Denotational Semantics
• StrangeLoop
• Practically Functional Programming

Keep It Simple Stupid

• Bounded join semi-lattice
• First
• Four Solutions to a Trivial Problem - Guy L. Steele Jr.
• YOW Lambda Jam 2016
• Propagators - Edward Kmett
• The Expression Problem and Lenses - Tony Morris

There's No Royal Road to the Comonad

• Hell is Other Robots
• PureScript
• elm
• TypeScript
• Fable
• Scala.js
• React rally
• Comonads as Spaces
• Kan Extensions
• Counterexamples of Type Classes

The NSA was using DNA to make a DFA

• How to make ad-hoc polymorphism less ad hoc - Wadler & Blott
• Representable Functors part 1
• Representable Functors part 2
• Representable Functors part 3
• Mealy Machine
• Moore Machine
• purescript-automata
• Category Theory by Tom LaGatta

Space Type Fibration

• elm-proof
• The Univalence axiom
• The HoTT Book
• The Life-Changing Magic of Tidying Up - Marie Kondo
• Katamari Damacy
• It's All Too Much - Peter Walsh
• Church Encoding
• React Rally

It's a Space Zipper

• elm-profunctors - (0:48)
• Comonads as Spaces - (8:24)
• Cofun with cofree comonads - (11:23)
• Professor Frisby's Mostly Adequate Guide to Functional Programming - (21:53)
• @MagicReadAlong - (22:46)

There is no headache, only Azul!

This week Brian and Hardy follow up on Brian's workshops, code trade-offs, and reading papers.

• 2 Dope Queens
• Practically Functional Programming
• Abstractions Panel
• Algebra: Chapter 0

Attack of the Brians

This week Brian and Hardy discuss library books, revisit the bear cam, Brian's origin story, and code tradeoffs.

• The World According to Garp
• Destroy all Ifs
• Die Flags Die
• Cutting-Edge 3D Game Programming
• 3D Game Programming with C++: Learn the Insider Secrets of Today's Professional Game Developers
• The Continuation Monad
• Haste

S&MPJ

• Representable Functors part 1
• Representable Functors part 2
• Representable Functors part 3
• Bear cam
• Anticommutativity
• Losing motivation - FunFunFunction #25

Code Gentrification

• Axle Rose on a throne
• Phil Freeman - Fun with Profunctors
• PureScript Optic UI
• PyreScript
• purerl
• Strangler Application