briandw

“Does the job” means all of those things. Figure out what’s important, find a way to measure it (could be also be qualitative.) How does the AI generated code do? If you simply say its no good because of the way it was created, it’s not a rational decision process.

Code is code. It either does the job or doesn't. If there is nothing that could convince you that AI generated code is trustworthy (for whatever definition of trust) then this is an article of faith, not a rational position.

These systems are antifragile. Just like what was exposed by the supply chain shock during covid. You optimize like crazy to squeeze every bit of efficiency (I know it's the military, so this is relative) out of a system when times are good / easy. Then the game changes a little and the entire thing comes apart. The US military has been operating in an uncontested space for far too long and there is major weakness in all the unprotected assets away from the front. Think about all the aircraft that are unprotected and near civilians. A project spiderweb in the US would be relatively easy and devastating. The US military needs to get their butt in gear and take action to close those vulnerabilities.

Gemini was giving us ethnically diverse images of Nazis. Was that profit driven or political?

Irradiated doesn't even mean radioactive. It's like saying I don't want to be set on fire, so I won't eat cooked food.

I think the author would have no problem with mushrooms from Chernobyl given that they were under a specified level of activity.

Maybe. I see the real issue as being that people are scared by change and politicians are taking advantage of the opportunity to get more power.

It's a response to the FUD that is water usage in data centers. Data centers don't use a meaningful amount of water when compared to just about any other industrial application, or many recreational ones. Data centers used about 66 billion liters 2023. source: https://escholarship.org/uc/item/32d6m0d1 Golf courses used 2 trillion liters in 2020. We won't even bring up almond production.

Cray used Fluorinert, a chlorofluorocarbon. So not exactly a environmentally friendly solution.

I'll do my best to restate the problem. If AI does all the work, then we won't have people who can understand the math that AI's are creating.

This is the real problem as I see it and it extends to most technical work. I didn't see that as the main argument of the article.

I was objecting to the old guard defending their turf.

Academia needs to contend with this problem, and start addressing it right now. People are not going to be able to beat AIs at math. So whats the solution? PhDs will have to be able to show competence in new ways. Publishing and review of mathematical work will have to change. The genie is out of the bottle and there is no putting it back.

[delayed]

You are describing the Jagged Frontier. https://mitsloan.mit.edu/sites/default/files/2023-10/SSRN-id...

Nothing will ever be cheep enough. “599 is dangerously close to 1100”? It’s 1100 is nearly double! I bought the neo for my daughter to use in HS and it’s perfect. Fast, great build and great battery life. Ill be buying a second one for my son, and paying just a bit more for both than the one air you mentioned. You should just buy a chromebook and save the 100-200$ for a plastic laptop.

I don't know about the CFD, but I really enjoyed reading this blog back in my iOS days. Friday Q&A was especially good. He would take some part of Obj-C or Cocoa and build a simple version from scratch.

Most of the arguments here feel like gate keeping and resistance to change. I didn't see any arguments that were directly about advancing the state of knowledge of math.

“Current automated techniques can produce plausible but unreliable (or even incorrect) arguments which are difficult to distinguish from correct mathematical proofs.”

That seems like a problem for mathematics with or without AI.

Isn’t this a problem with human proofs as well?

“Many current models are also built on data obtained by systematically exploiting licenses and access arrangements that were not made with artificial intelligence in mind, or indeed by simply violating copyright protections”

Copyright? The copyright arguments have been hard to make in domains where copyright is much stronger, mathematical knowledge isn’t even subject to copyright.

“Technologies which affect the way in which mathematics is practiced may disturb the current system of incentives”

Resistance to change again.

“Proper evaluation is endangered if results are communicated through informal channels”

Gatekeeping again.

No human baseline to compare it to. Without that you are missing an important check on the task being poorly constructed. More importantly there is an implied reference thats missing. The implication is that people would have done better, or that perfect agreement is possible.

Water hogging? Show me the data. This is a lie that the socialist continue to peddle. It’s a very sticky idea completely resistant to facts. Data-centers use 48m gallons a day in the USA. Total water consumption is 322 billion a day. So 0.015% of water use. Golf courses use 30x that and Almonds 80x that.

Because they don't have a fleet of millions of people labeling the data for them and paying for the privilege of doing so. Waymo has about 3700 vehicles. Tesla has millions. Waymo only operates in known environments and collects a very limited range of data. Tesla collects data everywhere that people drive their cars.

This is an adversarial process. Unions exist to fight employers. Unions spend about 23 billion a year in total. Only spending 1.5B to defend against 23B looks like a bargain.

This is a style over substance argument. At least I understand what the project is really about now. Honestly the choice here is either poorly written english or AI writing. For a technical doc like this, Ill take the AI

Very fun, I enjoyed seeing what it would react to.

We just bought the Neo for our daughter to use at school. My biggest concern was the trackpad. This is the first MacBook to not use a force touch trackpad since they were introduced. I must say that the new trackpad is really good. It's not quite as good as the force touch one in my MacBook Pro, but it's close. We will see how well the Neo holds up over time, but it's off to a good start.

I truly do not understand the fixation with hydrogen as a fuel. Compressing H2 to store it requires around half of the total energy that you can expect to get from its final application. Add in production losses and the difficulty in storage and handing, its always much worse than batteries.

I can see the argument for use in industrial processes like steel manufacturing as a reducing agent, but not as a power source.

This is clearly a government power grab, not a corporate one.

In this paper AutoCodeBench https://arxiv.org/pdf/2508.09101 LLMs seemed to do best on the strongly typed and functional language Elixir. This is surprising since there isn't very much training data. However the examples that it's seen are usually high quality and there aren't a large number of different way of doing the same thing in Elixir.

This is zero sum thinking. The foreign companies benefit and the local Polish people benefit. Wealth is created in the process and everyone benefits. What if those companies never came and never employed Polish people? Would Poland be any better off?

Same here. I used to listen to techno and could just disappear into the work. Those days are gone now.

Ok how about golf courses? This AI is evil look at the water use, is obvious propaganda. It makes no sense to call out data center water use when something that’s purely an optional recreational use consumes 25 times the amount.

You are claiming that this is anti train and pro car conspiracy. Counter ponint : the SF Bay_Bridge cost 6.5 Billion, but was originally budgeted at 200 Million.

The US can't build anything efficiently. It's due to the massive mismanagement, bureaucratic nonsense, environmental review, permitting and NIMBY lawsuits.

The real conspiracy is that "they" never wanted a train, "they" wanted an endless jobs project.