Bekali Aslonov

systems, ml, rust | prev engineering @PoliTONews , econ @Georgetown

[Bekali Aslonov @aslonv]

Rocket engineering is like building a complex software program where you can only test tiny pieces on a slightly different machine. The very first time you run the whole thing on the actual hardware it has to work flawlessly with basically zero major bugs

[NSF - NASASpaceflight.com @NASASpaceflight]

Blue Origin's New Glenn just blew up at LC-36 while attempting to Static Fire ahead of NG-4.

https://t.co/tANS0dWyIH

[vitalik.eth @VitalikButerin]

Many people have claimed that with AI-assisted bug finding, secure code (and hence trustless anything) will be impossible.

I have a much more optimistic take, and AI-assisted formal verification is a major part of the reason why:

https://t.co/0ceMBZ6uqj

[foobar/ @0xfoobar]

It's deeply irresponsible to put dangerous AGI into the hands of the general public. I'm boycotting every model company that spreads bioterrorism and cybersecurity risks

That's why I quit OpenAI years ago when they launched GPT-2

[Bekali Aslonov @aslonv]

@elonmusk Running the chips hotter in space is actually a big optimization, and it's an underrated detail in this interview. Radiated power scales with T^4, so raising the temperature by ~20% in Kelvin can cut the required radiator area roughly in half

[Bekali Aslonov @aslonv]

@paulg @pmarca 🎯

[Bekali Aslonov @aslonv]

@niccruzpatane Not enough movies & documentaries about hardcore manufacturing and shaping the things from atoms

[Bekali Aslonov @aslonv]

@ithacarising Tier-1 Entrance Exam Moscow Maths Olympiads: Hold my vodka..

[Bekali Aslonov @aslonv]

@yuris Individual 'grindmaxxing' is overrated, although one must be capable of that.

Teamworkmaxxing in retrospect has always created more value and generated more Right directional signal. It's more Complex to join a great team, than to just work hard, but that's more winning than 1/

[Bekali Aslonov @aslonv]

@docmilanfar 🎯

[Bekali Aslonov @aslonv]

Sometimes you gotta risk being the aggressively uncompromising non-conformist to protect the taste and design. You say No to everyone else who wants it differently & "fashionably". That’s how to prevent it from getting ruined or ending up mediocre.

[John Fletcher (𝔦, 𝔦) @Dr_JohnFletcher]

https://t.co/qmnOLi1cKd

[Bekali Aslonov @aslonv]

The person who created the knife did nothing wrong. The fault lies with the one who misused it.

[Bekali Aslonov @aslonv]

https://t.co/872E23DV2d

[Bekali Aslonov @aslonv]

"Physical activity when young provides lifelong benefits to cortical bone size and strength in men":
https://t.co/fl5DpERqsy

[Brivael Le Pogam @brivael]

Aujourd'hui je déconstruis la déconstruction.

La déconstruction est le virus mental le plus efficace jamais conçu contre une civilisation. Il a été fabriqué en France entre 1966 et 1980 par trois hommes : Foucault, Derrida, Deleuze. Il a été exporté aux États-Unis, hybridé avec le puritanisme racial américain, et il est revenu trente ans plus tard sous le nom de wokisme paralyser l'Occident entier. Voici comment il fonctionne, et pourquoi il faut le détruire.

La thèse est simple. Toute vérité n'est qu'un rapport de pouvoir déguisé. Tout texte sacré, toute loi, toute science, toute norme, toute hiérarchie, toute identité, toute institution cache en réalité une domination. Déconstruire, c'est montrer le rapport de force sous le vernis du vrai. C'est arracher le masque. C'est "démasquer".

Formulé comme ça, ça paraît inoffensif. Voire utile. Qui n'aime pas un peu d'esprit critique ? Le piège est là. La déconstruction se présente comme une méthode. Elle est en réalité une ontologie. Elle ne dit pas seulement "interrogeons les normes", elle dit "il n'y a *que* des rapports de pouvoir". La différence est civilisationnelle.

Une société qui interroge ses normes reste debout. Une société qui croit que ses normes ne sont *rien d'autre* que de la domination s'effondre. Parce qu'elle ne peut plus rien défendre. Plus une frontière, plus une loi, plus une science, plus une langue, plus une histoire, plus une biologie, plus une famille. Tout devient suspect. Tout devient négociable. Tout devient "construit donc déconstructible".

C'est la première raison pour laquelle c'est un virus. Il s'auto-réplique. Une fois inoculé, il transforme tout ce qu'il touche en cible. La science est patriarcale, donc déconstruisons-la. Le langage est colonial, donc réinventons-le. La méritocratie est raciste, donc abolissons-la. Le sexe est une construction, donc choisissons-le. Il n'y a plus de roc. Tout est sable.

