If anyone wants to have a voice chat with me about a topic that I’m interested in (see my recent post/comment history to get a sense), please contact me via PM.
My main “claims to fame”:
Created the first general purpose open source cryptography programming library (Crypto++, 1995), motivated by AI risk and what’s now called “defensive acceleration”.
Published one of the first descriptions of a cryptocurrency based on a distributed public ledger (b-money, 1998), predating Bitcoin.
Proposed UDT, combining the ideas of updatelessness, policy selection, and evaluating consequences using logical conditionals.
First to argue for pausing AI development based on the technical difficulty of ensuring AI x-safety (SL4 2004, LW 2011).
Identified current and future philosophical difficulties as core AI x-safety bottlenecks, potentially insurmountable by human researchers, and advocated for research into metaphilosophy and AI philosophical competence as possible solutions.
I feel like this is giving way too little weight/salience to humans being really bad at strategy and philosophy in general, and in particular MIRI being bad at strategy and philosophy. You talk about Holden being misled about AGI for 8 years, but don’t mention MIRI planning to build recursively improving Friendly AI with a small team and potentially just 1 philosopher, for a comparable amount of time. If OpenPhil had funded MIRI more in 2016, it would have been funding them to attempt this!
Just in course of searching for my name in the comments section of Holden’s Thoughts on the Singularity Institute (SI), I came across more examples (of humans being bad at strategy and philosophy):
Eliezer banning Roko’s Basilisk post (and Roko posting it in the first place)
Eliezer apparently forgetting or disregarding most previous critics of MIRI (e.g. me): “Nonetheless, it already has a warm place in my heart next to the debate with Robin Hanson as the second attempt to mount informed criticism of SIAI.”
Eliezer forgetting about banning Roko’s post, writing in all caps “Once again: ROKO DELETED HIS OWN POST. NO OUTSIDE CENSORSHIP WAS INVOLVED.”, and komponisto chickening out of reminding Eliezer about it.
cousin_it avoiding the debate because “I realized that talking about saving the world makes me really upset and I’m better off avoiding the whole topic”
MIRI hiring Ben Goertzel as Research Director even though Eliezer thought his AGI project would kill everyone if it succeeded (“And if Novamente should ever cross the finish line, we all die.”), because “Ben Goertzel’s projects are knowably hopeless, so I didn’t too strongly oppose Tyler Emerson’s project from within SIAI’s then-Board of Directors; it was being argued to have political benefits, and I saw no noticeable x-risk so I didn’t expend my own political capital to veto it, just sighed. Nowadays the Board would not vote for this.”