I don't think for one second that this is anything else than posturing. He doesn't actually believe that, but pretending he does makes his product look good.

And finally, not a counter to your point, but a general remark: people who accuse everything of being AI without proof are worse than AI bros. Don't do that again in my mentions.

1. That tool you use is known for being very unreliable 2. That level of polish and thought in the way people interact with the story is obviously not slop by any definition you can think of 3. The data is real.

It’s notable to me that TWO of the most recent women who have won a NoBel Prize were denied tenure from their institutions: Anne Carson and Katalin Karikó

What that tells us is that the quality control step was hoisted onto human mathematicians. This reminds me a bit the case of armchair "researchers" from the Covid pandemic, dumping ridiculous claims, that actual researchers had to debunk using more time/effort than what it took to create the claims

Tbh I don't even think companies should have free access to the commons, or even equal access fees as people. Companies aren't people. They do not consume at the same scale, they do not pay back at the same scale, yet benefit from evonomies of scale. Google's crawler should pay 1$ per page accessed.

I have another proposal: big companies pump everything from the commons, and contribute nothing to the public good that isn't also a source of profit. I say make each company pay a percentage of their revenues to projects they use.

Who should ensure that full time open source contributors are able to live from their work? The story mentions "Germany's public fund for open source", which I think is good, and some developers get paid by companies for tech support.

They changed the normal screen at meitetsu Nagoya for some kind of vibe coded LLM powered shit that is displaying live text instead of prerecorded text. It's chaos.

"providing semantically faithful AI autoformalisation is harder than any computational problem including the Halting problem (which has SCI =1) [...] we show that the formalised Lean proof does not correspond to the NL proof of blow-up of solutions to the Navier-Stokes equations."

Having long been aware of those tech bros who read my work as utopian porn, where they’ve taken that doesn’t exactly surprise me.

So he’ll read to AI but not to his kids?

i was fortunate enough to profile Margaret Hamilton in 2019. A really kind and curious person. This was my favorite story she told me:

This is what class solidarity looks like in France 🇫🇷. 8,000 firefighters marching on Paris and hosing police officers down, who are attacking protesters. The firefighters are protesting a lack of resources after a terrible wildfire season while standing in solidarity with students.