50 years of computing have proved pretty conclusively that less than that is wishful thinking at best. Large C++ programs, even with massive amounts of resources and tooling, can’t even get memory management correct.

That Rust gives you correctness is very misleading claim.

Germany has more wind in winter, so traditionally has more production of renewables in winter months.

It has dramatically higher thermal heat demands in winter - far higher than is compensated for by that. Even if everyone switched to heat pumps.

True, but higher demand for heating in winter is not specific to Germany. In the end, Germany will likely need to import energy anyway - just as it does today. But this means this question may not be the most relevant.

Huh? It highlights the relevance. It’s easy to handwave ‘imports’ away - but import from whom, and how do they make the energy?

One could import it as ammonia from locations that can produce a lot of it via solar.

It also has to be considered in light of the fact that Lennart builds a company for "cryptographically verifiable integrity on Linux".

It will be a mix. There is certainly still a lot which can be done on the demand side, e.g. when to cool a cool storage house during the day, or when to run certain production lines.

I am tempted to click the "report abuse" link ;-)

No, capacity factor is a distraction. The only meaningful question is whether it is cost effective or not compared to other production methods,, and solar - taking into account the low capacity factor - is starting to look very good.

Better importing solar panels once in a while than importing fossil fuels all the time.

Why does this need to access to all my repository just for generating a PR?

I am not aware of such a thing. Is GitHub itself requesting that when you create a PR, or is it because of the site's editor?

The editor. Otherwise, the site looks great!

There is a lot of tooling for C though, just not in mainstream compilers.

Not having experience myself, how is GNAT?