Inference with Sets in Type Theory. The logical next step is working through the basics of intuitionistic logic with type theory semantics.

Wat maakt Jeroen Muis allemaal mee. Een bezoekje van de Sint. De Sint is alweer een tijdje in het land, en in die paar weken dat hij hier dan is, moet hij weer erg veel mensen bezoeken. Hoofdzakelijk gaat hij dan naar scholen toe, maar zo nu en dan wil hij ook op een bedrijf verschijnen. En dat gebeurde dus afgelopen woensdag, want de sint kwam langs op mijn werk. Al met al was het een geslaagd feestje. Ik vind het erg gaaf dat mijn werk zoiets voor de kinderen organiseert.

On My Inexperience in Organizing and How it relates to My Writings. I have a project in the works, something that could be a major game-changer for me. Expect some changes around here. Wow The RCP is fucken lame.

Also known as the cock.

Can be found at the new site, goodmath. The new RSS is here. All of the existing posts and comments have been moved over. In the diagram to the right, you can see my attempt to draw a diagram i.