Some lesser-known megaproject ideas — LessWrong