fox_lemma

T1 GOAT

[Messiah Yaniss 🇨🇵🇩🇿🇸🇳 @MessiahYaniss16]

Les gars, je veux que absolument personne n'oublie la Coupe du monde INCROYABLE de Olise.

Il a 0 but mais il reste avec Mbappé celui qui crée le jeu et les occasions de l'équipe de France.

J'espère tellement qu'il va marquer car il le mérite tellement.

[Fabrizio Romano @FabrizioRomano]

🙇🏻‍♂️🇫🇷 Didier Deschamps, bowing down to Kylian Mbappé.

[YassEncore @PatrickAdemo]

Il faut remercier tous les jours de la semaine l’immense Michael Olise d’avoir choisi la sélection française plutôt que l’anglaise parce que WOW le boulot monstrueux de ce mec il est immense

[Parlons de foot ⚽ @Parlons2Foot_]

🚨 𝗞𝗬𝗟𝗜𝗔𝗡 𝗠𝗕𝗔𝗣𝗣𝗘́ 𝗜𝗠𝗣𝗥𝗘𝗦𝗦𝗜𝗢𝗡𝗡𝗘 𝗘𝗡 𝗜𝗡𝗧𝗘𝗥𝗡𝗘 𝗣𝗔𝗥 𝗦𝗢𝗡 𝗟𝗘𝗔𝗗𝗘𝗥𝗦𝗛𝗜𝗣 ! 🇫🇷👑

Depuis le début de la Coupe du Monde, Kylian Mbappé impressionne le staff et ses coéquipiers par son attitude de capitaine.

▪ Il a offert un casque audio à chaque joueur dès le rassemblement.

▪ Il échange régulièrement avec les remplaçants et les nouveaux afin de les intégrer au mieux.

▪ Face à la Norvège, son retour défensif et son implication ont marqué les observateurs.

▪ Lors de l'interruption contre l'Irak, il a même demandé à prolonger l'échauffement et à faire intervenir les jardiniers pour améliorer l'état de la pelouse avant la reprise.

🗣️ Didier Deschamps : « Il assume totalement son rôle de capitaine. L'image qu'on peut avoir de lui à l'extérieur ne correspond pas toujours à ce qu'il est réellement. »

(🗞️ RMC Sport)

[Mehdi (e/λ) @BetterCallMedhi]

je crois que c’est ça leur vrai talent, transformer la souffrance des autres en posture, ils veulent le crédit moral de celui qui s’indigne sans jamais en payer le prix parce que le prix lui tombe toujours sur le mec entassé dans ses 30 mètres carrés sous les toits et le plus fort c’est qu’ils vous expliquent de renoncer à la clim au nom de la planète depuis une maison climatisée pièce par pièce

[fox_lemma @quantum178]

@tnkss91 flex accepté

[Actu Foot @ActuFoot_]

Comme à leur habitude, les Japonais 🇯🇵 ont laissé leur vestiaire du stade de Monterrey dans un état IMPECCABLE ce matin. 👏😍

📸 @SancadillaNorte

[SUZUKI Hideo 鈴木秀生 @AmbHideoSuzuki]

Bravo les 🇯🇵Samouraïs Bleus🎉👏🎊🎉🎊👏!
C'est la première fois qu'ils marquent 4 buts dans un match de la Coupe du Monde.

[Mehdi (e/λ) @BetterCallMedhi]

OLISE est TERRIFIANT 🇫🇷🇫🇷🇫🇷

[Mehdi (e/λ) @BetterCallMedhi]

je me suis déjà longuement exprimé là dessus mais aujourd’hui je vais profiter de ma position de mutu avec le Ministre pour le redire cash:

la pire erreur qu'on est en train de faire en France c'est de tout miser sur Mistral, de fabriquer un champion artificiel unique à coups de pressing d'état IMMENSE car un all in est la meilleure façon de perdre une bataille où on a déjà un train de retard

pour rappel on a déjà vu ce film d'ailleurs, ça s'appelait le minitel, un truc choisi et protégé par l'état qui cartonnait chez nous et c'est précisément ce succès sous cloche qui nous a fait rater l'internet ouvert pendant 20 ans, là on rejoue la même partition en espérant une autre fin

par ailleurs je tiens à preciserr que la « la réussite » de Mistral en France repose sur le President Macron qui met la pression sur les pdg du cac 40 pour qu'ils prennent mistral, histoire de gonfler une vitrine nationale, sauf qu'une vitrine montée à la pression ne tient que tant que la main reste dessus, le jour où macron s'en va en 2027 il reste quoi???? une boîte biberonnée à la commande publique qui a désappris à se battre toute seule, à long terme c’est juste catastrophique et SUICIDAIRE

