Hedonistic Learning

Learning for the fun of it

Djinn in your browser

April 9, 2017 12:35 UTC

Tags:

Category Theory, Syntactically

November 25, 2016 06:23 UTC

Tags: programming, math, category theory

Constant-time Binary Logarithm

November 10, 2016 07:48 UTC

Tags: programming, CS

Quotient Types for Programmers

September 23, 2016 05:21 UTC

Tags: math, type theory

Constructivist Motto

May 7, 2016 18:12 UTC

Tags: math

Understanding typing judgments

April 13, 2016 02:41 UTC

Tags: Agda, type theory

High dimensional thought experiment from Hamming

December 4, 2015 01:22 UTC

Tags: math

Behavioral Reflection

November 17, 2015 00:54 UTC

Tags: CS

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

First post

September 14, 2015 06:12 UTC

Tags: