I note it here as some may have noticed my primary server is called borlaug.bfccomputing.com and some folks might have wondered where that name came from. My other public server is named for Liviu Librescu. When it came time to re-name my severs I considered the usual suspects (Muppets, Star Wars characters, Reindeer, Mountains, etc.) but decided that those wouldn’t honor those who truly deserve it.
A society can be measured by those it choses to call ‘heroes’.