Deuxième raison. Le virus est *non-falsifiable*. Si vous défendez une norme, c'est que vous êtes l'oppresseur. Si vous niez être oppresseur, c'est la preuve de votre privilège inconscient. Si vous citez des faits, vos faits sont contaminés par le pouvoir qui les a produits. Si vous citez la raison, la raison elle-même est blanche, masculine, occidentale. Il n'y a aucune sortie possible. Le système est conçu pour rendre toute objection irrecevable par définition.

C'est exactement la structure d'une secte. Et c'est exactement ce qui s'est installé dans les universités, les RH, les médias, les administrations, les conseils d'administration depuis vingt ans.

Troisième raison. Le virus s'auto-réfute mais ne s'auto-détruit pas. Si toute vérité est pouvoir, alors la phrase "toute vérité est pouvoir" est elle-même du pouvoir, donc sans valeur. Logiquement, la déconstruction se mord la queue dès la première phrase. Mais elle s'en moque. Parce qu'elle n'a jamais cherché la cohérence. Elle cherche l'efficacité politique. Et son efficacité politique est immense. Elle désarme ses ennemis et arme ses militants. Elle paralyse le défenseur et libère l'attaquant. C'est une arme asymétrique parfaite.

Quatrième raison. Le virus produit des humains diminués. Une génération entière a appris à déconstruire et n'a jamais appris à construire. Elle sait soupçonner, jamais admirer. Elle voit le pouvoir partout et la beauté nulle part. Elle peut produire mille pages sur le caractère opprimant de Shakespeare et zéro ligne qui vaille la peine d'être lue dans cent ans. Elle a confondu l'intelligence critique avec la pose critique. Elle est stérile par construction. Un esprit nourri à la déconstruction est un esprit qui ne sait plus rien édifier.

Cinquième raison, la plus grave. Une civilisation se tient debout sur trois piliers. La croyance qu'une vérité est accessible à la raison. La croyance qu'un bien se distingue d'un mal. La croyance qu'un héritage mérite d'être transmis. La déconstruction a méthodiquement dynamité les trois. Pas par méchanceté. Par jeu intellectuel, par fascination du soupçon, par haine de la bourgeoisie qui avait nourri ses prophètes. Mais le résultat est là. Une civilisation qui ne croit plus en sa vérité, ni en son bien, ni en son héritage ne se défend pas. Elle s'excuse en attendant la fin.

Voilà ce qu'on a fait. Voilà ce qu'il faut nommer.

La bonne nouvelle, c'est qu'un virus mental ne survit que tant qu'on lui cède l'autorité du discours. Il meurt dès qu'on cesse de jouer son jeu. Dès qu'on réaffirme tranquillement qu'il existe une vérité, un beau, un bien, un héritage. Dès qu'on cesse de demander la permission aux déconstructeurs pour bâtir. Dès qu'on refait. Dès qu'on transmet. Dès qu'on crée.

Les bâtisseurs ont toujours le dernier mot sur les commentateurs. Toujours. Parce qu'à la fin il reste ce qui est construit, et rien de ce qui a été déconstruit.

Alors aujourd'hui je déconstruis la déconstruction. Et demain je construis.

[Brivael Le Pogam @brivael]

Les vrais génies de l'histoire.

108 milliards d'humains ont vécu sur Terre. La liste ci-dessous en contient ~100. Soit environ 1 sur 1 milliard.

C'est ça, le « autre chose » que les gens cherchent quand ils refusent d'admettre que Jobs ou Einstein étaient hors-norme. Une conjonction rarissime de cognition + obsession + timing + courage cognitif + santé mentale juste-assez-stable.

Critère retenu : saut non-substituable. Sans cet individu précis, la chose n'arrive pas, ou arrive 30 ans plus tard sous une forme dégradée. J'exclus les agrégateurs (Edison), les opérateurs talentueux (Altman), les copieurs brillants et les figures dont la réputation vient surtout du PR.

— PHYSIQUE —

