Thibaud Lepretre - kakawait

@thibaud.dev

🇫🇷 French Software Engineer & DevOps 💻 Expert in Java/JVM & Spring Framework 🚀 Exploring AI and WASM 🏀 Basketball fan 🎮 Gamer 👨‍👩‍👧‍👦 Family first 💼 Dassault Systemes near Toulouse, France

Nouveauté sur Linux 7.3 : une meilleure gestion du dépassement de VRAM ! Les perfs tiennent enfin le choc même quand la mémoire graphique déborde. Une excellente nouvelle pour faire tourner de gros LLM en local sans faire tout exploser. Certains ont déjà pu tester la diff ? 🚀

VRAM Management Part 2: Beyond the Limits of Physical VRAM | pixelcluster's GPU blog

Earlier this year, I blogged about work I did to improve VRAM management for games. Now, after many months of floating around in mailing lists, the kernel patches are finally merged upstream and…

pixelcluster.dev

Lundi, découverte #opensource Les logiciels constructeurs pour nos périphériques sont souvent de vraies usines à gaz (👋 G Hub). OpenLogi : une alternative open-source ultra-légère pour configurer vos souris et claviers Logitech, sans compte en ligne ni bloatware. 🧵👇 go.thibaud.dev/ldXl #TechFR

OpenLogi

A native, local-first alternative to Logitech Options+, written in Rust. Remap buttons, drive DPI and SmartShift over HID++ — no account, no telemetry.

go.thibaud.dev

​Le prix de la RAM devient complètement fou : +500% en 1 an ! 🤯 ​La ruée vers l'IA vide littéralement les stocks de mémoire. ​Bien content d'avoir une tour PC récente et un Steam Deck avant cette flambée des prix ! 😁 ​Vous sentez déjà la douleur passer sur vos factures ? 💸

Memory prices climb 500% in 12 months, up to 10x the lowest ever tracked prices — 128GB of DDR5 now $3,399

Analysis of historical price data trends indicates that the memory crisis has driven RAM prices to never-before-seen heights.

tomshardware.com

Stripe rachèterait OpenRouter pour plus de 7 milliards $ Le "routeur" IA utilisé par des millions de devs, qui promettait d'éviter le vendor lock-in LLM, passerait sous le contrôle du géant du paiement. Bon ou mauvais signal pour l'écosystème ? 🤔 go.thibaud.dev/Kiio #IA #OpenRouter #Stripe #Tech

Stripe will reportedly acquire AI gateway startup OpenRouter for $7B+ | TechCrunch

OpenRouter's CEO recently described the startup as Stripe for AI.

go.thibaud.dev

1,2 Go de RAM juste pour afficher la météo sur Windows 11. L'appli météo "native" n'a de natif que le nom : 8 sous-processus Chromium via WebView2, en fait un simple wrapper web plein de pubs. Sur #macOS, l'équivalent tient dans 250 Mo. go.thibaud.dev/lvsj #Windows11 #Tech #Windows

Windows 11's built-in weather app hogs more than 1.2 gigabytes of RAM just to tell the forecast — memory-sucking web wrapper filled with ads masquerades as an actual application

5x more memory consumption than macOS.

tomshardware.com

Firefox est le dernier grand navigateur à supporter pleinement uBlock Origin ! 🦊 Edge bascule vers Manifest V3 et lâche les extensions. Perso, fidèle utilisateur de Firefox depuis des années, desktop et Android ! go.thibaud.dev/XaKa #Firefox #Privacy #Browser #ublock

Firefox is now the last major browser that still supports uBlock Origin

Firefox says it will keep supporting uBlock Origin even as Microsoft Edge and other Chromium browsers phase it out under Manifest V3.

go.thibaud.dev

500 millions de sites exposés : une XSS pré-auth (CVE-2026-64638) touche tout WordPress Core depuis la version 4.7. Un username malveillant suffit pour la XSS. Chaîné à un clic admin, ça mène à l'exécution PHP. Patchez en 7.0.3. go.thibaud.dev/RPUj #WordPress #Security #dev

