Archives | GeekNews

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

Manganin : les outils comptent

 (blog.manganin.dev)
Manganin est une forge Git moderne en Zig qui mise sur la confiance, l’auto-hébergement et un workflow local-first pour repenser la collaboration open source.
2 points par GN⁺ 17 시간 전 | Commentaires et discussion
22
 

La frénésie de l’IA détruit la prise de décision dans le monde entier

 (hermit-tech.com)
Hermit Tech décrit un taux d’échec total des projets d’IA observés et explique comment incitations, politique interne et démos spectaculaires faussent les décisions des organisations.
3 points par GN⁺ 17 시간 전 | Commentaires et discussion
23
 

Le fait que « Matz soit gentil » n’a pas d’importance

 (po-ru.com)
La bienveillance attribuée à Matz ne suffit pas à masquer la concentration du pouvoir et la droitisation de figures clés de l’écosystème Ruby.
2 points par GN⁺ 18 시간 전 | Commentaires et discussion
24
 

Kimi K3-256k

 (kimi.com)
Kimi K3-256k conserve la qualité de K3 dans un contexte 256k tout en réduisant la consommation de quota pour le codage quotidien.
1 points par GN⁺ 18 시간 전 | 1 commentaires
25
 

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.
2 points par GN⁺ 19 시간 전 | 1 commentaires
26
 

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⁺ 22 시간 전 | 1 commentaires
27
 

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⁺ 22 시간 전 | 1 commentaires
28
 

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.
9 points par GN⁺ 23 시간 전 | 4 commentaires
29
 

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⁺ 1 일 전 | 1 commentaires
30
 

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⁺ 1 일 전 | 1 commentaires
31
 

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⁺ 1 일 전 | Commentaires et discussion