○ Dijo una vez Margaret Thatcher: “El derecho de un hombre a trabajar como quiera, a gastar lo que gana, a poseer propiedades y a tener al Estado como servidor y no como amo son la esencia de una economía libre, y sobre esa libertad dependen todas nuestras otras libertades.”

I refuse to believe anyone who calls themselves a "classic do-gooder" is actually one.

The Amodei siblings portray Claude as their good person ‘AI child’.

Just put the fries (Fable 5.5) in the bag bro.

After watching all three of Walter Isaacson's new podcast series, I don't ed their being "good people" as a pre-determined, irrevocable fact.

Especially when he rightfully countered Musk and Thiel on most of their points.

Thiel, in the very same series, talked about appearing not to be evil just being a fake PR stunt.

Some points that were very weird in the interview:
– Dario said 10% of the people around him had the same "scared" reaction as he did to GPT-2, and it was the smartest ones.
– Claiming Anthropic is different to OpenAI because of its principles. Is anyone choosing Claude because of its principles?
– Claiming they've done a lot more on safety. Is there a meaningful difference?
– Claiming their 'lack' of scandals is a competitive advantage.
– Lobbying for safety regulations on themselves is a good thing.
– DVQs (Dario vision quests). Cult?
– Dario: "The world was decisively on our side."

This is how we work, bye bye terminal and hello phone

We are announcing three new discoveries in mathematics, computer science, and physics about harmonic analysis, complexity theory, and quantum field theory.

openai.com/index/building…

Full duration 33-engine static fire for the Super Heavy booster preparing for Flight 15

🥲

no notes 😂

@Ringo496351y change their minds by being proved wrong by experience. But usually they literally have no choice. What they need is somewhere to jump to, and that comes from explanation not from evidence alone. But in this case the elites maintain a taboo against such explanation.

@TaliaRinger correct

I genuinely have no idea how much of a bubble I live in on X where biotech, AI, and politics intersect. We’ve found a way to politicize everything, including AI.

My politics are whatever progresses medicine and gets us one step closer to curing cancer.

When I was writing Unreal Engine 1, my time was divided as follows:

- Around 30% went to seriously deep coding on hard problems: assembly language texture mappers, C++ BSP trees, data persistence, object oriented systems design, and networking.

- Around 70% was just typing and refactoring large bodies of code needed for a complete engine feature set. This was not hard, and while I was doing it my mind was mostly on the deeper coding topics, thinking and planning for what's next. It didn't feel much different from vibe coding today, except that it was just me typing code on an IBM Model M keyboard rather than prompting it and reviewing the results.

So, it has always seemed perfectly logical that we would rely on AI for that 70%, once the AI could do it with a similar quality standard as we could, which has never been perfection. It came as no surprise that, after a few years of AI model evolution, it was able to take the reigns on that 70% and free up programmers' time for more valuable tasks.

What's more of a surprise is the emergence of AI as a sort of insta-Carmack able to solve hard technical problems quite cleverly and often cleanly, and that it's able to reason about and work in complex 3D scenes both by operating the tools and by directly understanding the raw data files.

I abandoned assembly language in 1998 when out-of-order CPUs made much simpler C/C++ code faster, and never I missed it. If prompting through architectural documents, concept art, and design plans can transcend typing code and tweaking vertices, that will enable developers to spend their time on higher-level, higher value technical and creative tasks.

What matters is the end product, whether it's a game or an engine. Anything developers can do to try out more ideas and make better software and games faster is a win for everyone.

Imagine being this fucking stupid and still having the confidence to publicly embarrass yourself.

The guy doesn’t even understand a basic IPO lock-up period.

Absolute clown.

The real monopoly on violence in France—and other Western countries—is not held solely by the official police and army but also by the unofficial protester-rioters mass-mobilized and protected by elements of the state and elite, perhaps similar to Venezuela's political militias.

I recently spent some time with former colleagues from academia. All of them brilliant, peak human capital. Almost all of them fundamentally unable to plug into the economy, inoculated against productivity by a youth spent experimenting in laboratories instead of building wealth for society. Dealing with real people in the real world.

