Developing arithmetic in Gödel's system T
April 11, 2011
The modern formulation of Gödel's system T is a typed λ-calculus which can represent the natural numbers. This article illustrates the development of arithmetic functions within T.
Firmin, a JavaScript animation library
April 4, 2011
Firmin is a JavaScript animation library that uses CSS transforms and transitions to create smooth, hardware-accelerated animations. This article discusses the development of the library, and explains the underlying machinery of transforms and transitions.
How to compile your own Nginx and Passenger
March 16, 2011
Tutorial explaining how to compile Nginx and Passenger to serve Ruby web applications.
Truth tables in Haskell
March 2, 2011
Hatt is a command-line program and Haskell library for parsing expressions in classical propositional logic and printing their truth tables.
Approaches to currying in JavaScript
August 21, 2010
Due to its dynamic nature, no single currying technique is universally efficacious in JavaScript programming. In this article, various approaches to currying in JavaScript are discussed, together with their associated advantages and disadvantages, and some conclusions are drawn.