666 Bits

I am trying to keep my own compilers/interpreter under the 10KLoc. Yeah, well, Tiny-ML proves I am doing something wrong, I guess...

Ok, I am just jealous of his beard ;-).

This is a very readable phd-thesis on a practical approach to typing: " Top Quality Type Error Messages " by Bastiaan Heeren, 2005...

Hey, I know these people ;-). The Association for Computing Machinery has announced the 2008 Turing Award Winners . Edmund M. Clarke, Allen ...

I tested my interpreter for the Hi language with a translation of the trivially size-balanced map implementation originally written in OCAML...

Oscar Pistorius

I am ill at home, so I had some time to write on my own Sudoku solver. The solver is a variant on the classical Davis, Putman, Logemann and ...