Newton — synthèse mécanique + optique + calcul, refonde la science occidentale seul
Maxwell — unification électromagnétique, prédit les ondes EM avant qu'on les mesure
Einstein — relativités restreinte et générale, photoélectrique, base de la quantique
Dirac — équation relativiste de l'électron, prédit l'antimatière par pure beauté mathématique
Heisenberg — mécanique matricielle, principe d'incertitude
Schrödinger — mécanique ondulatoire
Bohr — modèle atomique, interprétation de Copenhague
Pauli — principe d'exclusion, postule le neutrino sans preuve
Feynman — électrodynamique quantique, diagrammes, refonte pédagogique de la physique
Boltzmann — fondations statistiques de la thermodynamique, seul contre tous
Planck — quantum d'action, déclenche tout
Galilée — méthode expérimentale + héliocentrisme défendu
Kepler — lois du mouvement planétaire, abandonne les cercles parfaits par pure honnêteté empirique
Faraday — induction, champs, sans formation mathématique
Fermi — physique nucléaire théorique ET expérimentale, premier réacteur
Landau — quasiment tous les sous-champs de la physique théorique

— MATHÉMATIQUES —

Euclide — axiomatisation de la géométrie, modèle de toute pensée déductive
Archimède — calcul infinitésimal 1800 ans avant Newton
Gauss — théorie des nombres, géométrie différentielle, statistiques, le plus polyvalent de l'histoire
Euler — productivité et profondeur jamais égalées, fonde des champs entiers
Riemann — géométrie qui rendra possible la relativité, hypothèse encore ouverte 170 ans après
Galois — théorie des groupes à 19 ans, mort à 20
Cantor — théorie des ensembles, infinis actuels, seul contre l'establishment
Gödel — théorèmes d'incomplétude, casse le programme de Hilbert
Grothendieck — refonte de la géométrie algébrique, niveau d'abstraction inégalé
Ramanujan — autodidacte indien, formules tombées « du ciel » qu'on prouve encore
Poincaré — topologie, systèmes dynamiques, chaos avant l'heure
Hilbert — formalisation, programme qui domine les maths du 20ème
Leibniz — calcul (en parallèle de Newton), logique, monades

— INFORMATIQUE / LOGIQUE —

Turing — calculabilité, machine universelle, cryptanalyse d'Enigma, morphogenèse
Von Neumann — architecture des ordinateurs, théorie des jeux, automates cellulaires
Shannon — théorie de l'information, fondation de toute communication numérique
Church — lambda-calcul
Kolmogorov — fondations des probabilités modernes, complexité algorithmique
Dijkstra — fondations de l'algorithmique structurée

— BIOLOGIE / MÉDECINE / CHIMIE —

Darwin — sélection naturelle, refonte de toute la biologie
Mendel — génétique, ignoré 35 ans
Pasteur — théorie microbienne, vaccins, refondation de la médecine
Watson + Crick + Franklin — structure de l'ADN
Mendeleïev — table périodique, prédit des éléments inconnus
Lavoisier — refonte de la chimie moderne, méthode quantitative
McClintock — éléments génétiques mobiles, ignorée 30 ans

— PHILOSOPHIE —

Platon — fonde l'idéalisme, tout l'Occident en discute encore 2400 ans après
Aristote — fonde la logique, la biologie, la métaphysique, l'éthique, en parallèle
Kant — refonte de la métaphysique post-Hume, synthèse critique
Nietzsche — généalogie de la morale, mort de Dieu, transvaluation
Wittgenstein — refonte deux fois de la philo du langage, seul
Hegel — dialectique, philosophie de l'histoire
Spinoza — Éthique géométrique, expulsé pour son courage cognitif
Hume — empirisme radical, réveille Kant
Descartes — cogito, géométrie analytique
Heidegger — refonte de l'ontologie

— ÉCONOMIE / SCIENCES SOCIALES —