90% of them have left academia in the last 10-15 years, and 90% of those are functionally unemployed. Grad school does a lousy job of training scientists to be professors (since most of them don't get the good postdoc or tenure track position) and an even worse job of preparing people for real life.

We complain that our societal infrastructure is collapsing, our state capacity is low, our incumbent industries are faltering. Where are the next generation of leaders that can push us forward?

A huge fraction of them were conveyor-belted into academia by schooling systems that have no mechanism to channel ambition and 99+%ile competence, and our universities are mostly hedge funds with glorified psych wards/academic departments on the side, running an insane pyramid scheme that exists only to prove, over and over again, the Shirky Principle: Institutions will try to preserve the problem to which they are the solution.

We literally poured trillions of dollars into state-funded research and effectively neutered our elite civilian technical leadership development programs.

I recently asked a few academic friends if they were finding AI useful in accelerating their programs of research. You know, to solve the Big Problem their entire field exists to solve?

Some were. But most were complaining about how it created pedagogical issues, explaining how their department decided to ban the use of AI, or how it took 18 months to approve an enterprise account, or how they tried Gemini 2 on a puzzle a year ago and it wasn't very helpful, or repeating nonsense about datacenters and water consumption, or supposed IP theft by model companies, as though that has any bearing on their ability to, eg, accelerate a cure for cancer.

Elon sometimes calls AI a supersonic tsunami - a huge wave you don't see coming. I see it coming. But even the people who you'd think have been waiting for this their entire careers are steadfastly looking in the other direction.

Epic Games CEO Tim Sweeney believes AI could lead to a “golden age of gaming.”

He says AI could change the way games are made by helping devs with many of the repetitive and time-consuming parts of development.

According to Sweeney, this could allow smaller teams to create ly require much larger teams and much bigger budgets.

“We’re entering a golden age of gaming.”

Sweeney doesnt want to replace devs and believes AI can handle more of the technical work while developers spend more time on ideas and creativity.

pstack v0.15.27 ships with a new skill /create-formal-verification-skill!

it's still in beta, and similar to /create-verification-skill, this is a meta-skill that creates a new skill and formal verification suite based on the characteristics you want to verify. for example, you machines and systems with concurrency using TLA+, or use kani in rust to check for undefined behavior.

if you're new to formal verification, think of it as mathematically proving properties and invariants (something that must always be true) or "laws" of your system. usually, this means modeling your programs in a separate language like with TLA+ and then running the solver on that spec. newer approaches like with kani and @bendlang take a different approach where there is no separate language: you write kani in rust, and bend in bend (it's also a programming language, and the proofs are written as laws and expressed in its type system).

historically formal verification never reached mainstream status because of the difficulty in modeling and writing proofs. it's quite difficult to model your business requirements and keep them in sync! but i expect that we will see more innovation in formal verification in the future as being able to formally verifiy that the code does what you intended gives your agents superpowers in writing correct software.

in the meantime though, i've been experimenting with modeling our code with TLA+ and have already found several bugs with the skill created by /create-formal-verification-skill.

try it out and let me know how it goes!

On my way to the office this morning, I passed a group of young people protesting, a Palestinian flag draped over their shoulders.

And I asked myself a question I can't shake: why does this generation always fall into the same trap? No matter the history. No matter the context. thy families, who went to the best schools, who were dealt every good card. Always the same trap.

I don't think it's stupidity. I think it's a mechanism. And a mechanism can be taken apart, piece by piece.

A. The observation: everything the state touches becomes unaffordable.

Look at economist Mark Perry's famous chart, the one people call "the chart of the century." It tracks US prices since 2000.

At the top, what explodes: hospital services, college tuition, textbooks, childcare, housing. Increases of +100%, +150%, up to +250%, far above general inflation.

At the bottom, what collapses: TVs, software, phones, toys, clothing. A TV today costs a fraction of what it did in 2000, for an infinitely better product.

Look at what separates the two groups. It isn't technology. It isn't complexity. It's one variable: how much the state is involved.

At the top, sectors that are subsidized, regulated, shielded from competition, where the state funds demand and blocks supply. At the bottom, sectors where companies fight every single morning to serve you better and cheaper.

B. The mechanism: why it's systematic.

When the state subsidizes demand without freeing supply, prices rise. Every time. Guaranteed student loans, and universities raise tuition. Housing aid plus blocked building permits, and rents skyrocket. Administered healthcare, and bureaucracy eats the budget before it ever reaches the patient.

In France it's even more vicious, because the price doesn't disappear: it hides. You never see the hospital bill, you pay it through payroll contributions. You never see the cost of school, you pay it through taxes. Public spending at 57% of GDP, one of the heaviest tax burdens in the world, more than €3.4 trillion in debt. And the result? Overflowing ERs, falling PISA scores, young people who can't afford to live in the city where they work.

The market didn't fail in these sectors. It was never allowed in.

C. Suffering demands a culprit.

A 22-year-old lives all of this in their bones. They can't find a place to live. Their degree either buries them in debt or opens no doors. The future feels blocked. That suffering is real, and I don't deny it for a second.

But human beings can't stand suffering without a culprit. They need a face. A scapegoat.

And this is where everything is decided: who taught them how to read the world?

