Preface Why would you want to know how to derive the Y-Combinator? Well, mostly for interest's own sake. History: It's a common misconception that el… ...more

This is the first in a series of loosely related posts exploring Types, Type Theory, Type Systems, and some related content from the point of view of … ...more

Sudoku notations This blog entry assumes the reader understands the rules of Sudoku. When filling in a Sudoku, you may think of each cell on the board… ...more