Tyr42

[delayed]

[delayed]

The truth is still tying it's shoes, in that metaphor.

Analysing all the proofs and finding contradictions or not takes time.

There's probably something with sunshine / moonshine /artimis or something but I'm not up to date on that cluster of things.

.. humanity will be replaced by the subset of it which continues to have children.

If a subgroup actually has children at above replacement, then as the other groups shrink, they will be a larger and larger fraction of the population.

I think the models were stuck on impossible problems, and the only want to get a positive score was to hack.

Sometimes Smarthome Scene does do teardowns and checks which chip is used. I guess they didnt' this time due to the number of devices.

Copyleft is built on copyright, do you think removing copyright protections is going to get people to release their source code?? I don't think so. Not unless you want to try and legislate some general copyleft law, but that's probably a nonstarter.

Your lists formatting got eaten by HN.

You'd also care about angular sand vs round sand grains.

Behind the meter power generation is being included on site with the data centers.

And you are tipping before you even see the service in that case, as you pay before the food.

Of course, the staff also see how you tio before they prep your food...

Then don't visit? Or realize how bad they are with ads and bounce? They probably track bounce rate as ads load.

You can prove something is in NP by providing a (polynomial) reduction from a known NP hard task, and vice versa. All the known NP problems (Knapsack, SAT, etc) are mutually reducable in this way, so solving one lets you solve the others. So if X was shown to be NP, then given a polynomial time solution to X, you can stack the polynomial time reduction from X to SAT to solve SAT in polynomial time too.

That's handwashing right?

Man, I always wonder what would have happened if Bill Watterson had been around for the era of webcomics. Much more creative freedom, and no editor or syndicate to tell you how to layout your panels. Would he have loved it?

Or would he have hated it? He certainly wouldn't have wanted to build a website for it.

Ty but the animations don't seem to animate on mobile chrome on Android.

Same blog eh?

Can I do

  echo blah blah >> ~/.ssh/authorized_keys

And that'd be auto approved?

> None of this bites evenly. The editing falls hardest on broadcast and promotional push; the notifications people actually want tend to pass through untouched or amplified.

Sounds fine with me?

What's the best way to play on Linux? I'm sure proton would work but it's not on steam...

My instructor for Epsilon Delta proofs and limits would always talk about "his cousin in Romania" picking the Epsilon and him picking the Delta.

i.e. forall epsilon > 0. exists delta > 0. forall d with |d| < delta. |f(x) - f(x+d)| < epsilon.

If we had a proof, no matter what epsilon his cousin from Romania picked, we could always find a new delta which would satify his cousin and let him pick the worst d in range.

This worked better than just saying "pick any epsilon", as it convayed the adversarial approach better.

Another book I read used the Devil as the one you are trying to convince, but it's nowhere near as fun as "his cousin from Romania".

Health outcomes of lottery winners suggest it's not great.

I second this proposal. Three weeks shift can feel about right.

But we lost a lot of nice symmetries that way, which is unfortunate

Ah but then you'd need to hard shut down to carry it home. The battery should keep the ram active to commute while sleeping

Heck, doing a self review when you wrote the code catches stuff like forgetting debug prints.

Hey hey, 15 = 3*5 is factoring.

Being unable to start a project without doing 5 years of legal wrangling once you put shovel to earth may not be a "ban", but it sure doesn't encourage development.

Funny you'd mention that, when Notepad had a CVE in it's markdown parsing recently.