What did Tony Hoare mean by "You cannot teach beginners top-down programming, because they don't know which end is up."? and do you agree with him?
πŸ‘︎ 6
πŸ’¬︎
πŸ‘€︎ u/BadWolf2077
πŸ“…︎ Sep 14 2021
🚨︎ report
TIL The British inventor of the quicksort algorithm, Sir Tony Hoare, also created the null reference and called it his "billion-dollar mistake ... has led to innumerable errors, vulnerabilities, and system crashes ... probably caused a billion dollars of pain and damage in the last forty years". en.wikipedia.org/wiki/Ton…
πŸ‘︎ 86
πŸ’¬︎
πŸ‘€︎ u/ElectricCharge1
πŸ“…︎ Apr 20 2020
🚨︎ report
Tony Hoare and Leslie Lamport in Dialogue, September 21 twitter.com/TheOfficialAC…
πŸ‘︎ 8
πŸ’¬︎
πŸ‘€︎ u/pron98
πŸ“…︎ Sep 16 2020
🚨︎ report
Tony Hoare on inventing the NULL reference
πŸ‘︎ 3
πŸ’¬︎
πŸ‘€︎ u/awesumsingh
πŸ“…︎ Jun 13 2020
🚨︎ report
Why did Tony Hoare apologize for inventing the null reference?

I was on wikipedia and learned that Tony Hoare regretted inventing the null reference. It says he believed that it caused billions of dollars of damage, but why did he apologize? I really only know C++ and from my experience nullpntr dosen't seem like a terrible idea.

πŸ‘︎ 47
πŸ’¬︎
πŸ‘€︎ u/badass_pangolin
πŸ“…︎ Apr 26 2019
🚨︎ report
Tony Hoare's Great Apology (for inventing the null ref) infoq.com/presentations/N…
πŸ‘︎ 114
πŸ’¬︎
πŸ‘€︎ u/tulip_bro
πŸ“…︎ Mar 03 2018
🚨︎ report
TIL Sir Tony Hoare, a British computer scientist apologised in 2009 for having invented the null reference in 1965 en.wikipedia.org/wiki/Ton…
πŸ‘︎ 101
πŸ’¬︎
πŸ‘€︎ u/vyashole
πŸ“…︎ Nov 23 2016
🚨︎ report
Tony Hoare sorry for inventing the null pointer qconlondon.com/london-200…
πŸ‘︎ 133
πŸ’¬︎
πŸ‘€︎ u/pfo
πŸ“…︎ Mar 02 2009
🚨︎ report
Let’s Talk Concurrency Panel with Sir Tony Hoare, Joe Armstrong, and Carl Hewitt erlang-solutions.com/blog…
πŸ‘︎ 5
πŸ’¬︎
πŸ‘€︎ u/qznc_bot
πŸ“…︎ Feb 20 2019
🚨︎ report
Let's #TalkConcurrency Panel Discussion with Sir Tony Hoare, Joe Armstrong, and Carl Hewitt youtube.com/watch?v=37wFV…
πŸ‘︎ 3
πŸ’¬︎
πŸ‘€︎ u/7373737373
πŸ“…︎ Mar 03 2019
🚨︎ report
Let's Talk Concurrency with Sir Tony Hoare erlang-solutions.com/blog…
πŸ‘︎ 2
πŸ’¬︎
πŸ‘€︎ u/qznc_bot
πŸ“…︎ Jan 26 2019
🚨︎ report
The examples from Tony Hoare's seminal 1978 paper "Communicating sequential processes" implemented in Go godoc.org/github.com/thom…
πŸ‘︎ 34
πŸ’¬︎
πŸ‘€︎ u/bradfitz
πŸ“…︎ Apr 07 2013
🚨︎ report
Let's #TalkConcurrency with Sir Tony Hoare; Video interview and Transcript

We interviewed Sir Tony Hoare about the history of concurrency models, his work with concurrency including Quicksort and where it will be heading in the future.

https://www.erlang-solutions.com/blog/let-s-talkconcurrency-with-sir-tony-hoare.html

