The articles here are drafts and may change.
My attempt to understand the backpropagation algorithm for training neural networks (warning: very slow to load; uglier PDF is faster)
Corecursion and coinduction: what they are and how they relate to recursion and induction (warning: very slow to load; uglier PDF is faster)