lukeprog comments on A LessWrong “rationality workbook” idea