Oh my gosh! I found his Kernel work so inspiring, I, like many others, implemented a version in a hobby project. I was always happy to see his comments when I w

Oh my gosh! I found his Kernel work so inspiring, I, like many others, implemented a version in a hobby project. I was always happy to see his comments when I was reading Lambda the Ultimate, excited to see his always carefully thought out and unique perspective. I'm sad I'll never be able to chat with him directly about his ideas. Learning he was so prolific in other areas isn't surprising, but it is impressive. RIP to a great mind, and best wishes for his family.