πŸ‘︎ 7
πŸ’¬︎
πŸ‘€︎ u/erlangsolutions
πŸ“…︎ Jan 24 2019
🚨︎ report
Let's #TalkConcurrency with Sir Tony Hoare, Joe Armstrong, and Carl Hewitt erlang-solutions.com/blog…
πŸ‘︎ 6
πŸ’¬︎
πŸ‘€︎ u/erlangsolutions
πŸ“…︎ Feb 20 2019
🚨︎ report
Let's TalkConcurrency Panel with Sir Tony Hoare, Joe Armstrong, and Carl Hewitt erlang-solutions.com/blog…
πŸ‘︎ 2
πŸ’¬︎
πŸ‘€︎ u/bprogramming
πŸ“…︎ Feb 20 2019
🚨︎ report
Tony Hoare - Communicating Sequential Processes cs.ucf.edu/courses/cop402…
πŸ‘︎ 22
πŸ’¬︎
πŸ‘€︎ u/thephotoway
πŸ“…︎ Apr 02 2014
🚨︎ report
Null References: The Billion Dollar Mistake - Tony Hoare (QCon 2009) infoq.com/presentations/N…
πŸ‘︎ 3
πŸ’¬︎
πŸ‘€︎ u/ar0b
πŸ“…︎ Dec 17 2015
🚨︎ report
Sir Tony Hoare: Pioneers of Computer Science 11 November 2015 youtube.com/watch?v=kz7Df…
πŸ‘︎ 2
πŸ’¬︎
πŸ‘€︎ u/mttd
πŸ“…︎ Nov 14 2015
🚨︎ report
Born today : January 11th - Tony Hoare, Computer Scientist, developer of Quicksort (a well-known sorting algorithm), developed Hoare logic for verifying program correctness, developed the formal language Communicating Sequential Processes (CSP) en.wikipedia.org/wiki/Ton…
πŸ‘︎ 3
πŸ’¬︎
πŸ‘€︎ u/spike77wbs
πŸ“…︎ Jan 11 2013
🚨︎ report
Discussion of Tony Hoare's talk on "Abstract Separation Algebra" blog.ezyang.com/2010/10/b…
πŸ‘︎ 3
πŸ’¬︎
πŸ‘€︎ u/japple
πŸ“…︎ Oct 08 2010
🚨︎ report
InfoQ: A Conversation with Sr. Tony Hoare infoq.com/interviews/tony…
πŸ‘︎ 7
πŸ’¬︎
πŸ‘€︎ u/dons
πŸ“…︎ Jun 26 2009
🚨︎ report
Communicating Sequential Processes by Tony Hoare (pdf) usingcsp.com/cspbook.pdf
πŸ‘︎ 21
πŸ’¬︎
πŸ‘€︎ u/uriel
πŸ“…︎ Apr 13 2006
🚨︎ report
A Conversation with Sr. Tony Hoare infoq.com/interviews/tony…
πŸ‘︎ 2
πŸ’¬︎
πŸ‘€︎ u/drguildo
πŸ“…︎ Jul 02 2009
🚨︎ report
Rules of Programming

Rob Pike's 5 Rules of Programming

#Rule 1.

*You can't tell where a program is going to spend its time.

Bottlenecks occur in surprising places, so don't try to second guess and

put in a speed hack until you've proven that's where the bottleneck is.*

#Rule 2.

*Measure. Don't tune for speed until you've measured, and even

then don't unless one part of the code overwhelms the rest.*

#Rule 3.

*Fancy algorithms are slow when n is small, and n is

usually small. Fancy algorithms have big constants. Until you know

that n is frequently going to be big, don't get fancy. (Even if n

does get big, use Rule 2 first.)*

#Rule 4.

*Fancy algorithms are buggier than simple ones, and

they're much harder to implement. Use simple algorithms as

well as simple data structures.*

#Rule 5.

*Data dominates. If you've chosen the right data

structures and organized things well, the algorithms will

almost always be self-evident. Data structures, not

algorithms, are central to programming.*

*Pike's rules 1 and 2 restate Tony Hoare's famous maxim

"Premature optimization is the root of all evil." Ken

Thompson rephrased Pike's rules 3 and 4 as "When in doubt,

use brute force.". Rules 3 and 4 are instances of the

design philosophy KISS. Rule 5 was previously stated by

Fred Brooks in The Mythical Man-Month. Rule 5 is often

shortened to "write stupid code that uses smart objects".*

