Top
Best
New

Posted by speckx 11 hours ago

Tony Hoare has died(blog.computationalcomplexity.org)
1452 points | 196 commentspage 6
briane80 1 day ago|
He was a professor at my old alma mater, Queen's University of Belfast. I remember hearing a story about him going to Harvard to give a lecture and, as he was presented, one of their professors referred to himself as the "Hoare of Harvard"
muyuu 1 day ago||
always knew him as C.A.R. Hoare, takes me way back to freshman college years

RIP good sir

rvz 10 hours ago||
RIP Sir Tony Hoare

Turing Award Legend.

krylon 10 hours ago||
Rest in peace.
adev_ 8 hours ago||
One of the greatest figure of computing in history and an example of humility as a human.

Thank you for your work on ALGOL, you were multiple decade ahead of your time.

Rest in peace.

phplovesong 9 hours ago||
RIP Legend
randomtools 9 hours ago||
Rest in peace
nemo44x 10 hours ago||
How many jobs were had or not due to the candidates ability to implement his algorithms?
malfist 9 hours ago|
As a junior dev, I loved to ask interview candidates to implement merge sort or quick sort on whiteboards.

As a non-junior dev I realize how stupid that was.

tibbar 9 hours ago||
I think the first enlightenment is that software engineers should be able to abstract away these algorithms to reliable libraries.

The second enlightenment is that if you don't understand what the libraries are doing, you will probably ship things that assemble the libraries in unreasonably slow/expensive ways, lacking the intuition for how "hard" the overall operation should be.

jongjong 5 hours ago||
The part about 'genius' being slow and about wrestling with difficult problems resonates.

The idea of 'genius' or in fact 'intelligence' being about speed isn't just a Hollywood thing though; it's also been a Silicon Valley thing as well; it's why most big tech interviews are time-constrained.

Over the years, I've also heard many tech CEOs say stuff alongside "There's only one type of intelligence" or "All intelligent people are intelligent in the same way."

These kinds of statements raised my eyebrows but now with LLMs being able to solve most puzzle problems rapidly but struggling with complex problems it's completely obvious that it's not the case.

What it says is frightening. The CEOs of big companies have been giving positions to people who have the same thinking style as them. Quick puzzle-solving tech tests are literal discrimination against the neurodivergent and also against geniuses. They've been embracing wordcels and rejecting shape rotators.

I think a guy like Tony Hoare would struggle to find a job these days.

You could argue that the issue extends beyond Hollywood and Silicon Valley... The whole education system is centered around puzzle-solving speed. It's hilarious that AI is now solving all these tests within minutes with better scores than humans. Crazy to think that LLMs could graduate from university based on current assessment policies! It's very revealing of what kind of education system we have.

brian_herman 11 hours ago|
Needs a black bar!
als0 2 hours ago||
Finally. The black bar is there.
srean 10 hours ago|||
Seconded.
More comments...