That tracks
BitSound
Not sure if this is what you're referencing, but there's a famous quantum computer researcher named Scott Aaronson who has this at the top of his blog:
If you take nothing else from this blog: quantum computers won't solve hard problems instantly by just trying all solutions in parallel.
His blog is good, talks about a lot of quantum computing stuff at an accessible level
Ha, that reminds me of Donald Knuth offering 0x$1.00 to anyone that finds a mistake in TAOCP, like this guy:
Does anyone here actually use awk for more than trivial operations? If I ever have to have to consider writing anything substantial with bash/awk/sed/etc, I just start writing a Python script. No hate to the classic tools, but Python is just really nice.
Maybe they mean engineers in general? Engineers tend to be over-represented in cults, because "Smart people believe weird things because they are skilled at defending beliefs they arrived at for non-smart reasons."
Sorry, mixed up the videos. It's actually this one, from 2014:
https://www.destroyallsoftware.com/talks/the-birth-and-death-of-javascript
Edited link above
From what I understand, Ada does not have an equivalent to Rust's borrow checker. There's efforts to replicate that for Ada, but it's not there yet.