> 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…
> 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…
> 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 --…