Magic Read Along

List comprehensionMonadComprehensionVector additionExtendComonadtraverseWord vectorSelective applicative functorsNext Level mtl with Classy OpticsmakeClassymakeClassyPrismsAdd and Subtract Words like Vectors with Word2VecWord2Vec

Sequence to Sequence Learning with Neural NetworksRichard SocherpurtyPrettierelm-formatextendfoldMapMonoidReducers

Our PatreonAlways OpenMaster of NoneFormally Specifying UIsSketch.systemsHow To Lose Your Life's Savings w CryptocurrencySpurious CorrelationsKerasKaggle

CRISPRSean in the WildGoogle DuplexVirtual assistantFacial recognition systemHer

Jaccard similarityArrowBlack LightningSuper Spuds

The JinxSuper SpudsLambda calculusRelational algebraTensorFlowNeural networklabeled dataKerasProject Jupyter

Golf ClashLiskov Substitution PrincipleSoftware design patternCalculusCategory Theoryelm style guideData science

Our PatreonZucc Gets RoastedReinforcement learningChi-squared testFeature vectorBayesian networkEfficient Nanopass Compilers using Cats and Matryoshka - Greg PfeilWriting a Nanopass Compiler - Andy KeepMatryoshkapurescript-varianopurescript-dom-indexedType Theory and Formal Proof - An Introduction

ZencastrUDPMachine learningHyperparameterepochUndertaleSubnauticaGolf Clashpurescript-comonad-ui-todosComonads for user interfacesWelcome to the Applied Category Theory Course!Our Patreon

GitLabGitterTravis CIRam DassPlanet EarthGalois connectionLatticeJoin and meetQuiescence searchBellman equationDhall

purtyPeople complain about bad tooling support in the Haskell ecosystem... - Alexis KingSelector -> Array Component Component -> Array Selector a -> f b b -> f a LensKleisli Arrowa -> f b b -> g a PrismOpticshedgehogtrippingquickspecCodecForBinaryCodec

Technological singularityCrullerEierlegende WollmilchsauSemiringTropical SemiringMonoidSemigroup// Double pass rects.map(rect => toCoords(x).add(Inverse(toCoords(rect)))) // Single pass rects.foldMap(rect => Min(toCoords(x).add(Inverse(toCoords(rect))))TraversableFoldableExtend

Mavena11yArtificial neural networkComonadEnvKerasTensorFlowMachine learningMarkov chainSuper Spuds

Our PatreonClusterFunkHigh MaintenanceMachine LearningPostgRESTReduxArtificial Intelligence

Our PatreonWatsonSPSSSentiment AnalysisTanmay BakshiTanmay TeachesMonitoramaMetrics, tracing, and loggingMonitoring and ObservabilityWeighted-finite state transducersWeighted Finite-State Transducer Algorithms An OverviewHATEOASSemirings and WFSTTopological SpaceMetric Space

Our PatreonBlack PantherHalt and Catch FireMachine LearningHerokuWebSocketEvent SourcingPapertrailQuipquipTopologyCounterexamples in TopologyGrothendieck topologyDhall

Our PatreonMachine LearningFinite-state machineFlight of the ConchordsTopologyIsomorphismHomeomorphismKubernetesDay ConvolutionExtensible Coeffects

A Winkle in TimeOur Patreon#magicreadalongHomotopyTopologyJohn ElliotPaginators are Mealy Machines in disguiseMealy machineStatePurcelDhallNoRedInkSalesforceRepresentablestatic dom tweetpurescript-static-dompurescript-firkinTrieMoore machineCoendmLab

Actually the mic doesn't drop.Buddhist developmentAPLRSDhallTotal functional programmingHomotopyTopologyThe A11Y ProjectWAI-ARIA

BusConfVRTInstant PotBlockchainHylomorphismLatticeelm-comonadDeclarative UIs are the Future–And the Future is Comonadic!StoreTStore is the mother of all comonadsChris Penner's FPStarDay ConvolutionMonoid

Content Addressable StorageCaching best practices & max-age gotchasStoreComonadWhat is Property Based Testing?instant-vrtBackstopJSGreek LasagnaHot sauceInstant Pot

Our PatreonException handlingPostgreSQL Error CodesTaktJSONXMLDhallpurescript-free-groupThe Ocean of Regretpurescript-validation-experimentSemigroupSemiringSemigroup exampleSemiring exampleelm-validation

