elm-proofThe Univalence axiomThe HoTT BookThe Life-Changing Magic of Tidying Up - Marie KondoKatamari DamacyIt's All Too Much - Peter WalshChurch EncodingReact Rally

Space Type Fibration

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

Space Type Fibration

Download our free app to listen on your phone