Docker Desktop bouffe la RAM comme vous le saucisson à l’apéro. Et même quand vous n’utilisez pas cette RAM, d’autres outils comme Lima ou Colima prennent aussi de la RAM.
Mais c’était sans compter sur
smolvm
, le projet de BinSquare et de l’équipe smol-machines, qui s’attaque au problème par un autre angle, à savoir utiliser des microVMs hardware-isolées qui bootent en moins de 200 millisecondes, qu’on configure en TOML, et qu’on peut packer dans un seul binaire .smolmachine qui tournera sur n’importe quel Mac ou Linux compatible.
Microsoft a lancé en interne une initiative baptisée Windows K2, dont le but est de répondre aux plaintes les plus fréquentes des utilisateurs de Windows 11.
Le projet, démarré au second semestre 2025 et révélé cette semaine par Zac Bowden de
Windows Central
, attaque trois fronts : la prolifération de Copilot un peu partout, les performances du système et la fiabilité générale. C’est la première fois depuis longtemps que Microsoft reconnaît officiellement, en interne en tout cas, qu’il y a un problème.
Si vous voyagez avec un Macbook qui contient des trucs trèèèès sensibles, faut absolument que vous alliez tester cet outil.
PanicLock
est le bouton “panique” qu’Apple n’a jamais voulu faire. Grâce à cela, en un clic, Touch ID se désactive totalement.
Plus de biométrie, et retour au mot de passe obligatoire pour rouvrir la session. Parce que oui, Touch ID, c’est ultra pratique au quotidien, sauf quand un agent à la frontière ou un flic un peu trop curieux vous demande gentiment (ou de force) de poser votre doigt sur la capteur de votre machine.
La première release candidate de Linux 7.1 est sortie, avec un tout nouveau pilote NTFS écrit pour le noyau, qui annonce des écritures multi-thread deux fois plus rapides et un montage de disque jusqu’à quatre fois plus véloce que l’ancien.
La sortie stable est prévue pour la mi-juin selon le calendrier de Linus Torvalds. Au total, la fenêtre de merge a vu passer plus de 13 000 commits, ce qui en fait une release plutôt costaude.
Liam Price, 23 ans, mathématicien amateur sans formation avancée, a résolu un problème d’Erdős resté ouvert depuis 60 ans en posant la question à GPT-5.4 Pro un lundi après-midi en avril.
Le modèle a tourné 80 minutes pour produire une preuve qui passe la validation du médaillé Fields Terence Tao. C’est ce que rapporte Joseph Howlett dans Scientific American.
Le problème en question, c’est l’Erdős #1196, posé par le mathématicien hongrois en 1965. L’IA n’a pas tout cassé en force brute. Elle a utilisé la fonction de von Mangoldt, un outil bien connu en théorie des nombres, mais que personne n’avait pensé à appliquer à ce type de question depuis 90 ans.