The moon's regolith has lots of light metal oxides, e.g. CaO . If this material could be economically rail-gunned to Earth orbit, its chemical properties would be superior to sulfur dioxide for geo engineering purposes. Climate scientists, however, doubt that we can safely predict the overall effects of geo engineering.

Methane, or natural gas, has the chemical formula CH3. The energy from its combustion comes in good part from oxidation of its 3 hydrogen atoms to form H2O. And some from oxidation of its 1 carbon atom to form CO2. The leakage problem can be fixed with current technology.

Net-zero, non-nuclear power solutions are taking a lot of time to scale. Expanding the natural gas infrastructure meanwhile can displace coal and oil, reducing CO2 emissions as the nuclear renaissance happens. The nuclear renaissance needs to address operational safety and waste management, as Gates' project does.

Rei, the substance of your comment is what a well-known planetary scientist told me over lunch three years ago.

I was able to go live very quickly after code complete because every function had been test proven. There were a few errors in the master data which we fixed real time without stopping the app. The only thing not functional was the inner loop.

I've found that a functional language makes it much easier to define behaviors and test them, function by function, more exhaustively.