I remember hearing that the nand2tetris people were going to do an edX course on it in the fall. Does anyone know anything about that?