It is sad news to hear. :( We can not cheat death, but we can do something good with our life until its eventual end. Many people die without leaving anything good. While I am no expert in the HOL system, I can attest that Mike Gordon is a person who left a positive legacy.
The phase “Write something worth reading or do something worth writing“ is appropriate, as Mr. Gordon for example wrote several papers that will outlive all of us. My condolences. -- Do not eat animals, respect them as you respect people. https://duckduckgo.com/?q=how+to+(become+OR+eat)+vegan
signature.asc
Description: OpenPGP digital signature
------------------------------------------------------------------------------ Check out the vibrant tech community on one of the world's most engaging tech sites, Slashdot.org! http://sdm.link/slashdot
_______________________________________________ hol-info mailing list hol-info@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/hol-info
