christian.einfeldt writes: "Microsoft CEO Steve Ballmer, who once referred to the GNU-Linux operating system as a 'cancer' and who might be hoping that Microsoft's recent lawsuit against TomTom might help wipe the GNU-Linux 'cancer' off the face of the Earth, will be chagrined to learn that GNU-Linux has instead been immortalized in the heavens. It turns out that Richard Stallman, Linus Torvalds, GNU, and the Linux kernel have all been acknowledged for their contributions to science by having asteroids named after them. The eponymous asteroids are, respectively, 9882_Stallman, 9793_Torvalds, 9965_GNU, and 9885_Linux." Link to Original Source
We warn the reader in advance that the proof presented here depends on a
clever but highly unmotivated trick.
-- Howard Anton, "Elementary Linear Algebra"