Hacker News new | past | comments | ask | show | jobs | submit | nobodyandproud's comments login

Term limits and age ceilings for Congressional reps would go a long way in solving this problem.

Not like 5, but High-school Geometry.

If you remember Geometry, there are two ways to prove something:

- By making it (constructing)

- By contradiction (reductio ad absurdum)

During the late 1800s to early 1900s, when math was becoming more formalized, a group of mathematicians had issues with the second method.

From their point of view if you can’t show how to make it, then you’ve not proven that it exists.

Now it turns out that indirect proofs like contradiction requires the law of excluded middle: If something isn’t true, then it must be false (or vice versa).

It turns out that AoC is needed/implied, for the law of excluded middle; hence the objection to AoC; and enables these non-constructive proofs.

https://en.m.wikipedia.org/wiki/Law_of_excluded_middle

Another AoC proof: Prove that an irrational number to a irrational power can be rational.

sqrt(2)^sqrt(2) : If rational, then done.

Else (sqrt(2)^sqrt(2))^sqrt(2) = 2.

QED (and non-constructive).


Note that this proof doesn't require the axiom of choice, only excluded middle.

AC is much stronger than excluded middle. This doesn't really say anything about what AC does.

Clearly they are the lizard people. Perhaps the next wave of space immigration.

V (the 1980s version) was a flawed documentary.


Fun fact: the creators of V wanted to make a version of the classic novel warning about Fascism coming to America, "It Can't Happen Here" by Sinclair Lewis, but it was deemed too cerebral for American audiences by networks.

So they swapped the fascists for aliens in disguise.


Nice. This is the first I’ve heard-of or read about Huey Long: "When he was gone it seemed that a beneficent peace had fallen on the land. Father Coughlin, Reno, Townsend, et al., were after all pygmies compared with Huey. He had been a major phenomenon."

The demagogue party has flipped, but of course we’re living with the consequences all the same.


Nah, the lizard people come from inside the hollow Earth.

inside the hollow, flat earth, you mean. I think that is the "mirror" realm, right?

What factors contribute to the poor success rate?

Does it matter? A success rate of 0.007% is practically a statistical error. It signifies that the method is not feasible regardless of individual factors.

Starting a particle accelerator would be forbidden, as the electricity alone would be akin to starting a fire.

Yes. But not if you set up a timer to do it automatically. (As long as you set up the timer before shabat obviously)

There is also apparently a slightly more technologically minded sub-sect of Judaism which considers only electricity generators that actually burn things (coal, oil, gas, biomass, etc) to be "fire". Battery powered devices are therefore OK, as would be things purely powered by solar power (as the sun is technically not "on fire") nucear power or even hydroelectric power. For the vast majority of electricity grids though, at least a percentage of generation will be from fueled generators and so forbidden on shabat.

This is not a mainstream view though.


How many RTO companies are publicly traded, and held by firms with an interest in commercial real estate?

Doesn’t matter. Their banks finance real estate. It’s not going to easy to get a loan when your bank sees you as the one who hurt them.

That aside, it’s a house of cards. Shoes start dropping and no one knows what will happen. No one wants to know. The status quo of RTO is safer


Which is more a showcase of our manufacturing ignorance than it is a smoking gun.


This is a technical “solution” which ignores a market and legal problem: There’s no incentive to keep things secure, because the accountability falls on the rank-and-file, but rarely if ever on the actual leaders that all but require insecure incentives.

We have Boeing-level incidents daily, except that it can be swept under.


Nervously eyeing my robo vacs.


Python seems to fit the old Perl niche.


Consider applying for YC's Fall 2025 batch! Applications are open till Aug 4

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: