Archives | GeekNews

◀ Année précédente | ◁ Mois précédent | << Semaine précédente | < Jour précédent | 2026-07-30
1
 

Un ver IA Copilot qui se propage via des documents Word

 (enklypesalt.com)
Une injection de prompt cachée dans des documents Word peut manipuler Copilot, se répliquer dans les fichiers générés et se propager dans les flux de travail Microsoft 365.
1 points par GN⁺ 55 분 전 | 1 commentaires
2
 

Le musicien français Kavinsky retrouvé mort à son domicile à Paris

 (euronews.com)
Le DJ français Kavinsky, connu pour « Nightcall », a été retrouvé mort à 50 ans à son domicile parisien, selon le parquet de Paris.
1 points par GN⁺ 3 시간 전 | 1 commentaires
3
 

Superlogical — un multiplexeur pour toutes les tâches

 (superlogical.com)
Superlogical prépare un multiplexeur de tâches persistant, avec un premier produit centré sur le terminal pour relier développement, agents et opérations.
1 points par GN⁺ 3 시간 전 | 1 commentaires
4
 

TurboFieldfare — un moteur open source pour exécuter Gemma 4 26B sur tous les Mac série M avec 2 Go de RAM

 (github.com/drumih)
TurboFieldfare permet d’exécuter localement Gemma 4 26B sur des Mac Apple Silicon avec environ 2 Go de mémoire grâce au streaming des experts MoE depuis le SSD.
1 points par GN⁺ 4 시간 전 | 1 commentaires
5
 

Les interfaces utilisateur de la demoscene

 (datagubbe.se)
La demoscene a développé ses propres outils, dont les contraintes matérielles et l’esthétique expérimentale ont produit des interfaces aussi inventives que déroutantes.
1 points par GN⁺ 7 시간 전 | 1 commentaires
6
 

KOReader

 (koreader.rocks)
Visionneuse de documents pour appareils E Ink prenant en charge de nombreux formats d’e-books et disponible sur Kindle, Kobo, PocketBook, Android et Linux de bureau.
1 points par GN⁺ 7 시간 전 | 1 commentaires
7
 

Pourquoi Rocq est meilleur que Lean pour la vérification de programmes

 (joomy.korkutblech.com)
Lean progresse nettement dans la formalisation mathématique, mais Rocq reste mieux adapté à la vérification de programmes exécutables grâce à sa coinduction native, ses multiples voies d’extraction et son écosystème de vérification éprouvé.
1 points par GN⁺ 8 시간 전 | Commentaires et discussion