Deriving techniques on the fly — LessWrong