On the Debate Between Jezos and Leahy — LessWrong