In addition to further improvements to the model, we hope that this tool can be of use to stakeholders including NGOs, utilities, and government agencies.

For area estimation, our model achieves 0.99 accuracy and an F1 score of 0.77.

Our project was specifically motivated by one of the many challenges facing post-civil war reconstruction of Syria's electrical grid: estimating decentralized residential solar production.

incompleteness theorem—no axiomatic system can prove its own consistency.

Suppose T is the theorem “A is consistent.” Well, you could prove this if A were not consistent because you can derive anything from a set of inconsistent axioms!

So if we have some theorem T that is deducible from A, T /cannot/ prove that A is consistent.

This is the essence of Gödel’s second

don’t forget thought middle-managers

Moreover, they never explain what their alternative is— Sweden? The Great Barrington Declaration? What exactly should public health authorities have done differently?