Curry-Howard the Duck

Curry-Howard the Duck

Brian Lonsdorf and Hardy Jones

Download

• 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

The Howling Fantods

The Howling Fantods

Brian Lonsdorf & Hardy Jones

Download

• Zodiac Killer
• Ted Cruz-Zodiac meme
• Triumph, the Insult Comic Dog
• Zipper
• Distributive
• Representable
• Traversable
• Adjunction
• purescript-substructural
• Substructural type system
• Free Modules and Functional Linear Functionals
• Module
• Moby Dick
• HOUND Voice Search & Assistant
• Pazuzu - Captain Howdy
• Moore Machine
• Mealy Machine
• The Expression Problem
• DDD
• Monoids: Theme and Variations

Maybe You Don't Need to Go All Kleisli

Maybe You Don't Need to Go All Kleisli

Brian Lonsdorf & Hardy Jones

Download

• TDD
• BDD
• A11y
• Screen reader
• What's Next for Our Programming Languages?
• Dafny
• Do loop
• Sandi Metz
• SOLID
• Code smell
• Field
• Markdown
• GitHub Flavored Markdown
• Group
• Module
• Chris Penner
• Murphy Randle
• Elm Town
• Elm Town Spotlight - Hardy Jones

Strawbeeries

Strawbeeries

Brian Lonsdorf & Hardy Jones

Download

• Wonder Woman
• Gifted
• Foxtail
• Aqua Globes
• Linear Types Can Change the World
• Introduction to Lattices and Order
• Lattice Functions, Pair Algebras, and Finite-State Machines
• CSS Animations
• Semiring
• Moore machine
• Mealy machine
• DFA
• NFA
  • RE
  • Monad Reader 16
  • The Pumping Lemma
  • Lemmings

Bottom Left

Bottom Left

Brian Lonsdorf & Hardy Jones

Download

• Alemany Farm
• purerl
• Awesome Static Analysis - Ruby
• Rubycritic
• Flay
• Flog
• Reek
• Churn and Complexity
• Hopefully-meaningful Metrics
• Getting Empirical about Refactoring
• history of japan
• history of the entire world, i guess
• David icke

Like a Parent at a Beauty Pagent

Like a Parent at a Beauty Pagent

Brian Lonsdorf & Hardy Jones

Download

• LamdaConf 2017
• Integrating PureScript and Halogen into JavaScript Applications
• How to Build a Blog in 10 Minutes with Hyper
• Lattice
• CSS Animation
• Keyframe
• Transition
• Mealy Machine
• Moore Machine
• Profunctor
• Arrowized FRP
• Semiring
• Ring
• Adjunctions in Everyday Life
• Corecursion, Codata and Just a Little Combinatorial Game Theory
• The Zipper
• The Algebra of Algebraic Data Types - Chris Taylor
• The Algebra of Algebraic Data Types, Part 1
• The Algebra of Algebraic Data Types, Part 2
• The Algebra of Algebraic Data Types, Part 3
• The Two Dualities of Computation: Negative and Fractional Types
• Euclidean Space
• Redux
• Data types à la carte
• Encapsulation Considered Harmful
• Open/closed principle

Works On Their Machine

Works On Their Machine

Brian Lonsdorf & Hardy Jones

Download

• Hot Ones
• Jay Pharoah
• SNL
• OSCon
• James Ward
• Rao's tweet
• Law of Demeter
• Occasionally Useful Suggestion of Demeter

The Forest for the Trees

The Forest for the Trees

Brian Lonsdorf & Hardy Jones

Download

• Joanna Newsom
• Partial order
• Adjunction
• Recursion schemes
• Saunders Mac Lane
• Mark Cuban
• Mavericks

Standard American Diet

Standard American Diet

Brian Lonsdorf & Hardy Jones

Download

• Adjunctions in Everyday Life
• Adjunction
• Category
• Constraints Liberate, Liberties Constrain
• Galois connection
• LastPass
• 1Password
• Terraform
• Ansible
• Chef
• Ansible Vault
• AES256
• LBAC

Recursion Scheme Rampage

Recursion Scheme Rampage

Brian Lonsdorf & Hardy Jones

Download

• Red Red Wine
• Project Homeless Connect
• free
• mtl
• Editor and tool support - PureScript
• ide-purescript
• purescript-eff
• purescript-aff
• haskell-vim-now
• intero
• Orphan instance
• sendgrid-haskell
• pure11
• purerl