There's the Tony Hoare Room [1] in the Robert Hooke Building. We held our Reinforcement Learning reading group there.
reply[1] https://www.cs.ox.ac.uk/people/jennifer.watson/tonyhoare.htm...
>our Reinforcement Learning reading group there //
replyAnyone else, like me, imagining ML models embodied as Androids attending what amounts to a book club? (I can't quite shake the image of them being little CodeBullets with CRT monitors for heads either.)
I had countless lectures and classes there
replyCowards.
replyI was awarded the CAR Hoare prize from university, which is marginally better than the hoare prize I suppose
replyShame the university takes itself so seriously. The illustrative example of overloading would have been pertinent to his subject of expertise.
replyI mean, I like puns but they're a flash in the pan. Jokes get old after a while and you don't want to embed them in something fairly permanent like a building name.
replyThis particular word for the oldest profession goes back to Old English. I am fairly sure it would outlive the building.
replyIf the problem is when the joke lives on amusing undergrads long after you've tired of it, that just makes it worse.
reply"Surely you've all heard of the Hoare house on campus?" seems like a pretty timeless way to a) keep people from dozing off during that bit of lecture b) cause a whole bunch of people to remember who this guy was and what he did.
reply"Hoare House" would trigger millions of idiots, from rude little children to pontifying alpha ideologues. In perpetuity.
replyThe University was correct in saying "nope" to the endless distractions, misery, and overhead of having to deal with that.
Imagine being a world-famous computer scientist and dying and one of the top threads in a discussion of your life is juvenile crap about how your name sounds like "whore".
replyImagine being an adult human but not being able to extract a tiny chuckle from such a silly thing.
replyWell, I do have a rather special last name which makes me susceptible.
replyJ. Graham Cunth?
replyGP is well known, you really needn't guess if you're that fascinated.
reply