Whistle-based Synthesis — LessWrong