Blog Archive

2019

O(2) as a semidirect product

Deloopings of 1-groups

2015

Monads as lax functors

2010

Effective Qt in ruby (part 3)

Effective Qt in ruby (part 2)

Effective Qt in ruby (part 1)

2008

Monads for Markov chains