[bitmadness]

Manuel Blum is my academic great grandfather, i.e my advisor's advisor's advisor. He is a legend. Very sad to see this happen.