Set theoryFinally TaglessFinally Tagless, Partially EvaluatedFree monadDhallPackerAmazon Machine ImagePrismTraversableThe Internet of CodeIPFSMr. Robot

Dhalldhall-jsondhall-haskelldhall-json on npmMicrosoft EdgeSemirings for BreakfastDioidFun with SemiringsVector spacePetri netSemiringSCALE BY THE BAY

DreamforceVisualforceGrailsJenkinsCloudBeesisomorƒTransducersfoldBeautiful folds are practical, too - Gabriel GonzalezMoore machineCoendComonads for OptionalityDay convolutionservant-quickcheckCache-ControlBialletiThe WeekndHipster hop

Kleene fixed-point theoremKleene starKleene's recursion theoremKleene's T predicateOrderJoin and meetOrder theoryLattice (order)Galois connectionMatt MightOrder theory for computer scientistsLivable Code - Sarah Mei

AWS CodeDeployTerraformDockerKubernetesEinsteinSemiringWeighted Finite-State Transducer Algorithms An OverviewWeighted Finite-State Transducers in Speech RecognitionApplying Graph Theory to Infrastructure as CodeTerraform ModulesVagrantVaultNeo4jGraphQLNFADFAComonads and Day Convolution

Potato cannonPork rindSweet potatoYamIsolation tankCaleb LushSouth of Market: The MusicalFinite-state machineDFANFASemiringLatticeInstant Vrt is instantinstant-vrtTensorFlowMonoidal ParsingDyck language

Dutch BabyChallahPreArrowPresheafProfunctors, Arrows & Static AnalysisApplicative Effects in Free MonadsMore on Applicative Effects in Free MonadsAbstracting Async.ConcurrentlyPark Bench Panel Session with #HaskellX Experts!LambdaConf Winter Retreatpurescript-variantNorthern Exposure

Magic Read Along - Behind the ScenesNever Write Another HoCReactAdjunctionRepresentableFunctorFree FunctorForgetful FunctorGalois ConnectionIsomorphismScale by the BayVIZIO to Pay $2.2 MillionAmazon Dash ButttonsUndertale

The Defiant OnesOur PatreonMyth of the flat EarthMoore machineMealy machinePOODR99 Bottles of OOPtruffled-purescriptEtaPureScript alternate backendsPurescript-to-PythonPyreScriptpsc-luapure11pure14purescript-nativepurerlthranProcessesHTTP/2HTTP/2 Server Push

purerlPatreonPonyReference Capability GuaranteesSubstructural type systemLinear type systemLFEHitchhiker's Tour of the BEAMpurescript-refspurescript-stETSpurescript-avarClowns to the Left of me, Jokers to the RightCoproduct

Snapshot TestingJestMonoidDenotational SemanticsEquational ReasoningOperationalFree MonadA Categorical View of Computational Effects - Dr. Emily RiehlConventional ChangelogIncremental tweetZipper`choose` Your Own Derivative - Kenneth FonerDelimited continuations in operating systemsinstant-vrtTypes All The Way Down - Kris JenkinsServant

Magic Read Along is creating a PodcastSwitch from Eff to IOpurescript-stpurescript-exceptionspurescript-runpurescript-run-console-experimentrecursion schemesHutton's razorFlowTypeScriptcreate-react-appMediumDisqusSlateAutomatic differentiationA variant on UIs I'd like to try - Phil FreemanZipperZippers Using Representable And CofreeMaking Impossible States Impossible - Richard Feldman

Our PatreonRosetta CodeProject Eulerexercism.ioNeo4jCypherWriting Marble TestsneedlePoochieVisual Studio CodePony

Socks and Gloves - Road Workloop/recurThe Social NetworkLogan LuckyDependent typeStandardized Ladder of Functional ProgrammingStoreLenses from ScratchFreefree-graphselm-formatDesign PatternsInterpreter pattern

Sweet Baby Ray'sTalkboyYak BakReactHeyting AlgebraMoore MachineMoore for Lessclojure.specComonadFunctorTrieMealy MachineAdjunctionmorphism-zooUnifying Structured Recursion Schemes - Ralf Hinze, Nicolas Wu, and Jeremy GibbonsPrettyprintA prettier printer - Philip WadlerPrettierelm-formatPony

