Viewing profile — atqtion

> Are there any uses or applications for Gödel's theorems (other than their mere implications)? Theorems are implications, so I'm not quite sure what you mean. There are practical …

> you can't heat your home with a heat pump in a place like Wisconsin... Geothermal is better, though I believe you still have problems with saturation in cold climates Geothermal …

German megacorps do just as much manufacturing in developing economies as American megacorps. The Mittelstand doesn't do the sort of manufacturing that the rust belt did 40 years a…

> It works for so many other countries It even worked for the United States. Protectionism was a major component of our policy approach toward industrialization. Protectionism as a…

> What I don't understand: the REI market is the one place where Soylent is inarguably better than any other product in its niche, and nobody seems to give a shit about that. I gue…

> Isn't that literally what the TSA lock on luggage is?... And with the TSA master keys leaked a couple of years ago all it needs is one malicious airport worker to open your bags …

You are correct when you say that writing verifiable/verified code is a separate skill that not many programmers possess. But crucially, it's a skills gap -- not an intelligence ga…

You're technically correct, I think -- the actual point isn't to super-charge growth. But without massive spending cuts, you need supercharged growth to offset lost revenue. The pr…