Adam Smith — fondation de l'économie moderne
Hayek — connaissance dispersée, ordre spontané, prix comme signal
Mises — calcul économique, action humaine
Keynes — refonte macro (qu'on aime ou pas, le saut est réel)
Schumpeter — destruction créatrice, entrepreneur comme moteur
Girard — désir mimétique, bouc émissaire, refonte de l'anthropologie
Weber — éthique protestante, sociologie de la rationalisation

— MUSIQUE —

Bach — architecture contrapuntique inégalée
Mozart — synthèse mélodique et structurelle, mort à 35 ans avec 600 œuvres
Beethoven — refonte de la forme symphonique, pont classique/romantique
Wagner — refonte de l'opéra, harmonie qui ouvre la modernité
Stravinsky — refonte du rythme, Sacre du Printemps comme rupture
Schoenberg — atonalité, dodécaphonisme

— PEINTURE / LITTÉRATURE —

Léonard de Vinci — peinture + ingénierie + anatomie
Michel-Ange — sculpture + peinture + architecture, au sommet de chaque
Picasso — cubisme, refonte du regard pictural
Cézanne — pont vers la modernité, structure géométrique du visible
Dostoïevski — psychologie du sous-sol, profondeur métaphysique
Tolstoï — synthèse romanesque inégalée
Shakespeare — refonte de la langue anglaise et du théâtre
Dante — Commedia, fonde l'italien littéraire
Homère — fondation de toute la littérature occidentale
Proust — refonte du temps romanesque
Kafka — anticipe le 20ème siècle bureaucratique
Borges — refonte du conte philosophique

— INGÉNIERIE / TECH —

Tesla — courant alternatif, moteur induction, fondations de l'électrotech moderne. Vrai génie, scammé par Edison
Frères Wright — vol motorisé, contrefactuel solide
Shockley + Bardeen + Brattain — transistor
Noyce + Kilby — circuit intégré
Engelbart — souris, hypertexte, visioconférence dans une seule démo en 1968
Berners-Lee — Web, donné gratuitement
Linus Torvalds — Linux + Git, deux infrastructures civilisationnelles, seul au début
John Carmack — moteurs 3D temps réel, refonte du jeu vidéo

— ENTREPRENEURS (critère strict) —

Jobs — synthèse design/produit/écosystème non-substituable
Musk — SpaceX seul justifie l'inclusion : NASA avait abandonné le réutilisable. Tesla a forcé la transition EV mondiale
Bezos — AWS spécifiquement, pas le e-commerce (qui arrivait quand même)
Walt Disney — synthèse animation + parc + IP, modèle qu'on copie encore
Henry Ford — chaîne de production
Rockefeller — intégration verticale poussée à un niveau jamais vu

— EXCLUSIONS VOLONTAIRES —

Edison — agrégateur, marketeur, voleur de brevets
Sam Altman — opérateur talentueux, pas inventeur. Le saut technique c'est Sutskever, Radford, l'équipe DeepMind avant
Zuckerberg — exécution brillante mais Facebook arrivait quand même
Gates — bon stratège, OS arrivait de toute façon
Hewlett / Packard — grands constructeurs, pas génies au sens fort

— LE PATTERN —

~100 noms. 2500 ans d'histoire. Un génie non-substituable tous les 25 ans en moyenne, tous domaines confondus.

Sur 108 milliards d'humains ayant jamais vécu : ratio ≈ 1 pour 1 milliard.

C'est l'empirique qui désarme définitivement le « biais du survivant ». Ce n'est pas que les génies sont rares. C'est qu'ils sont rarissimes — et que le monde avance malgré tout à coup de ces gens-là.

[Jukan @jukan05]

Why did xAI hand over a 220,000-GPU cluster to Anthropic?

The technical backdrop to xAI's decision to hand Colossus 1 over to Anthropic in its entirety is more interesting than it appears. xAI deployed more than 220,000 NVIDIA GPUs at its Colossus 1 data center in Memphis. Of these, roughly 150,000 are estimated to be H100s, 50,000 H200s, and 20,000 GB200s. In other words, three different generations of silicon are mixed together inside a single cluster — a "heterogeneous architecture."

For distributed training, however, this configuration is close to a disaster, according to engineers familiar with the setup. In distributed training, 100,000 GPUs must finish a single step simultaneously before the cluster can advance to the next one. Even if the GB200s finish their computation first, the remaining 99,999 chips have to wait for the slower H100s — or for any GPU that has hit a stack-related snag — to catch up. This is known as the straggler effect. The 11% GPU utilization rate (MFU: the share of theoretical FLOPs actually realized) at xAI recently reported by The Information can be read as the numerical fallout of this problem. It stands in stark contrast to the 40%-plus MFU figures achieved by Meta and Google.

The problem runs deeper still. As discussed earlier, NVIDIA's NCCL has traditionally been optimized for a ring topology. It works beautifully at the 1,000–10,000 GPU scale, but once you push into the 100,000-unit range, the latency of data traversing the ring once around becomes punishingly long. GPUs need to churn through computations rapidly to keep MFU high, but while they sit waiting endlessly for data to arrive over the network fabric, more than half of the silicon falls into idle. Google sidestepped this bottleneck with its own custom topology (Google's OCS: Apollo/Palomar), but xAI, by my read, has not yet reached that stage.

Layer Blackwell's (GB200) "power smoothing" issue on top, and the picture comes into focus. According to Zeeshan Patel, formerly in charge of multimodal pre-training at xAI, Blackwell GPUs draw power so aggressively that the chip itself includes a hardware feature for smoothing power delivery. xAI's existing software stack, however, was optimized for Hopper and does not understand the characteristics of the new hardware; when it imposes irregular loads on the chip, the silicon physically destructs — literally melts. That means the modeling stack must be rewritten from scratch, which in turn means scaling is far harder than most of us imagine.

