2 12 constructive Galois Connections: Taming the Galois Connection Framework for Mechanazed MetatheGalois ConnectionAn Exercise Utilising Galois ConnectionsDenotational semanticsDeriving Functorpurescript-filterableexcursionpurescript-matryoshkaapomorphismanamorphismhistomorphismfutumorphismGroup:notRingBoolean algebraHeyting algebraIdempotenceLatticeSemigroupMonoidCommutative propertySemilattice

Are Denotational Semantics Adjoint to Hacking Something Together?

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

Are Denotational Semantics Adjoint to Hacking Something Together?

Download our free app to listen on your phone