◀ Année précédente | ◁ Mois précédent | << Semaine précédente | < Jour précédent | 2026-04-29 | Jour suivant >

21

Ghostty quitte GitHub

(mitchellh.com)

Ghostty va quitter GitHub après une série de pannes répétées qui ont perturbé les revues de PR et le travail quotidien.

5 points par GN⁺ 1 일 전 | 3 commentaires

22

Publication de Dillo Browser 3.3.0

(dillo-browser.org)

Dillo Browser 3.3.0 apporte le contrôle à distance via socket UNIX, de nouvelles fonctions d’automatisation, IPv6 activé par défaut et de nombreuses corrections de bugs.

4 points par GN⁺ 1 일 전 | 1 commentaires

23

Ce que j’ai compris en écrivant 50 outils MCP : les appels de fonction relevaient d’une relation anormaleme...

(evan-moon.github.io)

Un retour d’expérience sur 50 outils MCP montrant que, face aux LLM, la description et l’intention d’un outil comptent souvent davantage que sa seule signature.

6 points par bboydart91 1 일 전 | Commentaires et discussion

24

API Prompt de Chrome

(developer.chrome.com)

Une API native de Chrome pour exploiter Gemini Nano en local dans le navigateur, avec contrôle fin des sessions, multimodalité et réponses structurées.

5 points par GN⁺ 1 일 전 | 1 commentaires

25

Pourquoi ne pas simplement utiliser Lean ?

(lawrencecpaulson.github.io)

L’histoire de la formalisation mathématique dépasse largement Lean, et l’essor de l’IA pourrait encore réduire l’importance de choisir un seul proof assistant comme référence absolue.

1 points par GN⁺ 1 일 전 | 1 commentaires

26

Aux étudiants

(ozark.hendrix.edu)

Un appel aux étudiants à privilégier l’éthique, la réflexion profonde et les relations humaines dans une industrie informatique secouée par le court-termisme et les dérives technologiques.

1 points par GN⁺ 1 일 전 | 1 commentaires

27

Warp annonce le passage en open source et un modèle de développement centré sur les agents

(x.com/zachlloydtweets)

Warp passe son client en open source sous AGPL et présente un modèle de développement « agent-first » piloté par Oz avec le soutien d’OpenAI.

4 points par ragingwind 1 일 전 | 1 commentaires

28

Incident en cours sur GitHub

(githubstatus.com)

GitHub subit actuellement une dégradation des Pull Requests, avec des résultats incomplets sur `/pulls` et `/repo/pulls` pendant les opérations de réindexage en cours.

1 points par GN⁺ 1 일 전 | 1 commentaires

29

Super ZSNES - Émulateur SNES basé sur le GPU

(zsnes.com)

Une réécriture complète de ZSNES sous forme d’émulateur SNES basé sur le GPU, avec améliorations visuelles, Mode 7 haute résolution et fonctions de confort modernes.

1 points par GN⁺ 1 일 전 | 1 commentaires

30

Quarkdown 2.0.0 - Le Markdown enrichi de fonctionnalités puissantes

(quarkdown.com)

Quarkdown 2.0.0 enrichit le Markdown avec une composition avancée, une sortie HTML hors ligne, du rendu parallèle et de nouvelles options pour les documents et sites statiques.

1 points par GN⁺ 1 일 전 | 1 commentaires

31

Warp publie en open source son environnement de développement agentique basé sur le terminal

(github.com/warpdotdev)

Warp a open sourcé le code de son terminal et propose aussi un modèle de contribution open source appuyé sur des agents IA.

6 points par happyhaki 1 일 전 | 4 commentaires