User Tools

Site Tools


mascot

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
mascot [2015/06/27 17:14]
jacobadams Update page with Tanenbaum's decision
mascot [2016/01/12 19:55] (current)
dcvmoole racoon/raccoon
Line 6: Line 6:
  
  
-The MINIX 3 raccoon was named Rocky Racoon ​by Dr. Andrew Tanenbaum.+The MINIX 3 raccoon was named **Rocky Raccoon** ​by Prof. Andrew Tanenbaum.
 > I’m inclined to call the mascot “Rocky Racoon” due to the alliteration and the suggestion that “Rocky” sounds spunky. It doesn’t relate to the software but neither do “Tux” or “Beastie.” > I’m inclined to call the mascot “Rocky Racoon” due to the alliteration and the suggestion that “Rocky” sounds spunky. It doesn’t relate to the software but neither do “Tux” or “Beastie.”
 +([[https://​groups.google.com/​d/​msg/​minix3/​SWCi8kLQFA8/​bJxOWXLVFHEJ|source]]) - the MINIX 3 team subsequently settled on the more common spelling of "​raccoon"​.
mascot.txt · Last modified: 2016/01/12 19:55 by dcvmoole