Demos from PostPC HUJI course