A little intermediate Haskell walk through representing numbers with inherent uncertainty and the implementation of my uncertain library, going over and applying several intermediate Haskell concepts.
Series of introductions and tutorials for my auto library, a library offering a denotative, locally stateful programming DSL and platform.
Short series on the abstractions and uses of the MonadPlus typeclass — objects whose monad instance represent success/failure.
Ongoing series exploring interesting objects and their curious monad instances.
Series exploring the theory and implementation behind the Feynman Path Integral Monte Carlo numerical technique. The series convers many subjects in both physics and computational techniques, including the Lagrangian formulation of classical mechanics, basic principles of quantum mechanics, the Path Integral formatulion of quantum mechanics, the Metropolis-Hastings Monte Carlo method, dealing with entropy and randomness in a pure language, and general principles in numerical computation!
A series of introductions to the subtle craft of controlling physical things effectively.