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?

The problem isn't locking so much, it's that you have to dispatch to a kernel thread when you're requesting and sending data, paying the cost of that context switch every time. In userspace you can spin a polling thread on its own core and DMA data up and down to the hardware all day long without yielding your thread to another one.

Now they'll just be held back by lack of a widespread charging infrastructure.

Do glaciers move continuously, such that they can be measured like this?

Welcome to the surveillance state in your head: http://www.theamericanconservative.com/articles/the-surveill...

He's not a fan of two's complement, I guess.

Bicycles aren't allowed on the sidewalk, either.

This should have linked to a blank page.

It's not an especially high barrier if your strategy doesn't require you to build physical infrastructure (most strategies don't require this). You have programmers, hardware, colocation costs, direct exchange connection costs, trading fees, etc. The programmers are by far the most expensive component.

This piece is an excerpt from the longer Radiolab episode.

I agree that it's a waste of talent and money, but how is it evil?

That would create a corrupting incentive for the USPTO to encourage and accept more patent filings, which is the opposite of what they should be doing.

A better measure would be deaths per driver decision, if you could estimate such a thing.

Perforce is not Git-style, it's got a single central repository.

The article lists several other fusion approaches that are also in development. Does anyone have a real sense of the likelihood of any of these actually working? I'm optimistic, but also naïve about the engineering challenges.

For any amount of time less than it would take a human being to make a decision and take action, it doesn't really matter the latency. Even if the website and newsfeed release were guaranteed simultaneous, the mom & pop investor typically doesn't have a computerized trading strategy, let alone one running in a colocation facility with a single switch hop between them and the exchanges.