nradov

I don't support data center bans but even if that happens in the US I'm pretty sure some other countries will welcome them. For AI inference workloads the network latency doesn't matter.

We could literally build "A Young Lady's Illustrated Primer" now. I'm sure someone is working on it. Whether that will be a net positive for students is unknown.

https://www.penguinrandomhouse.com/books/172835/the-diamond-...

Banks were never "safe" from fraud or theft, even before cryptocurrency existed. The key point was that customer accounts were segregated, and any customer losses were fully insured.

Legality would be very jurisdiction dependent. It might be illegal in most developed Western countries, depending on the exact facts of the case. I suspect it wouldn't be illegal in China — unless the trick happened to hit a ranking Communist Party member.

Older versions of the GM OnStar hardware used 2G cellular radios and carriers have decommissioned those networks. Adapters are available for some vehicles to use newer networks.

https://www.onstar.com/support/faq/2g-network-sunset

I've been following the story. Git repos of Lean code are a good start to developing understanding. First verify that the proof is correct, then work on ways to simplify it and make it understandable.

If the human can simplify the Lean proof then there's no need to get everyone to agree that it's correct.

How would the hiring committees decide who to hire if not based on achievements? Flip a coin?

If those OpenAI proofs are unpublishable garbage then our concept of publishing has to change. Pure math will probably shift from journals publishing PDFs to individuals (or their agents) posting Lean code in Git repos.

Yes, it's extremely popular. No matter how you count it's at least in the top 10 programming languages for new code being written. And there are several other niche languages that also target the JVM.

You might believe that your own 1 KLOC is well tested but you're probably wrong. As your business evolves and use cases expand, someone will feed it bizarre inputs that you never thought to test and then it will break. I've seen this happen over and over.

Their JVM doesn't suck.

OK, but that's irrelevant to Anthropic's IPO. For the next few years at least very few developers are going to do much with local models. The problem that new data center construction projects are running into is electricity availability. In some areas there's no more power available regardless of cost.

Really? People in France don't seem too happy lately.

https://www.wsj.com/world/europe/panic-and-anger-spread-as-e...

The limiting factor now is more electricity than hardware. There is hardware sitting idle because data centers can't get grid connections and power delivery contracts. Even for those who willing to run gas turbine generators on site there are severe supply constraints.

Anthropic has something close to first-mover advantage but that doesn't mean they'll continue to grow revenue. Ten years from now the dominant player could be Google or DeepSeek or some random startup that doesn't even exist yet.

In the real world you'll have to compromise on some of your priorities.

A you looking for a list or something? It's a big country. There are a zillion places to live that are better than SF in most ways, depending on your priorities.

Whenever someone suggests a specific alternative city here we always get a lot of lame complaints that the proposed alternative is unacceptable due to weather / jobs / transportation / politics / food / family ties / blah blah blah. I think a lot of people just prefer to complain instead of taking action to improve their situation.

But anyway if you want a specific location then try Cleveland. It's a nice place to live.

Or to prohibit street gang affiliation symbols.

Unless you fit a certain very narrow demographic and career profile, SF is a shitty place to actually live. I understand that some people have an emotional or family attachment to it but honestly most of them would be way better off in the long run if they just moved. We can debate all sorts of hypothetical government policy changes that would make the city more livable and affordable, but come on, realistically most of those aren't ever going to happen. At some point you have to accept reality.

Very little will be left considering the impact speed. Even if the aircraft was equipped with a flight data recorder (black box) then its structural limits were probably exceeded.

Escape to where? It's not as if there's a lot of idle compute capacity sitting around.

And even if the impossible occurs and LLMs hack everything that's connected to the Internet, so what? That would be inconvenient but it wouldn't cause doom. People would muddle through and eventually fix the critical problems, just like they always do.

I know some real assholes who seem quite satisfied with their lives. A shot of heroin will make you happy … for a while. It's a meaningless goal. Regardless of your snarky comment about "shareholder value", we should all aim to make a positive contribution to society and achieve something of lasting value (not necessarily monetary). Happiness might come with that as a side effect but only a fool treats happiness as a goal.

I suspect the AI frontier labs will also soon turn their tools loose on the entire corpus of historical math papers to check for errors. They'll likely find that some major areas of math are built on a very shaky foundation.

How is that working out for them? I am by no means an anti-intellectual and I do value knowledge for it's own sake. But Europeans in particular seem to be unable to translate their mathematics educations into any sort of practical economic growth.

We need to rethink the idea of textbooks as static documents. LLMs make it possible to build something like "A Young Lady's Illustrated Primer" for real. Let's go.

https://www.penguinrandomhouse.com/books/172835/the-diamond-...

Happiness is a pointless goal anyway. It's not a metric that can be used to measure the success or failure of any particular policy.

I agree that all people have value, but what does that mean in practice? Everyone needs a certain amount of resources just to survive. Should other people give you those resources because you have a soul?

A lot of people enjoy making art as a hobby; very few of them have combination of talent, discipline, and luck necessary to achieve commercial success. When I walk through a local art festival, most of what I see is so bad that the artists would have to pay me to take it. While taste in art is highly subjective, those artists don't seem to get much attention from other customers either. Going forward there will probably be even fewer people able to make a living in the arts. I'm not sure what that means for society?

It's probably just another Red Queen's Race. The benefits of LLMs won't show up in higher profits for most companies because their competitors are also using the same tools to move faster. You can't opt out of the race or else you'll be left behind.

Risk tolerance is an orthogonal issue. The point I raised is about operational inefficiency which has no impact on risk (in terms of legal compliance or patient safety) one way or the other.