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

Curry-Howard the Duck

Follow along with Brian Lonsdorf and Hardy Jones as they explore the internet, life, and programming.

Technology

Tech News

Podcasting

Gadgets

Software How-To

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

I've Got an Apple, I've Got Mappend

Sequence to Sequence Learning with Neural NetworksRichard SocherpurtyPrettierelm-formatextendfoldMapMonoidReducers

He's Doing Machine Teaching

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

Hey, Lil Wayne

CRISPRSean in the WildGoogle DuplexVirtual assistantFacial recognition systemHer

You Can Inject a Human

Jaccard similarityArrowBlack LightningSuper Spuds

Curry-Howard the Duck

Download our free app to listen on your phone