atqtion

5 ms·

1.
by atqtion 9y ago
> 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,
2.
by atqtion 9y ago
> 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 portions of
3.
by atqtion 9y ago
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 only because of
4.
by atqtion 9y ago
> 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 development of domestic
5.
by atqtion 9y ago
> 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 "better&quo
6.
by atqtion 9y ago
> 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 laptop. Go
7.
by atqtion 9y ago
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 properties
8.
by atqtion 9y ago
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 -- which coincide