le souci est même mathématique au fond, désigner un champion c'est miser sur une seule idée, un seul chemin, pendant qu'en face la Chine lance des dizaines de startups IA CHAQUE SEMAINE en parallèle et laisse le marché trancher, un seul pari ne bat jamais une recherche menée sur 10 fronts à la fois

je regarde ce que fait la Chine de très près depuis de longues années (avec des analyses sur le terrain que je documente très régulièrement ici à travers mes différents threads) et je ne dis pas qu'il faut copier la recette à la lettre mais leur logique est redoutable

j’en ai déjà parlé mais ils laissent émerger des milliers d'acteurs et les lâchent dans une arène, deepseek, kimi, qwen et tous les autres se bouffent entre eux sans pitié et de cette guerre intérieure sort un survivant qui devient pas seulement le champion de la Chine mais un conquérant taillé pour aller chercher les États-Unis chez eux et le reste du monde

sachez bien c'est exactement cette compétition qui pousse chacun à se surpasser et à sortir des stratégies que personne n'avait vu venir comme DeepSeek qui ouvre ses poids et déroule sa route de la soie logicielle pour s'imposer partout et d’autres dont je pourrais vous parler prochainement

comprenez simplement qu’un acteur qui se sait protégé se ramollit, un acteur le couteau sous la gorge invente, la contrainte fabrique des fauves, la subvention publique et le favoritisme présidentiel fabriquent des assistés

et le pire dans tout ça c’est que notre champion souverain a même pas un français comme premier actionnaire, c'est ASML, des néerlandais, avec Nvidia, Microsoft et a16z juste derrière, et il pèse encore trente fois moin qu'un seul labo américain mdr donc on parie la souveraineté du pays sur une boîte qu'on possède déjà plus vraiment et qui démarre de très loin

imaginez DeepSeek sous fonds américains ou européens??? vous ne pouvez pas l’imaginer car ça n’existera jamais lol car pour les chinois la notion de souveraineté n’est pas juste un bbuzzword balancé comme ça

au fond je pense que la vraie souveraineté c'est plutôt de pouvoir sortir des boîtes sans arrêt, des nouvelles pépites encore et encore car avec un seul champion t'as un point de rupture unique, il trébuche et tout le pays tombe avec lui, avec 10 minimum tu encaisses les défaites et tu continues, le mec qui claque la porte d'un labo va nourrir le suivant

alors arrêtons de vouloir couronner un roi UNIQUE, lâchons 20 bêtes affamées dans la même arène et laissons les se déchirer, celui qui en sortira vivant n'aura besoin de personne pour exister surtout pas d'un Président qui se comporte comme une nounou qui ne veut pas que son petit protégé rentre dans l’arène pour se faire brutaliser

bref on fait pas pousser une forêt en arrosant un seul arbre et en coupant tous les autres

[Arthur Mensch @arthurmensch]

It's actually le gros chaton

[fox_lemma @quantum178]

@BetterCallMedhi Merci

[Mehdi (e/λ) @BetterCallMedhi]

pour ceux qui pourraient se demander à quoi ça sert sachez que les courbes elliptiques c'est sans doute le morceau de maths le +RENTABLE de toute l'histoire

chaque cadenas dans votre navigateur, chaque virement bancaire, chaque messagewhatsapp mais aussi chaque transaction BTC tourne sur des courbes elliptiques sur corps finis (ecdsa secp256k1 curve25519) en gros ce sont elles qui signent et chiffrent tout l'internet moderne tout autour de vous, oui oui vous avez bien lu

d’ailleurs si la planète entière se rue sur la cryptographie post quantique (avec des startups qui lèvent actuellement des centaines de millions) c'est exactement parce que l'algo de shor sur machine quantique casse le logarithme discret sur ces courbes et les isogénies entre courbes elliptiques sont elles mêmes une piste sérieuse pour y résister (sujet dont j’ai déjà longuement parlé ici)

ajoutez la factorisation de lenstra par courbes elliptiques, les codes correcteurs issus de courbes sur corps finis qui fiabilisent tes disques durs et les communications spatiales et et le mémoire lui même (bsd iwasawa modularité, c'est l'étude structurelle de ces mêmes objets, celle qui a permis à wiles de démontrer le dernier théorème de Fermat au passage)

