Archives | GeekNews

◀ Année précédente | ◁ Mois précédent | << Semaine précédente | < Jour précédent | 2025-06-01 | Jour suivant > | Semaine suivante >> | Mois suivant ▷ | Année suivante ▶

1

Le compagnon Lean de Analysis I

(terrytao.wordpress.com)

Un projet open source transpose Analysis I de Terence Tao dans Lean pour apprendre à la fois l’analyse réelle, la rigueur des preuves et l’usage concret de Mathlib.

2 points par GN⁺ 2025-06-01 | 1 commentaires

2

Darwin Gödel Machine - Une IA qui évolue en modifiant son propre code

(sakana.ai)

Darwin Gödel Machine est une IA qui améliore son propre code, surpasse les agents conçus manuellement sur des benchmarks réels et intègre des garde-fous pour une auto-amélioration plus sûre.

10 points par GN⁺ 2025-06-01 | 2 commentaires

3

Ask HN : Quel est le meilleur LLM utilisable sur du matériel grand public ?

(news.ycombinator.com)

Avec 16GB de VRAM, des modèles récents comme Qwen3, DeepSeek-R1, Mistral et Gemma3 peuvent offrir de bonnes performances en local, à condition d’ajuster quantification, mémoire et outils d’exécution.

13 points par GN⁺ 2025-06-01 | 1 commentaires

4

Buttplug MCP

(github.com/ConAcademy)

Un serveur MCP open source qui relie les appareils Buttplug.io à des outils LLM comme Claude Desktop pour les interroger et les contrôler.

1 points par GN⁺ 2025-06-01 | 2 commentaires

5

Le premier anniversaire de Valkey : comment le fork communautaire a dépassé Redis

(gomomento.com)

Un an après sa création, Valkey dépasse Redis sur les performances et la dynamique communautaire, porté par l’open source et des techniques de tuning concrètes.

8 points par GN⁺ 2025-06-01 | 4 commentaires

6

Le retour d’un grand distributeur d’électronique dans la Silicon Valley : ouverture de Micro Center

(microcenter.com)

Micro Center ouvre un nouveau magasin dans la Silicon Valley et propose gratuitement son programme Member Pricing jusqu’en 2026.

1 points par GN⁺ 2025-06-01 | 1 commentaires

7

jjui - TUI pour le système de gestion de versions Jujutsu

(github.com/idursun)

jjui est une interface terminal pour Jujutsu qui facilite les workflows clés comme la navigation dans l’arbre des commits, le rebase, le squash, le diff et les bookmarks.

21 points par xguru 2025-06-01 | 4 commentaires

8

Annonce d’Angular v20

(blog.angular.dev)

Angular v20 stabilise ses API de réactivité, introduit Zoneless en preview développeur et améliore nettement les performances, le SSR et l’expérience développeur.

3 points par GN⁺ 2025-06-01 | Commentaires et discussion