lliamander
Joined 13 years ago
Joined 13 years ago
And yet here you are, still talking. So long as we are continuing this conversation, do you have any thoughts on how the executive branch should effectively enforce immigration law, which it has an obligation to do, according to the constitution?
I quite obviously reject your framing, and believe that there is a real discussion about how to properly adhere to the constitution in the face of conflicting considerations. But you do you.
Cool.
> But how much industrial capacity do you want to take up making clothing?
I actually want the market to decide that. But that is fundamentally what we do not have. It has been more or less the result of conscious trade policy (by all governments involved) to incentivize production in other countries.
We don't make our own clothes because:
1. The regulatory burden on manufacturing is much higher here than foreign countries
2. Those foreign countries have a deliberate policy of maintaining a trade surplus in order to improve their own industrial capacity at the expense of our own
I would absolutely expect that even in a more level trade environment there would still be some foreign manufacturing of clothes. But what we are seeing is not the happy accident of the free market, but the result of very deliberate government policy.
Adequate clothing is actually a very important in war. Frostbite, sunburn, heat exhaustion, cuts and scrapes (which can lead to infection), trench foot, etc. are all conditions that can be mitigated through clothing.
- In the case of search or sort algorithms, where the primary concern is the speed of computation, undesirable states would be performing unnecessary or duplicate computations.
- In the case of encryption algorithms, undesirable states would be those that leak encrypted data.
- In the case of an order shipping and fulfillment system, an undesirable state would be marking an order as fulfilled when not all of the items have been delivered.
The more care that is taken to prevent undesirable states, the more the program takes on an algorithmic style. And the only way you can be sure that those undesirable states are impossible is to think in terms of proofs and invariants.