> 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 applications of Gödel's theorems, if…
> 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 heat pumps can definitely work in the…
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 ago. These smaller firms existing today…
> 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 mechanism for supporting the…
> 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 guess it depends on what you mean by…
> 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 and sniff your panties, erm, steal your…
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 gap -- that stands in their way. For most…
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 premise of Kansas-style tax policy --…
> 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 applications of Gödel's theorems, if…
> 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 heat pumps can definitely work in the…
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 ago. These smaller firms existing today…
> 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 mechanism for supporting the…
> 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 guess it depends on what you mean by…
> 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 and sniff your panties, erm, steal your…
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 gap -- that stands in their way. For most…
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 premise of Kansas-style tax policy --…