mathgradthrow

AI is, apparently, very good at producing proofs. Formal verification of program properties was out of the reach of human labor, but may not be out of reach for 10 million instances of Claude. Software security will, by my estimate, just shift to this new paradigm.

Good thing transactions like this are reversible, so that enterprises like this might be deterred.

how common are airpoane crash injuries?

The word you are looking for, probably, is "totally disconnected". Discrete always refers to the "discrete topology".

Navel gazing is a physical phenomenon, so if you would like to know everything about physical phenomena, you have to be able to predict the navel gazers.

>Homework requires internet-connected devices

I see an opportunity for much more reasonable legislation since this is a thing that the gov already controls.

So many of these invariants are redundant and so few of them encode any of the interesting rules of chess.

well, I wrote should as a hedge.

Someone flips a coin and looks at it, what orders are you willing to put in?

The potential for insiders should be represented by a complete loss of liquidity.

I think when your work is no longer required, you will probably come to regret this sentiment, not that it matters.

You're right, but I was confusing counterparty risk and adverse selection.

Everytime someone loses money on a bad bet in a prediction market, it's an opportunity for them to learn something about counter-party risk. You could easily make the argument that the more people are losing in prediction markets, the more learning is happening.

a realistic response? What's a realistic response to "how many calories are in an avocado?"

If you are counting calories, you don't want the answer to "how many calories are in the average avocado?", you want to know how many calories are in this avocado. Remember that bodyweight is roughly linear with BMR, so a 10% error in calorie counting is an extra 10% of bodyweight.

Income is by far the dominant term, you're being ridiculous.

You are responding to data about the median American.

Did you not vote?

Does this question need asking?

This is the dumbest thing that has ever been posted on this site.

You don't have to agree to a disparagement clause... She accepted a lot of money to agree to it.

Putin can barely fight his own war, and how are you proposing that China supply Iran? You can't rebuild capability in a day.

Do you want to give odds to your proposition that this is going to turn around in the IRGC's favor?

I don't know if any have completed runs yet, but supposedly we're using B-52s...

1) The US has run 13,000 missions over Iran in the last month. Thats a lot of targets.

2) The initial US degradation of Iraqi capabilities was much much greater in gulf war 1.

3) F15s are not stealth fighters.

4) This is 35 years later.

5) "strategic bombing" of air defenses is mostly accomplished with our cruise missiles. We'll take out any air defenses we find, but you don't fly non-stealth planes over SAM batteries intentionally.

We haven't even started a ground campaign. If one plane is downed per 13000 missions, I think we're doing ok.

I don't believe you understand how modern bombs work.

You think the pentagon was like "shit, Iran is bigger than we thought"?

I'm not really sure that's any of their business.

wasn't that about when the iphone came out?

> try tweaking the description of a widely-known algorithm just a little bit and see how good the generated code follows the spec.

this works well for me

No, because of the fundamental limitation of DRM. Content must be delivered as plaintext.

Equality is defined on sets. Everything is a set. Equality means equalty as sets. That's how math aorks unless you're doing type theory shit.

localization? Why would you oppose LLMs doing localization?