News for hackers. Stuff that matters.
Re:Mary Lee Berners-Lee has died by minutillo on Wednesday January 24, 2018 @01:29PM (#16225016)
Possibly refers to this manual: http://www.panix.com/~rst/turing.pdf

There are no comments on this comment yet.