Pulling all of this together points to a single conclusion. xAI judged that training frontier models on Colossus 1 simply was not efficient enough to be worthwhile. It therefore moved its own training workloads wholesale onto Colossus 2, built as a 100% Blackwell homogeneous cluster. Colossus 1, on the other hand — whose mixed architecture is far less crippling for inference, which parallelizes more forgivingly — was leased in its entirety to an Anthropic that desperately needed inference capacity.

Many observers point to what looks like a contradiction: Elon Musk poured enormous capital into building Colossus, only to hand the core asset over to a direct competitor in Anthropic. Others read it as xAI capitulating because it is a "middling frontier lab." But these are surface-level reads.

Look at the numbers and a different picture emerges. xAI today holds roughly 550,000+ GPUs in total (on an H100-equivalent performance basis), and Colossus 1 (220,000 units) accounts for only about 40% of the total available capacity. Colossus 2 — built entirely on Blackwell — is already operational and continuing to expand. Elon kept the all-Blackwell homogeneous cluster (Colossus 2) for himself and leased out the older, mixed-generation Colossus 1. In other words, he handed the pain of rewriting the stack — the MFU-11% debacle — to Anthropic, while keeping his own focus on training the next generation of models.

The real point, then, is this. Elon's objective appears to be positioning ahead of the SpaceXAI IPO at a $1.75 trillion valuation, currently floated for as early as June. The narrative SpaceXAI now needs is that xAI — long the "sore finger" — is not merely a research lab burning cash, but a business with a "neo-cloud" model in the mold of AWS, capable of leasing surplus assets at high yields.

From a cost-of-capital perspective, an "AGI cash incinerator" is far less attractive to investors than a "data-center landlord generating cash."

As noted above, the most important detail of the Colossus 1 lease is that it is for inference, not training. Unlike training, inference requires far less tightly synchronized inter-GPU communication. Even when the chips are heterogeneous, the workload parcels out cleanly across them in parallel. The straggler effect — the chief weakness of a mixed cluster — is essentially neutralized for inference workloads.

Furthermore, with Anthropic occupying all 220,000 GPUs as a single tenant, the network-switch jitter (unanticipated latency) that arises under multi-tenancy disappears. The two sides' technical weaknesses end up complementing each other almost exactly.

One insight follows. As a training cluster mixing H100/H200/GB200, Colossus 1 was an asset that could only deliver an MFU of 11%. The moment it was handed over to a single inference customer, however, that asset transformed into a cash-flow asset rented out at roughly $2.60 per GPU-hour (a weighted average of the lease rates across GPU types). For xAI, what was a "cluster from hell" for training has become a "golden goose" minting $5–6 billion in annual revenue when redeployed for inference. Elon's genius, I would argue, lies not in the model but in this asset-rotation structure.

The weight of that $6 billion becomes clearer when set against xAI's income statement. Annualizing xAI's 1Q26 net loss yields roughly $6 billion in losses per year. The $5–6 billion in annual revenue generated by leasing Colossus 1 to Anthropic, in other words, almost perfectly hedges xAI's loss figure. This single deal effectively pulls xAI to break-even.

Heading into the SpaceXAI IPO, this functions as a core line of financial defense. From a cost-of-capital standpoint, if the image shifts from "research lab burning cash" to "infrastructure tollgate stably printing $6 billion a year," the entire tone of the offering can change.

(May 8, 2026, Mirae Asset Securities)

[sudo rm -rf --no-preserve-root / @pcaversaccio]

rant time: people are so fucking obsessed with building more tools, more products, more services, more "security" layers. are you guys all fucking insane?? every single thing you add is more complexity. and complexity is exactly what makes systems _dangerous_. you don't get safer by stacking abstractions on top of abstractions. you just increase the attack surface and pray the whole dependency chain doesn't collapse (hint: it will collapse!!). now you depend on 10, 50, 100 moving parts. all needing updates, all with their own bugs, all potential supply chain failures and we call that "security" like fucking retards.

dude, it's the fucking opposite. we're not building safer systems. we're building systems so complex nobody actually understands them anymore. and almost nobody is asking the obvious question: **what can we remove?** everyone wants to add. nobody wants to reduce. that's how you end up in a nightmare system (hint: we're already in that nightmare). not because of one big failure. but because of thousands of tiny dependencies you never should have had in the first place.

[Milton Friedman Quotes @MiltonFriedmanW]

“One of the great mistakes is to judge policies and programs by their intentions rather than their results.”

— Milton Friedman

[foobar/ @0xfoobar]

Software needs to be aggressively hardened more than ever

Formal verification or bust for most

Ironically, vibe coding is taking many companies in the opposite direction at the worst possible time