The Hello World of State Machines
/We launched a Patreon! If you like what we're doing, consider supporting the show. https://www.patreon.com/magicreadalong
A Picture is Worth a Thousand Articles
/- Types For Frontend Developers
- ForwardJS
- Percy
- aXe-core
- applitools
- CSS box model
- When Robot Face-Plants In Fountain, Onlookers Show Humanity — By Gloating
- Atomic Blonde
- Kan extension
- Functional dependency
- Dependence analysis
- CodeScene
- Your Code as a Crime Scene
- Pair Programming Ping Pong Pattern
- sass-lint
- v.Nu
- ESLint
- Prettier
- Squint test
Nobody's Ever Seen the Number Two
/- ForwardJS
- Object-oriented programming
- Structured programming
- Factory
- Null Object
- Category Theory
- Free Functor
- Forgetful Functor
- Catamorphism
- Anamorphism
- Representable
- Comonad
- Monad
- Procedural Programming
- Homotopy Type Theory
- Dijkstra on Abstraction
- Semaphore
- Adho mukha śvānāsana
- Sciatica
- Design Patterns in Haskell
- Strategy
Curry-Howard the Duck
/- 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
/- 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