Check out our new open science tool that brings universal learning right to your browser! It uses algorithmic information theory to discover patterns in data - no machine learning expertise required.
https://t.co/KpGStbNzQw
🧵(1/3)
You can compile verified Lean code to C and then WASM to run anywhere. That removes your objection because the formal verification is the running code by the Curry–Howard correspondence.
@RMistereggen True empathy is never instrumental. Empathy doesn't have a goal because authentic feelings are not goal-oriented. ("causa prima") It's instinctive and automatic. The thing people are talking about here is obviously a goal-oriented strategy masquerading as empathy.
@SteveHiltonx How do we know our vote was counted without seeing it indicate who we voted for nor how the totals were accumulated? All it says is:
Ballot Accepted
06/02/2026
Your ballot has been accepted! Your ballot was received by your county elections office. Thanks for voting!
Thanks Mehtaab! Some additional commentary:
The idea that sum-product might be false for algebraic numbers of high degree has been floating around for a while, but of course it's hard to know exactly what others had tried.
A remarkable paper appeared on arXiv tonight by Thomas Bloom, Will Sawin, Carl Schildkraut and Dmitrii Zhelezov. In this paper, they prove that there exists c>0 and arbitrarily large finite sets A of real numbers such that max(|A+A|,|AA|)≤|A|^{2-c}. This disproves the well-known sum-product conjecture over the real numbers. The sum-product conjecture considers the two most basic operations: addition and multiplication. A+A is the set of all pairwise sums of two elements in A while AA is the set of all pairwise products of two elements in A. (1/5)
This fallacy is incessantly repeated over & over & over again in the Social Sciences. The consequences for our politics & cultural hygiene have been catastrophic.
These thoughts on nihilism really struck a chord for me. Here we have an esteemed French philosopher explaining how deconstruction has the fatal flaw: it offers nothing of value to replace that which was deconstructed. The amazing part is that this is exactly what my father explained about his life philosophy which was heavily influenced by hippies and French nihilism. Literally the same conclusion. It surprises me because I did not expect people of wildly different educational experiences to realize the same summary fatal flaw.
La déconstruction prétendait jeter l’eau du bain coloniale, elle a fini par noyer le bébé, et le bébé c’était la civilisation qui avait inventé la baignoire, le savon, et l’idée même qu’on puisse laver quoi que ce soit.
Derrida voulait nous apprendre à lire entre les lignes, ses héritiers ont juste appris à brûler le livre. Foucault traquait les rapports de pouvoir, ils en ont fait une grille à appliquer mécaniquement sur tout ce qui dépasse.
Et au bout de la chaîne, on se retrouve à défendre par relativisme culturel les régimes les plus anti-femmes, anti-presse, anti-juifs, anti-gays de la planète, au nom de la lutte contre l’oppression.
Le pire, c’est que la déconstruction était au départ un outil critique puissant. Mais transformée en idéologie de masse via les départements de sciences sociales américains, elle est devenue ce qu’elle prétendait combattre : un dogme ethnocentré (universitaire occidental moyen) qui s’ignore, projetant ses catégories morales sur des civilisations qui s’en moquent et qui, elles, n’ont aucun complexe à défendre les leurs.
La civilisation occidentale est la seule de l’histoire à avoir produit la critique de soi comme valeur cardinale.
C’est sa force et c’est devenu son talon d’Achille : face à des adversaires qui ne pratiquent pas ce sport, l’asymétrie est mortelle.
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.
In this letter, the CEO of Coinbase talks about non-technical teams shipping production code. Honestly, I don’t think he knows what he’s talking about.
Using AI agents makes it possible for teams who are not deeply technical in the syntax of a language to ship production code. But that team had better be very deeply technical in managing the structure and quality of the code that is produced.
What the agents give us is the ability to disengage from deep syntax. But they do not give us the ability to disengage from modular design and architecture. You still need to be deeply technical in those topics in order to produce good production quality code.
A Lens That Takes Derivatives
US Patent Basis: US8610839B2 - Optical Processing System for Computing Derivatives.
In a 4f Optical Processor, the first lens takes the incoming field and forms its Fourier spectrum. At that middle plane, a tiny optical mask multiplies the spectrum by iξ. This is the derivative operator written in Fourier language
u(x) -> U(ξ) -> iξU(ξ) -> ∂u/∂x
Then the second lens brings the field back to the real space. What comes out is no longer just a focused beam. It is the spatial derivative of the input field, computed by light as it propagates.
So, this is the serious promise of optical computing. A physical optical train can perform operations that usually live inside numerical code: differentiation, filtering, convolution, edge detection, correlation, and many other linear transforms.
Justice Thomas: "Since Woodrow Wilson's presidency, progressivism has made many inroads into our system of government. It has coexisted uneasily with the principles of the Declaration. Because it is opposed to those principles, it is not possible for the two to coexist forever."
A 50-year-old mother was protesting the district's policy allowing students to use locker rooms based on gender identity.
Stripped down to a bathing suit at a California School Board meeting, asking officials: "If you are disrupted by a 50-year-old woman in a bathing suit, then you have just proven my point about the vulnerability you are forcing on our children..."
WHAT ABOUT THAT? She brilliantly cornered the board. The swift recess proves their hypocrisy, they cannot stomach the sight of a 50-year-old woman in a swimsuit, but they will mandate that teenage girls change next to biological boys.