Public information on Jukebox-OS is currently rather limited, and project details, implementation language, performance overhead and the boundaries of the determinism guarantee were not elaborated in the discussion.