I'm Happy to be Humble
/- Tell Me Something I Don't Know
- Revisionist History
- The Monad.Reader
- Adjoint Functors
- Adjunctions - Bartosz Milewski
- Unifying Structured Recursion Schemes - Hinze, Wu, Gibbons
- Westworld
- Game of Thrones
- Buzz de Cafe
- Ramda
- Add a type parameter! One 'simple' design change, a panoply of outcomes - Stephen Compall
- Design Patterns: Elements of Reusable Object-Oriented Software
- Lattice-based access control
- Idempotence
- Building composable abstractions - Eric Normand
- #ImagineIf - John A. De Goes
You Can't Refactor Aristotle into Newton
/- Total Request Live
- Broad City
- Hannibal Buress
- Project Homeless Connect
- Tenderloin
- Free vs Monad Transformers - Chris Penner
- free
- freer
- recursion-schemes
- operational
- Functional Programming with Overloading and Higher-Order Polymorphism - Mark P. Jones
- redux
- Haskell Sucks! - Paul Bone
- Subscriptions
- Commands
- Building composable abstractions - Eric Normand
I Am Not Full of Beans!
/- UNDERTALE (03:19)
- Linear Types (07:18)
- Curry-Howard correspondence (07:50)
- Linear types can change the world! - Phillip Wadler (08:50)
- Substructural type system (09:28)
- Clean (09:43)
- Rust (10:28)
- Beautiful Folds (12:38)
- MuniHac 2016: Beautiful folds are practical, too - Gabriel Gonzalez (12:38)
- Swift (14:45)
- Protocol-oriented Programming in Swift - Apple WWDC 2015 (16:20)
- recursion-schemes (23:00)
- matryoshka (23:13)
- Unifying Structured Recursion Schemes (24:06)
- Adjunction (25:18)
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)
Fire Up Your Lite-Brite
/- Bocce
- Functional and Reactive Domain Modeling - Debasish Ghosh (2:50)
- right seminear-ring (7:15)
- What the heck is a right-seminearring? (also MonadPlus stuff)
- elmzed (9:00)
- Unison (9:20)
- elm-brands (13:40)
- Freer (16:01)
- recursion schemes (17:01)
- matryoshka (18:40)
- Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire (18:57)
- Unifying Structured Recursion Schemes (19:32)
That's Where You Get the Zygohistomorphic Prepromorphism
/- haskell-vim-now (00:59)
- Love, Hate & tmux (01:11)
- (spacemacs) (04:19)
- kill dash nine (7:23)
- You don’t need more than one cursor in vim - Stöffel (8:09)
- Professor Frisby's Mostly Adequate Guide to Functional Programming - Brian Lonsdorf (9:30)
- Forex Tutorial: The Forex Market (10:28)
- Matryoshka (13:34)
- Biphasic and polyphasic sleep (18:20)
- Uberman sleep (18:31)
- Saved by the Bell (21:54)
Jesse Down South
/- ConnectTech (2:20)
- Dandie Dinmont (4:07)
- Oh Composable World! - Brian Lonsdorf (5:20)
- Applicative Effects in Free Monads (8:09)
- "Anything free is relative to what you forget" (11:32)
liftFree (Const "a") <*> liftFree (Const "b") = Free (Const "ab") liftFree (Const "a") `ap` liftFree (Const "b") = Free (Const "a")
- Eta (formerly GHCVM) (16:16)
- Lets make Minecraft mod on Haskell (16:30)
- Apex (16:44)
- LINQ (17:00)
- Extensible Records (17:45)
- purescript-typelevel (18:05)
- purescript-typelevel-eval (18:15)
- Idris (18:26)
- Jesse Williamson (22:50)
Is that Sirius Black?
/- Heyting Algebra
- Category Theory - Bartosz Milewski
- Marcel Proust