D. Whoever tells the story picks the villain.

Schools are public. Universities are public. Culture runs on grants. Film goes through funding committees. Public broadcasting shapes the narratives. The people handing down the interpretive framework are, overwhelmingly, paid by the very system that creates the problem.

Do you really think that system is going to name itself as the culprit?

No. It names the capitalist. The boss. The landlord. "The rich." The multinational. The commercial West. Same role, same casting, every time.

E. One lens, a thousand causes.

And this brings me back to that flag. A generation taught to read every situation through a single lens, oppressor on one side, rich, Western, capitalist, oppressed on the other, will apply that lens everywhere. To housing. To climate. To conflicts on the other side of the world. The cause changes, the lens stays. That's why the trap is always the same: it's not the cause that draws them in, it's the way of thinking that was installed in them.

F. The perfect inversion.

Here's the irony. Capitalism is the force that drove down the price of almost everything it touched. The state is the force that blew up the price of almost everything it captured. And young people blame the first for the crimes of the second.

It's like blaming the firefighter for the fire because you saw him at the scene.

G. The ballot box confirms it.

In the US, a few weeks out from the midterms, a large share of urban young voters is getting ready to vote Democrat for more state, more spending, more regulation. New York elected a self-described socialist mayor, carried by young voters, on promises of rent freezes and city-run grocery stores. Rent freezes, the policy that has made housing scarcer everywhere it's been tried. The cure that worsens the disease.

In France, it's the same play in two acts. Part of the youth votes for the radical left, which promises more state. Another part votes for the center, which promises to "manage" the state well, and has dug the debt deeper than ever. Two different ballots, one shared assumption: the problem is the market, the solution is the state.

H. The way out.

These young people aren't stupid. They're right to be angry. They're just aiming at the wrong target.

The day they understand that their rent, their tuition and their hospital are expensive precisely because the state runs them, their anger will change direction. They'll stop protesting against those who create. They'll start protesting against those who capture.

That day, the greatest intellectual scam of our time will be over.

Die Memes zum neuen Roadster sind einfach nice! 🤣🔥
Euch allen einen schönen guten Morgen. ✌️

J'ai vu une Tesla décoller. Et j'ai entendu beaucoup de bêtises.

« Ça ne sert à rien. » « Gadget de milliardaire. » « Qui a besoin d'une voiture qui vole ? »

Personne. Et c'est exactement pour ça que c'est important.

En 1978, Brabham a aligné en Formule 1 une voiture équipée à l'arrière. Il aspirait l'air sous le châssis et plaquait la voiture au sol. Elle a gagné sa première course avec une avance insolente. Elle a été interdite immédiatement.

Quarante-huit ans plus tard, on y revient. Un système de succion qui colle la voiture à la route et lui permet de passer sous la seconde au 0 à 100.

Personne n'a « besoin » de faire le 0 à 100 en moins d'une seconde. Comme personne n'a besoin d'une Formule 1. Et pourtant : les freins carbone de votre berline, l'hybridation de votre moteur, l'aérodynamique de votre SUV, les palettes au volant — tout ça vient de voitures de course que personne n'utilisera jamais pour aller au travail.
La Formule 1 ne sert à rien. Pourtant elle sert à tout.

En 1973, quand la France a lancé Ariane, l'Europe sortait de onze échecs consécutifs du programme Europa. La presse parlait d'argent jeté dans l'espace. Vingt ans plus tard, Ariane détenait la moitié du marché mondial des lancements commerciaux, et chaque satellite de télévision, de météo ou de GPS que vous utilisez a bénéficié de cette obstination.

Le progrès a toujours la même tête au début : un truc inutile, cher, ridicule, construit par des gens qu'on prend pour des fous.
Ce que j'ai vu à Dallas, ce n'est pas une voiture volante. C'est un châssis, une gestion de l'énergie et une maîtrise des flux d'air que l'industrie automobile mettra dix ans à digérer.
Les applications viendront : sécurité, freinage, stabilité, consommation. Elles finiront dans des voitures ordinaires conduites par des gens qui expliqueront, en 2036, que tout ça était évident.

La question n'est jamais « à quoi ça sert ».
La question est : qui ose encore construire des choses qui ne servent à rien ?

Il y a cinquante ans, c'était nous. La fusée, le TGV, le Concorde, le Minitel.

L'Europe construisait des choses absurdes et magnifiques.

Aujourd'hui, on commente depuis le siège arrière car nous sommes hors course.

Merci @elonmusk de nous faire rêver

The thing I’m most grateful to Elon for is bringing back an age of wonder and excitement to humanity. That was jaw-dropping awesome! Screams and mouths wide open in the audience. Nuts.