Hedonistic Learning

Learning for the fun of it

Category Theory, Syntactically

November 25, 2016 06:23 UTC

Tags: programming, math, category theory

Quotient Types for Programmers

September 23, 2016 05:21 UTC

Tags: math, type theory

Constructivist Motto

May 7, 2016 18:12 UTC

Tags: math

High dimensional thought experiment from Hamming

December 4, 2015 01:22 UTC

Tags: math

The three styles of category theory

September 30, 2015 05:45 UTC

Tags: math, category theory

Differentiation under the integral

September 14, 2015 07:53 UTC

Tags: math, geometric algebra

A better way to write convolution

September 14, 2015 06:12 UTC

Tags: math