Group TheoryCayley's TheoremYoneda lemmaNatural TransformationPatreonCorepresentableAny Applicative Is NumAccept values with varying number of argumentsHeyting AlgebraPureScript instanceReact NativeRecursion Schemespurescript-matryoshkaType-Directed SearchHole-driven Haskell

We launched a Patreon! If you like what we're doing, consider supporting the show. https://www.patreon.com/magicreadalong PatreonA composable pattern for pure state machines with effectsMoore machineThe Elm ArchitectureReducerspurescript-halogenComonads as SpacesFinite-state machine

Types For Frontend DevelopersForwardJSPercyaXe-coreapplitoolsCSS box modelWhen Robot Face-Plants In Fountain, Onlookers Show Humanity — By GloatingAtomic BlondeKan extensionFunctional dependencyDependence analysisCodeSceneYour Code as a Crime ScenePair Programming Ping Pong Patternsass-lintv.NuESLintPrettierSquint test

ForwardJSObject-oriented programmingStructured programmingFactoryNull ObjectCategory TheoryFree FunctorForgetful FunctorCatamorphismAnamorphismRepresentableComonadMonadProcedural ProgrammingHomotopy Type TheoryDijkstra on AbstractionSemaphoreAdho mukha śvānāsanaSciaticaDesign Patterns in HaskellStrategy

Steak-ummGame of ThronesFrasierGLOWRepresentableAdjunctionIrakli's tweetProfunctorPredicateContravariant FunctorDenotational semanticsKan extensionMissing Richard SimmonsDenzel Washington Is The Greatest Actor Of All Time Period

Teaching New Tricks to Old ProgramsSalmonellaThe Amazing JohnathanFiat 500eAxe CoreMutation testingType-Directed SearchGet the Validation You Need With The Lightning Design System Chrome Extensionpurescript-variant

Teaching New Tricks to Old Programs - Conal ElliottCategoryCartesian Monoidal CategoryCocartesian Monoidal CategoryRepresentable FunctorComonadBuilding up Zippers from Distributive, Representable, and CofreeCofreeFree From TreeRose TreeMutation TestingQuickCheckHeyting AlgebraBoolean AlgebraLaw of excluded middle

Zodiac KillerTed Cruz-Zodiac memeTriumph, the Insult Comic DogZipperDistributiveRepresentableTraversableAdjunctionpurescript-substructuralSubstructural type systemFree Modules and Functional Linear FunctionalsModuleMoby DickHOUND Voice Search & AssistantPazuzu - Captain HowdyMoore MachineMealy MachineThe Expression ProblemDDDMonoids: Theme and Variations

TDDBDDA11yScreen readerWhat's Next for Our Programming Languages?DafnyDo loopSandi MetzSOLIDCode smellFieldMarkdownGitHub Flavored MarkdownGroupModuleChris PennerMurphy RandleElm TownElm Town Spotlight - Hardy Jones

Wonder WomanGiftedFoxtailAqua GlobesLinear Types Can Change the WorldIntroduction to Lattices and OrderLattice Functions, Pair Algebras, and Finite-State MachinesCSS AnimationsSemiringMoore machineMealy machineDFANFAREMonad Reader 16The Pumping LemmaLemmings

Alemany FarmpurerlAwesome Static Analysis - RubyRubycriticFlayFlogReekChurn and ComplexityHopefully-meaningful MetricsGetting Empirical about Refactoringhistory of japanhistory of the entire world, i guessDavid icke

LamdaConf 2017Integrating PureScript and Halogen into JavaScript ApplicationsHow to Build a Blog in 10 Minutes with HyperLatticeCSS AnimationKeyframeTransitionMealy MachineMoore MachineProfunctorArrowized FRPSemiringRingAdjunctions in Everyday LifeCorecursion, Codata and Just a Little Combinatorial Game TheoryThe ZipperThe Algebra of Algebraic Data Types - Chris TaylorThe Algebra of Algebraic Data Types, Part 1The Algebra of Algebraic Data Types, Part 2The Algebra of Algebraic Data Types, Part 3The Two Dualities of Computation: Negative and Fractional TypesEuclidean SpaceReduxData types à la carteEncapsulation Considered HarmfulOpen/closed principle

Hot OnesJay PharoahSNLOSConJames WardRao's tweetLaw of DemeterOccasionally Useful Suggestion of Demeter

Joanna NewsomPartial orderAdjunctionRecursion schemesSaunders Mac LaneMark CubanMavericks