Remix.run Logo
Plasmoid a day ago

Fun story - at Oxford they like to name buildings after important people. Dr Hoare was nominated to have a house named after him. This presented the university with a dilemma of having a literal `Hoare house` (pronounced whore).

I can't remember what Oxford did to resolve this, but I think they settled on `C.A.R. Hoare Residence`.

davidhunter a day ago | parent | next [-]

There's the Tony Hoare Room [1] in the Robert Hooke Building. We held our Reinforcement Learning reading group there.

[1] https://www.cs.ox.ac.uk/people/jennifer.watson/tonyhoare.htm...

pbhjpbhj a day ago | parent | next [-]

>our Reinforcement Learning reading group there //

Anyone 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.)

mghackerlady 4 hours ago | parent [-]

The CB reference is appreciated, he isn't talked about enough here

2001zhaozhao a day ago | parent | prev [-]

I had countless lectures and classes there

jdswain 19 hours ago | parent | prev | next [-]

Our Graphics Lab at University used to be in an old house opposite a fish and chip shop. The people at the fish and chip shop were suspicious of our lab as all they saw was young men (mostly) entering and leaving at all hours of the night. We really missed an opportunity to name it "Hoare House" after one of our favourite computer scientists.

riazrizvi a day ago | parent | prev | next [-]

Cowards.

petesergeant a day ago | parent | prev | next [-]

I was awarded the CAR Hoare prize from university, which is marginally better than the hoare prize I suppose

cucumber3732842 a day ago | parent | prev | next [-]

Shame the university takes itself so seriously. The illustrative example of overloading would have been pertinent to his subject of expertise.

skybrian a day ago | parent | next [-]

I 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.

yborg a day ago | parent | next [-]

This particular word for the oldest profession goes back to Old English. I am fairly sure it would outlive the building.

skybrian a day ago | parent | next [-]

If the problem is when the joke lives on amusing undergrads long after you've tired of it, that just makes it worse.

Lio 19 hours ago | parent | prev [-]

Wait until they hear about what Magpie Lane in Oxford used to be called.

https://en.wikipedia.org/wiki/Magpie_Lane,_Oxford

windward 7 hours ago | parent [-]

A historical bawdy pun is one of the most Oxfordian things I can think of. If we can incorporate a man in drag, we're in real business.

cucumber3732842 a day ago | parent | prev [-]

"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.

bell-cot a day ago | parent | prev [-]

"Hoare House" would trigger millions of idiots, from rude little children to pontifying alpha ideologues. In perpetuity.

The University was correct in saying "nope" to the endless distractions, misery, and overhead of having to deal with that.

jgrahamc a day ago | parent | prev [-]

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".

mghackerlady 4 hours ago | parent | next [-]

Chill out, I doubt he would've minded and humorous anecdotes are great ways to grieve

fuzzylightbulb a day ago | parent | prev [-]

Imagine being an adult human but not being able to extract a tiny chuckle from such a silly thing.

jgrahamc a day ago | parent [-]

Well, I do have a rather special last name which makes me susceptible.

sfn42 21 hours ago | parent [-]

[flagged]

OJFord 20 hours ago | parent [-]

GP is well known, you really needn't guess if you're that fascinated.

7 hours ago | parent [-]
[deleted]