The DOM in One Hand

• Strange Loop
• Q&A Panel - ElmConf
• radix sort
• Radix Sort Visualization
• Fritz Henglein
• Generic Top-down Discrimination for Sorting and Partitioning in Linear Time - Fritz Henglein
• Quicker Sort? Implementing generic linear time sorting - Declan Conlon
• Discrimination is Wrong: Improving Productivity - Edward Kmett
• Denotational Design: From Meanings to Programs
• Denotational Semantics
• F-Algebra

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

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

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

You write Idris? Prove it!

• elm-constraint
• Functional All the Things: A Functional Panel - Forward 4 Web Summit
• Lambda Cube
• Contempt Culture