Re: Henry Story

On 9/9/23 11:02 AM, Hugh Glaser wrote:
> Yes, Wendy knows.
>
> Hugh
> 023 8061 5652


Yes, Dame Wendy announced the sad and shocking news on Twitter [1 
<https://twitter.com/DameWendyDBE/status/1699875002139513307>].

Links:

[1] https://twitter.com/DameWendyDBE/status/1699875002139513307

Kingsley

>
>> On 9 Sep 2023, at 17:39, adasal <adam.saltiel@gmail.com> wrote:
>>
>> 
>> Jos De Roo said:
>> "This is very sad news and so prematurely leaving behind
>> a wife, three kids under 9 and a nearly finished PhD thesis.
>> Tears come in the eyes when reflecting about that ...
>> Many condolences to Henry's family."
>>
>> I'm repeating myself when I say how shocked and saddened I am.
>> +1 for any memorial, if I have a vote. Anyway, you have my sentiment.
>>
>> I want to ask a couple of things that people may not know the answers 
>> to, may not want to share here, may not think it is my business or 
>> may not want to offend his family.
>> The above is a bit comprehensive, but you must get what I mean.
>>
>> Has Dame Wendy Hall been informed?
>>
>> Can it be shared what actually happened?
>>
>> Again, I am so very sad about this.
>>
>> If I explain by saying I referenced by re-reading his write-ups on 
>> Mathematics Stack Exchange and Theoretical Computer Science about 
>> some 10,000 times, people will understand.
>>
>>
>>   Examples of co-implication (a.k.a co-exponential)
>>   <https://user.mxspruce.com/hXMxiPdzDCkeuFSSR/l/tYtiD4E0GO00VTkjZ?rn=iIWZXByYpRnbh1WZTByQzclI&re=icmcv5yM3BkYldXLjlGduFWblNnI&sc=false>
>>
>>
>>   What logic correponds via Curry-Howard to a Monad?
>>   <https://user.mxspruce.com/hXMxiPdzDCkeuFSSR/l/EEP3g00zYEi9BgLmy?rn=iIWZXByYpRnbh1WZTByQzclI&re=icmcv5yM3BkYldXLjlGduFWblNnI&sc=false> (Yes,
>>   the typo is original. Or is it a typo?)
>>
>>
>> To tell the truth, I haven't finished reading yet.
>>
>> Adam
>>
>>
>>
>> On Sat, Sep 9, 2023 at 11:40 AM Manu Sporny 
>> <msporny@digitalbazaar.com> wrote:
>>
>>     On Fri, Sep 8, 2023 at 8:52 AM Sarven Capadisli <info@csarven.ca>
>>     wrote:
>>
>>     > It is with great sadness that I must inform everyone that we
>>     have lost
>>
>>     > our dear friend and colleague Henry Story
>>
>>
>>     My deepest condolences to Henry's partner, his children, and the rest
>>
>>     of his family. :(
>>
>>
>>     His passion for the Web and keen intellect will be missed dearly. I
>>
>>     met Henry over 15 years ago as the WebID work was just forming --
>>     back
>>
>>     then, and to this day, we were all trying to figure out a way to
>>
>>     re-decentralize the Web and empower people to control more of their
>>
>>     digital existence.
>>
>>
>>     I remember countless discussions with Henry about the philosophy of
>>
>>     the Web and what it should become to better help society. Engaging in
>>
>>     a discussion with Henry about these topics was never a shallow dive;
>>
>>     the thought and care he took at analysing not only what he was
>>     saying,
>>
>>     but what you were attempting to argue, demanded the same thought and
>>
>>     care when engaging with him. He made us all deeper thinkers and
>>
>>     communicators, which is one of the things he valued most. He cared
>>
>>     deeply about what we were all building here.
>>
>>
>>     He was generous with his time, curiosity, and passion. I hope we can
>>
>>     all live up to carry on what he shared with all of us over these many
>>
>>     years.
>>
>>
>>     -- manu
>>
>>
>>     -- 
>>
>>     Manu Sporny - https://www.linkedin.com/in/manusporny/
>>
>>     Founder/CEO - Digital Bazaar, Inc.
>>
>>     https://www.digitalbazaar.com/
>>
>>
>>

-- 
Regards,

Kingsley Idehen 
Founder & CEO
OpenLink Software
Home Page:http://www.openlinksw.com
Community Support:https://community.openlinksw.com
Weblogs (Blogs):
Company Blog:https://medium.com/openlink-software-blog
Virtuoso Blog:https://medium.com/virtuoso-blog
Data Access Drivers Blog:https://medium.com/openlink-odbc-jdbc-ado-net-data-access-drivers

Personal Weblogs (Blogs):
Medium Blog:https://medium.com/@kidehen
Legacy Blogs:http://www.openlinksw.com/blog/~kidehen/
               http://kidehen.blogspot.com

Profile Pages:
Pinterest:https://www.pinterest.com/kidehen/
Quora:https://www.quora.com/profile/Kingsley-Uyi-Idehen
Twitter:https://twitter.com/kidehen
Google+:https://plus.google.com/+KingsleyIdehen/about
LinkedIn:http://www.linkedin.com/in/kidehen

Web Identities (WebID):
Personal:http://kingsley.idehen.net/public_home/kidehen/profile.ttl#i
         :http://id.myopenlink.net/DAV/home/KingsleyUyiIdehen/Public/kingsley.ttl#this