Hacker News Reader

czboton Why Are Protesters in Mexico City Angry at Remote Workers?

In the U.S. we are treating Mexican immigrants badly. It’s natural and appropriate that American immigrants in Mexico get similarly bad treatment and resentment.

czboton Sam Altman says he's 'politically homeless' in July 4 post bashing Democrats

There aren’t enough resources for 350 million people to live billionaires do. Sam Altman’s complaint is without merit and he knows this. It is wholly disingenuous of him to pretend otherwise.

czboton BusyBeaver(6) Is Quite Large

Indeed yes. But in a sense within ZFC one can say what N is given the categorical nature of second order PA. Each model of ZFC will have, up to isomorphism, one model of N.

czboton BusyBeaver(6) Is Quite Large

ZFC allows models of second order PA and proves that those models are all isomorphic. Within each model of ZFC there is no such thing as a nonstandard model of second order PA. One can only think it is nonstandard by looking from outside the model, no? What theorem of second order PA is ZFC unable to prove?

This is similar to how there are countable models of ZFC but those models think of themselves as uncountable. They are countable externally and not internally.

czboton BusyBeaver(6) Is Quite Large

Within ZFC one can prove that any two models of second order PA are isomorphic. ZFC proves that PA is consistent. ZFC is good enough to capture arithmetical truth.

czboton US Supreme Court limits federal judges' power to block Trump orders

Before today’s ruling nationwide injunctions were granted. Not sure how you can now claim “that’s how the court system works” when nationwide injunctions were fine before today’s ruling.

A President can now issue blatantly unconstitutional executive orders and the burden for obtaining relief will rest on each individual person (or small class of people). Prior to today rules/laws that caused harm could be temporarily prevented from being enforced while the matter is litigated. Now parties that will be harmed are much more likely to be harmed before the matter is resolved. This is a sad state of affairs.

If the next President issues an order confiscating guns from people the champions of today’s ruling will want nationwide relief while the matter is litigated.

If someone is going to be deported they can file a case and stop the deportation.

And you accuse OP of not paying attention!