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~~ adverse selection. 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.