His list of hobby projects includes QEMU and ffmpeg. I'm sure Amarisoft is a fine company, but mentioning them before those two would be burying the lede.