Double-Crux Workshop (Pilot program) — LessWrong