πŸ‘︎ 167
πŸ’¬︎
πŸ‘€︎ u/unixbhaskar
πŸ“…︎ Dec 28 2021
🚨︎ report
SERIOUS: This subreddit needs to understand what a "dad joke" really means.

I don't want to step on anybody's toes here, but the amount of non-dad jokes here in this subreddit really annoys me. First of all, dad jokes CAN be NSFW, it clearly says so in the sub rules. Secondly, it doesn't automatically make it a dad joke if it's from a conversation between you and your child. Most importantly, the jokes that your CHILDREN tell YOU are not dad jokes. The point of a dad joke is that it's so cheesy only a dad who's trying to be funny would make such a joke. That's it. They are stupid plays on words, lame puns and so on. There has to be a clever pun or wordplay for it to be considered a dad joke.

Again, to all the fellow dads, I apologise if I'm sounding too harsh. But I just needed to get it off my chest.

πŸ‘︎ 17k
πŸ’¬︎
πŸ‘€︎ u/anywhereiroa
πŸ“…︎ Jan 15 2022
🚨︎ report
Daylight Siren for helping your teammates know when it is day
πŸ‘︎ 477
πŸ’¬︎
πŸ‘€︎ u/HardOff
πŸ“…︎ Apr 15 2021
🚨︎ report
Blind Girl Here. Give Me Your Best Blind Jokes!

Do your worst!

πŸ‘︎ 5k
πŸ’¬︎
πŸ‘€︎ u/Leckzsluthor
πŸ“…︎ Jan 02 2022
🚨︎ report
This subreddit is 10 years old now.

I'm surprised it hasn't decade.

πŸ‘︎ 14k
πŸ’¬︎
πŸ‘€︎ u/frexyincdude
πŸ“…︎ Jan 14 2022
🚨︎ report
Dropped my best ever dad joke & no one was around to hear it

For context I'm a Refuse Driver (Garbage man) & today I was on food waste. After I'd tipped I was checking the wagon for any defects when I spotted a lone pea balanced on the lifts.

I said "hey look, an escaPEA"

No one near me but it didn't half make me laugh for a good hour or so!

Edit: I can't believe how much this has blown up. Thank you everyone I've had a blast reading through the replies πŸ˜‚

πŸ‘︎ 20k
πŸ’¬︎
πŸ‘€︎ u/Vegetable-Acadia
πŸ“…︎ Jan 11 2022
🚨︎ report
What starts with a W and ends with a T

It really does, I swear!

πŸ‘︎ 6k
πŸ’¬︎
πŸ‘€︎ u/PsychedeIic_Sheep
πŸ“…︎ Jan 13 2022
🚨︎ report
Why did Karen press Ctrl+Shift+Delete?

Because she wanted to see the task manager.

πŸ‘︎ 11k
πŸ’¬︎
πŸ‘€︎ u/Eoussama
πŸ“…︎ Jan 17 2022
🚨︎ report
So 2 trees got arrested in the town I live...

Heard they've been doing some shady business.

πŸ‘︎ 7k
πŸ’¬︎
πŸ‘€︎ u/K1ll47h3K1n9
πŸ“…︎ Jan 18 2022
🚨︎ report
What is the scariest tree?

BamBOO!

πŸ‘︎ 6k
πŸ’¬︎
πŸ‘€︎ u/K1ll47h3K1n9
πŸ“…︎ Jan 18 2022
🚨︎ report
What is a a bisexual person doing when they’re not dating anybody?

They’re on standbi

πŸ‘︎ 11k
πŸ’¬︎
πŸ‘€︎ u/Toby-the-Cactus
πŸ“…︎ Jan 12 2022
🚨︎ report
Geddit? No? Only me?
πŸ‘︎ 6k
πŸ’¬︎
πŸ‘€︎ u/shampy311
πŸ“…︎ Dec 28 2021
🚨︎ report
I wanna hear your best airplane puns.

Pilot on me!!

πŸ‘︎ 3k
πŸ’¬︎
πŸ‘€︎ u/Paulie_Felice
πŸ“…︎ Jan 07 2022
🚨︎ report
E or ß?
πŸ‘︎ 9k
πŸ’¬︎
πŸ‘€︎ u/Amazekam
πŸ“…︎ Jan 03 2022
🚨︎ report

Please note that this site uses cookies to personalise content and adverts, to provide social media features, and to analyse web traffic. Click here for more information.