Like a Parent at a Beauty Pagent
/- 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
The Ocean of Regret
/- Are Denotational Semantics Adjoint to Hacking Something Together?
- Group
- Free Group
- Free Monoid
- Free Object
- Idempotence
- Lattice
- Join and Meet
- Monotonic function
- Semilattice
- Profunctor
- Strong Profunctor
- Arrow
- purescript-profunctor-lenses
- Monoids on Steroids - Bartosz Milewski
- miniKanren
- discrimination - Fast generic linear-time sorting, joins and container construction.
- Monoids: Theme and Variations (Functional Pearl) - Brent A. Yorgey
- Bronchiolitis obliterans
- elmzed
- purescript-halogen
- Pux
We Got Chairs
/- loop/recur (06:21)
- Lattice-based access control (LBAC) (08:40)
- Lightweight Directory Access Protocol (LDAP) (08:50)
- Set inclusion (09:14)
- Poset (09:16)
- Power set (09:18)
- Distributive lattice (09:21)
- Lattice (09:34)
- Join and meet (09:44)
- A Lattice Model of Secure Information Flow - Dorothy E. Denning
- Lattice-Based Access Control Models - Ravi S. Sandhu
- JSON Schema (15:49)
- DGML (17:59)
- DOT (graph description language) (18:04)
- GraphViz (18:09)