I have been corrected - this is a coding unit in an engineering degree. Vibe bridge-building.
I think that LW post is the example I remember, Veedrac insisting that mathematics holds even in the face of a "sufficiently intelligent" AGI
tho i think there was also discussion on rat-tumblr
i'm not digging for cites, but i recall it was extremely hard to convince rationalists that even the ASI couldn't just break cryptography, because they don't understand maths either
Nadella said written "by software" "on some products" so he's barely making a claim
the only people it torments are rationalists, so my full support to Comrade Basilisk
roko stresses repeatedly that the AI is the good AI, the Coherent Extrapolated Volition of all humanity!
what sort of person would fear that the coherent volition of all humanity would consider it morally necessary to kick him in the nuts forever?
well, roko
i have unfortunate news about volunteer sci fi con chairs
he's a centrist econ blogger who's been getting into light race science
video also starts with 2 minutes of commie rant I left out of the text version
as a centrist market liberal, [MARX MARX MARX]
the shunning is working guys
if you look through the "venture capital" category, you'll see a few where I start going off on this topic. I blame the AI bubble on these bozos specifically.