¿Quién es Linus Torvalds y por qué su proyecto personal terminó cambiando la informática?