> It's the same thing I feel when I hear Terence Tao speak about AI

Which talk of his gave this impression?

This one: https://www.youtube.com/watch?v=svl_1upFpQo

Also, "ok, and now I've cloned your hard work overnight, no need for any decisions on my part, I just had my agent use yours and reverse engineered it and/or used it as an oracle. Why the frown? I thought you were in this for intellectual curiosity and exercising your creativity, not just stroking own ego, right?"

> Why should the average person reduce his/her life quality in order to save the climate

Read what you quoted again. That's not what it says.

> That doesn't hold anymore? AI doesn't care how hard or easy a migration is if a test suite exists.

Sure, but that only matters if migration is going to be the last thing anyone does on a project. Unless you think typescript 7.1 ought to be enough for anybody, it also matters what the typescript team wants to write/read/reason in.

I would love this to be typescript 8 and 8.1 story (:

Well, no, not exactly. The article says vscode is compiled in 5.28s in typescript 7.1 (nightly), and in 1.73s in tsrs (dev), which is 3x faster.

3x isn't so wild but still very impressive.

This is for Facebook Pages, not for users. Average facebook daily user can keep posting 35 links a day to their favorite slop site.

Those 35 links to "you wouldn't believe which politician wants to kill our kids now" type posts are why I quit facebook. There is value in know what my friends are doing, but the negative value of that hate isn't worth it.

I wish there were a way to filter links and reshares out of my feed completely.

> basically both sides now dislike that he flip flopped

No, the dumb thing is the idea that there are "sides".

> basically both sides now dislike that he flip flopped

Literally the only people with this opinion of Tao are internet forum warriors who have no expertise in the field and who's opinion of Tao don't matter in the slightest.

> who's opinion of Tao don't matter in the slightest.

Similarly, Tao being ‘on the warpath’ does not matter in the slightest when it comes to formalizing math and finding proofs to important unsolved problems with AI.

> Similarly, Tao being ‘on the warpath’

Do you think that this is a quote from the article you just read?

I swear half the comments here are just from people reading dunks on r/singularity and x and getting real mad at strawmen.

“I’m on a war footing,” he said while grabbing coffee during a two-day math workshop at the University of California, Los Angeles, that was rife with talk about the existential crisis that artificial intelligence has created in his field.

> “I’m on a war footing,” he said

So not remotely the same thing.

> Literally the only people with this opinion of Tao are internet forum warriors

I find it amusing that you would be the one saying it here.

> wouldn’t that only offer a new view from such a mathematician

Don't invent things to get mad about, please.

They steal from the commons! They add to the commons!

> The Dune Encyclopedia, which was not written by him but which he said he considered canonical

No, he literally wrote in the intro to the book that it wasn't canon. It was a fan project and he thought that it was great there were fans doing things like that.

edit: and like with the terrible Dune prequels, the impulse to say "here's what really happened" usually diminishes what's interesting and powerful about oblique allusions in SF meant at least partly to function as a mirror on humanity.

> As someone who is building one of these referred to systems in a major vertical in the Fortune 500, these LLMs are very much being used to eat major legacy systems and processes

> Senior Director of Product in Insurance Tech

anakin_padme.jpg