pour moi le + beau c'est que ces courbes ont été des maths pures pendant 2000 ans, pour rappel Hardy se vantait que la théorie des nombres ne servirait jamais à rien, aujourd'hui elle sécurise toute la civilisation, je dis BIEN TOUTE LA CIVILISATION HUMAINE, en ce cens la recherche fondamentale la + abstraite finit souvent par devenir l'infrastructure la + concrète, juste avec quelques décennies d'avance

d’ailleurs au passage votre propre téléphone a ouvert sa connexion à Twitter avec un échange de clés sur courbe elliptique

[fox_lemma @quantum178]

@eloi_e46 C’est utile aux algorithmes de chiffrement robustes moderne de façon plus générale. Ce sont des travaux d’une importance capitale à notre époque

[fox_lemma @quantum178]

@tnkss91 On a le meme feed lmao

[fox_lemma @quantum178]

@Brutalismus300 Carrément. Surtout les pictogrammes il a prompté gpt2 ou quoi haha

[Spencer Baggins @bigaiguy]

A French engineer who lives quietly in Paris has spent 30 years writing software that the entire internet now runs on without knowing his name.

He wrote the code that streams every YouTube video, every Netflix show, every TikTok clip. He wrote the code that runs the virtual servers underneath AWS, Google Cloud, and Microsoft Azure. He calculated more digits of pi than anyone in history. He has no Twitter. He has no marketing. He just keeps shipping.

His name is Fabrice Bellard.

Here is the story, because almost nobody outside the systems programming world knows what one man has built.

Fabrice was born in 1972 in Grenoble, France. He studied at École Polytechnique, the top French engineering school. He never went to Silicon Valley. He never built a startup empire. He just wrote code.

In 2000 he started a project called FFmpeg, an open-source multimedia framework for encoding, decoding, and streaming video. He was 28. The project did one thing nobody else had done well. It handled every video and audio format that existed, in one library, on every operating system. He led it himself for years.

Today FFmpeg is the invisible engine of the internet. YouTube uses it. Netflix uses it. VLC uses it. Chrome and Firefox use parts of it. Every Android phone, every iPhone, every smart TV, every video editing tool you have ever touched runs FFmpeg somewhere underneath. If you have watched a video on a screen in the last 20 years, Fabrice's code processed it.

He was not done.

In 2003 he started QEMU, a machine emulator and virtualizer. He wrote it solo until version 0.7.1 in 2005. QEMU lets you run any operating system on any other operating system. It became the foundation of modern virtualization. KVM, the Linux kernel hypervisor, runs on top of QEMU. Every major cloud provider, AWS, Google Cloud, Microsoft Azure, IBM Cloud, runs virtual machines on infrastructure built around it. The Quick Emulator is the most cited piece of cloud infrastructure code on Earth.

He kept going.

In 2001 he won the International Obfuscated C Code Contest with a small C compiler that grew into TCC, the Tiny C Compiler. TCC can compile and boot a Linux kernel from source in under 15 seconds. In 2004 he calculated the most digits of pi ever computed at the time, using a personal desktop computer and an algorithm he derived himself called Bellard's formula. In 2011 he wrote a complete PC emulator in pure JavaScript that runs Linux in your browser, a project called JSLinux that engineers still cannot believe is real.

In 2019 he released QuickJS, a small but complete JavaScript engine that fits where V8 cannot. In 2021 he released NNCP, a neural network based lossless data compressor that immediately took the lead on the Large Text Compression Benchmark.

Then he turned his attention to large language models. He built TextSynth Server, a web server with a REST API for running LLMs locally. He released ts_zip and ts_sms, compression utilities that use language models to compress text and short messages at ratios traditional algorithms cannot reach. He released TSAC, a very low bitrate audio compression system. In December 2025 he released Micro QuickJS, a new JavaScript engine for microcontrollers, separate from QuickJS, designed for environments with almost no memory.

Fabrice co-founded a telecom company called Amarisoft in 2012, where he serves as CTO. Amarisoft builds 4G and 5G base station software used by carriers and labs around the world. He has been running it for over a decade while continuing to ship personal projects from his own home page at bellard dot org

He has no Twitter. He has no Instagram. He gives almost no interviews. His personal website is a flat list of projects with no styling, no fonts, no marketing copy. Just titles and links.

A quiet French engineer who never moved to Silicon Valley wrote the code that quietly runs the internet.

He is still shipping.

[fox_lemma @quantum178]

@Fumeon1 Haha il était dans ma classe l’année dernière

[fox_lemma @quantum178]

@Brutalismus300 Je connais qqn à CS qui a aussi déjà repris l'avion pour un rattrapage et qui le reprend dans deux semaines pour un autre rattrapage

[fox_lemma @quantum178]

@venvler Ça m’étonne moins du coup