Follow along with Brian Lonsdorf and Hardy Jones as they explore the internet, life, and programming.
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
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