Bill Gates and Linus Torvalds have apparently never met in person before, despite their pseudo-rivalry.