New WordPress Pre-Auth XSS Could Lead to PHP Code Execution - Patch ASAP

WordPress fixes CVE-2026-64638, a pre-auth login XSS affecting every version, with a demonstrated path to PHP execution under specific conditions.

thehackernews.com

Anthropic se lance dans la conception de ses propres puces pour Claude. ​L'objectif : réduire de moitié les coûts d'inférence et limiter la dépendance à NVIDIA. ​Le co-design hardware/software devient-il le seul chemin vers la rentabilité ? go.thibaud.dev/gZ1u ​#IA #Hardware #Tech

Why Anthropic Just Confirmed It Is Building Chips for Claude

Anthropic confirmed on August 5 it is building an in house team to co-design custom chips for Claude. What is confirmed, what is not, and why it matte

dev.to

Lundi, découverte #opensource Le dossier node_modules est souvent un trou noir incompréhensible. node-modules-inspector, par @antfu.me, offre une UI interactive pour explorer vos dépendances : taille, doublons, type de module, origine. 🧵👇 go.thibaud.dev/QZB4 #JavaScript #dev #npm

GitHub - antfu/node-modules-inspector: Interactive UI for local node modules inspection

Interactive UI for local node modules inspection. Contribute to antfu/node-modules-inspector development by creating an account on GitHub.

go.thibaud.dev

Google replaced pushing Git tags for certain source code with obtaining source code via Google Drive after making a request through Google Forms. It's completely ridiculous and they've gradually become very slow at handling requests. They're in clear violation of the GPLv2 now.

Une IA a "prouvé" la conjecture de Collatz dans Lean, sans aucun axiome... 🧵👇 En fait, la preuve exploitait un vrai bug du noyau : des paramètres "fantômes" sur un type inductif imbriqué échappent au typage. go.thibaud.dev/hEwD #ia #Lean #FormalMethods

Postmortem for Kernel Soundness Bug #14576 — Leonardo de Moura

Leonardo de Moura — Creator of Lean and Z3

go.thibaud.dev

Thibaud Lepretre - kakawait@thibaud.dev · 3w ago

10 problèmes maths ouverts depuis 10 ans, résolus par Astra (futur modèle #OpenAI), <2000$ de tokens chacun. Preuve Lean 4 vérifiable à chaque fois : sphères, groupes, crypto sur réseaux... L'IA fait main basse sur la recherche math pure ? go.thibaud.dev/u7Ig #IA #Maths #Lean #LLM

🚨 Active npm supply chain attack: keyv​@​6.0.0 and 13 other packages have been compromised. keyv alone gets 154M weekly downloads. The worm steals cloud and CI credentials, then uses stolen npm tokens to publish trojanized versions of more packages.

Bild

10 problèmes maths ouverts depuis 10 ans, résolus par Astra (futur modèle #OpenAI), <2000$ de tokens chacun. Preuve Lean 4 vérifiable à chaque fois : sphères, groupes, crypto sur réseaux... L'IA fait main basse sur la recherche math pure ? go.thibaud.dev/u7Ig #IA #Maths #Lean #LLM

Ten advances in mathematics and theoretical computer science

OpenAI shares new results on long-standing open problems in mathematics and theoretical computer science, including advances in geometry, cryptography, and complexity.

openai.com

@vercel.com sort scriptc : du TypeScript standard, sans dialecte ni annotation, compilé en binaire natif. Zéro Node, zéro V8 dedans. Démarrage 2,4ms vs 47ms sur Node, RSS de quelques Mo au lieu de 70-100. Le JS a enfin son chemin vers le natif façon Go/Zig ? go.thibaud.dev/P40e #TypeScript #dev

GitHub - vercel-labs/scriptc: TypeScript-to-Native Compiler

TypeScript-to-Native Compiler. Contribute to vercel-labs/scriptc development by creating an account on GitHub.

go.thibaud.dev