Blog Archive 2015 Andrews-Curtis: First Run Sep 02 2015 Lambda Islands Jan 16 2015 Dynamical Actors Jan 12 2015 Feedbacks Jan 09 2015 Blending Pruning and Backprop Jan 07 2015 Differentiable Function Combinators Jan 02 2015 Gradient of Product Jan 02 2015 2014 Linear Structure, Differentiable Functions (Implicit) Combinators Dec 31 2014 Quasi-literate Programming Dec 31 2014 Moving Blogs May 21 2014 Logic From Types Mar 26 2014 Fun With Lists Mar 22 2014 Dependent Function Types: Sections of a Bundle Mar 21 2014 Inductive Types: Natural Numbers, Lists Mar 19 2014 Foundations: Objects, Types, Rules Mar 18 2014