omellet

I guess you didn't read the article? The end of it quotes Tao about how much more there is to discover in mathematics, and he expects humans using AI to get there.

They've updated it for the agentic code era, and have found basically the same thing. Code can be created faster but that has moved the bottleneck to review.

You seem to be ignoring the most important factor, which is cost.

If it's TCP then there's an uplink implied.

It's a way to fraudulently pump the price (or lower the price) of a security. One person with two accounts can keep trading back and forth with themselves, and since crypto exchange know-your-customer measures are trivial or nonexistent, it's very easy to get away with.

It is a huge premium. In reality it should only be the future value of the current spot, given the current interest rate. For other types of futures (oil, grains) that have storage costs or seasonality there are other factors that affect the difference between the spot and future price, but for financial futures (especially cash-settled) it should be nearly no difference for a one-month expiry.

Most people think it's a bubble, and nobody thinks they're the greater fool.

It's tidally locked, so you couldn't you put the settlement on the Earth-facing side and not have to worry as much about meteors?

Don't cryptocurrency transactions take a lot more time & energy than, say, a credit card transaction?

Or you can thank the English for figuring out how to measure longitude.

I use VsVim in Visual Studio, highly recommended.

I guess C++/CLI doesn't count as a .NET language? Shame it gets so little attention, it's a fantastic interop language.

Local tv channels have the broadcast rights for the home team area - like SNY in New York has the rights for the Mets. Their contracts specify that they have exclusive rights to the broadcast for their coverage area, so internet coverage must be blacked out.

Why don't they just build taller buildings?