Webtagr - Résumé de news de technologie

Serveur MCP : Donner aux LLM une conscience du temps

2025-07-16

Le serveur MCP « Passage du temps » s'attaque au problème des calculs de temps peu fiables des LLM. Grâce à une collaboration homme-LLM, ce projet a développé une suite d'outils liés au temps, donnant aux LLM une conscience temporelle et des capacités de calcul. De manière surprenante, cela a révélé la capacité des LLM à découvrir des informations sur les schémas de conversation, les rythmes de travail et l'expérience humaine du temps. Le serveur offre des fonctions telles que le calcul des différences de temps, la fourniture de contexte temporel et la conversion d'horodatages, en prenant en charge plusieurs fuseaux horaires. Ce projet illustre le partenariat cognitif et la conception collaborative.

(github.com)

Développement Conscience Temporelle

Extension de réplication active-active pour PostgreSQL (pgactive)

2025-07-16

pgactive est une extension PostgreSQL permettant de créer une base de données active-active. Contrairement aux modèles traditionnels de réplication active-passive, pgactive permet d'écrire sur plusieurs instances de base de données simultanément, augmentant ainsi la disponibilité, réduisant la latence d'écriture et simplifiant les déploiements blue/green et les migrations de données. Tirant parti des capacités de réplication logique de PostgreSQL 10, pgactive gère la résolution des conflits et la gestion des séquences, offrant une solution robuste pour la construction de clusters de bases de données hautement disponibles et multi-régionales.

(github.com)

Développement Réplication de bases de données

cppyy : Interopérabilité transparente entre Python et C++

2025-07-16

cppyy est un générateur de liaisons Python-C++ en temps d'exécution qui permet d'appeler du C++ depuis Python et vice-versa. Il atteint des performances élevées, une faible consommation de mémoire, une héritage croisé et des callbacks sans extensions de langage ni langages intermédiaires. Les fonctionnalités incluent l'instanciation de modèles en temps d'exécution, la conversion automatique d'objets vers le bas et la gestion des exceptions. Basé sur l'interpréteur C++ Cling, cppyy permet le mélange dynamique et interactif des fonctionnalités C++ et Python et prend même en charge les bibliothèques C++ modernes comme Boost. Il fonctionne avec CPython et PyPy et est optimisé pour les projets à grande échelle, excellant en termes de performances et de gestion de la mémoire.

(cppyy.readthedocs.io)

Développement Liaisons

Explorez les bases de données PostgreSQL et MySQL visuellement – sans SQL !

2025-07-16

Cet outil vous permet de vous connecter à vos bases de données PostgreSQL et MySQL à l'aide de vos seules informations d'identification et d'explorer instantanément votre schéma, en visualisant les tables, les colonnes, les types et les relations (PK, FK). Il offre une interface visuelle simple pour filtrer, trier, joindre et résumer les données sans écrire de SQL. Suivez les relations en cliquant pour développer les enregistrements associés, tels que les tables imbriquées ; c'est intuitif et puissant. Insérez et mettez à jour les données visuellement directement – sans erreurs de syntaxe ! Enregistrez vos requêtes pour une utilisation ultérieure. Et bien sûr, vous pouvez toujours passer en mode SQL et exécuter votre propre code.

(dataramen.xyz)

Développement visualisation de base de données

FluentBird : Un thème Fluent Design de Windows 11 pour Thunderbird

2025-07-16

FluentBird est un thème userChrome.css pour Mozilla Thunderbird qui implémente le design Fluent Design et la transparence Mica de Windows 11. Il prend en charge les modes clair et sombre et améliore la transparence Mica sur les systèmes Windows 11. Bien qu'il s'agisse d'une version bêta avec des bugs potentiels, il thématise en grande partie la section courrier et corrige plusieurs problèmes. L'installation consiste à placer manuellement les fichiers dans le répertoire chrome de Thunderbird. Notez que certaines zones de Thunderbird utilisent Shadow DOM, ce qui limite la personnalisation complète ; la fenêtre de nouveau message et les paramètres restent inchangés.

(github.com)

Développement Thème

Mon workflow Python efficace pour une pile complète : de l’IA au déploiement

2025-07-16

Cet article détaille une chaîne d’outils complète pour construire des applications Python, peaufinée pendant six mois de développement IA. L’auteur partage sa structure de projet préférée (monorepo), la gestion des dépendances (uv), le linting (ruff), la vérification de types (ty), les tests (pytest), la validation des données (Pydantic), la documentation (MkDocs), la création d’API (FastAPI), les dataclasses, le contrôle de version (GitHub Actions), les mises à jour des dépendances (Dependabot), l’analyse de sécurité (Gitleaks), les hooks de pré-commit, l’automatisation (Make) et la conteneurisation Docker. Ce workflow optimisé met l’accent sur l’efficacité, la qualité du code et le CI/CD. L’attention portée par l’auteur aux outils légers et à une approche simplifiée en fait une ressource précieuse pour les développeurs Python full-stack.

(www.cesarsotovalero.net)

Développement Développement full-stack

Simulations Organiques Envoûtantes : Algorithmes et Techniques

2025-07-16

Cet article explore les techniques algorithmiques permettant de créer des simulations organiques fascinantes, inspirées du comportement d'organismes tels que le Physarum polycephalum. L'auteur explique méticuleusement l'algorithme de Jeff Jones, détaillant le mouvement des particules, le dépôt de traces, la diffusion et la décroissance, montrant comment l'ajustement des paramètres (distance du capteur, angle, angle de rotation, distance de déplacement) produit des résultats variés. L'article explore également le projet '36 Points' de Sage Jenson, qui introduit des formules de paramètres dynamiques pour une complexité et une variété accrues. Enfin, l'auteur partage sa propre implémentation, utilisant le calcul GPU et des expériences de couleurs, en fournissant des extraits de code et des liens vers des projets interactifs.

(bleuje.com)

Développement algorithmes de simulation simulation organique calcul GPU

Nextflow : simplification des workflows évolutifs

2025-07-16

Nextflow est un puissant système de workflow basé sur le modèle de programmation de flux de données, simplifiant la création de pipelines de traitement de données parallèles et distribuées. Déployez facilement des workflows sur des machines locales, des planificateurs HPC, des plateformes cloud (AWS, Azure, Google Cloud) et Kubernetes. Nextflow prend en charge divers outils de gestion des dépendances logicielles, tels que Conda, Docker et Singularity. Une communauté active fournit une documentation complète, des forums et une assistance Slack. Le projet nf-core propose des workflows pré-construits de haute qualité.

(github.com)

Développement programmation par flux de données

La légende de Mel : Le Blackjack en Hexadécimal d'un Programmeur Réel

2025-07-16

Cet article raconte l'histoire de Mel, un programmeur légendaire des années 1980. Maître du code machine, Mel a écrit un jeu de blackjack pour l'ordinateur LGP-30 de Royal McBee, puis l'a optimisé pour le RPC-4000. Il a refusé les compilateurs et les assembleurs optimisants, optimisant manuellement le code pour exploiter l'architecture de mémoire à tambour pour une vitesse maximale. Même les boucles simples ont été conçues de manière ingénieuse, utilisant le dépassement d'adresse d'instruction pour terminer, évitant les tests explicites. Bien qu'obligé d'ajouter un commutateur de gain/perte, il a subtilement inversé la logique, faisant en sorte que le programme gagne toujours lorsqu'il est activé, montrant son style unique et sa posture éthique. L'article souligne la profonde compétence et la dévotion de Mel à son art.

(users.cs.utah.edu)

Développement légende de la programmation

Le Secret d'un Code Plus Rapide et Plus Précis : Les Preuves de Code Mentales

2025-07-16

Cet article révèle une technique pour écrire du code plus rapidement et plus précisément : réaliser des preuves "en ligne". Au lieu d'interrompre votre flux de codage, prouvez mentalement la correction de votre code pendant que vous écrivez. L'auteur détaille plusieurs stratégies pour vous aider dans ce processus, notamment en vous concentrant sur la monotonicité du code, en utilisant des pré- et post-conditions, en maintenant des invariants et en isolant l'impact des modifications. Le raisonnement inductif pour les fonctions et les structures de données récursives est également mis en évidence, ainsi que la défense de « l'affinité avec les preuves » comme métrique de qualité du code. Enfin, l'auteur suggère de pratiquer les preuves mathématiques pour améliorer vos compétences en preuve de code.

(the-nerve-blog.ghost.io)

Développement preuve de code

WebGPU arrive dans Firefox 141 sur Windows !

2025-07-16

Après des années de développement, WebGPU est enfin disponible dans Firefox 141 sur Windows ! WebGPU fournit au contenu web une interface moderne pour le processeur graphique de l’utilisateur, permettant des calculs et un rendu haute performance. Mozilla estime que WebGPU améliorera considérablement les jeux web, la visualisation et le calcul local. Bien qu’initialement disponible sur Windows, la prise en charge de macOS, Linux et Android est prévue pour les mois à venir. WebGPU est déjà disponible dans Chrome et le sera bientôt dans Safari.

(mozillagfx.wordpress.com)

Développement Traitement Graphique

Blender 4.5 LTS : Performances améliorées avec Vulkan et adieu aux Macs Intel

2025-07-16

Blender 4.5 LTS est arrivé, avec le rendu Vulkan améliorant considérablement les performances de l'affichage. La subdivision adaptative est jusqu'à 14 fois plus rapide grâce au multithreading, et le compositeur dispose de nœuds accélérés par GPU. Les nœuds de géométrie sont améliorés, tandis qu'un nouveau solveur booléen Manifold améliore le nettoyage des maillages. Cette version marque également la fin du support pour les Macs Intel et certaines fonctionnalités héritées, ouvrant la voie à de futures optimisations pour Apple Silicon. Près de 500 corrections de bogues complètent cette mise à jour puissante.

(nerds.xyz)

Développement

Expédition dynamique hautes performances avec GLIBC hwcaps

2025-07-16

Cet article montre comment tirer parti des capacités hwcaps de GLIBC 2.33+ pour une expédition dynamique simple dans les bibliothèques partagées amd64 et POWER. En créant des fichiers de bibliothèque pour différents ensembles d'instructions CPU (par exemple, x86-64-v4, x86-64-v3, etc.) sous `/usr/lib/glibc-hwcaps/`, le chargeur dynamique charge automatiquement la bibliothèque correspondante en fonction de l'ensemble d'instructions le plus élevé pris en charge par le CPU, optimisant ainsi les performances. Cela résout le défi de maintenir des performances de bibliothèque cohérentes sur différentes architectures CPU, comme démontré dans la création du paquet Debian de la bibliothèque ggml utilisée par llama.cpp et whisper.cpp.

(www.kvr.at)

Développement expédition dynamique

Typage : Chiffrement Age avec Passkeys

2025-07-16

Typage, une implémentation TypeScript du format de chiffrement de fichiers age, prend désormais en charge les passkeys pour une sécurité renforcée. La version 0.2.3 utilise l'API WebAuthn pour le chiffrement symétrique avec les passkeys, offrant une résistance au phishing. Un plugin CLI complémentaire étend cette fonctionnalité aux clés de sécurité FIDO2 matérielles. L'implémentation utilise l'extension WebAuthn PRF, créant un lien matériel par fichier et une impossibilité de liaison. Cela permet un chiffrement et un déchiffrement transparents sur plusieurs appareils, tout en maintenant de solides garanties de sécurité. Le nouveau format `age-encryption.org/fido2prf` est essentiel à cette sécurité améliorée.

(words.filippo.io)

Développement chiffrement de fichiers

L'influence étonnamment profonde des langages de programmation « morts »

2025-07-16

Cet article explore l'impact étonnamment significatif de langages de programmation historiquement influents qui ne sont plus largement utilisés, tels que COBOL, ALGOL, APL et BASIC. En examinant leurs antécédents, leurs contributions et les raisons de leur déclin, l'auteur révèle leur influence durable sur les langages modernes. Des exemples incluent les structures de données d'enregistrement de COBOL, la portée lexicale et la programmation structurée d'ALGOL, et le traitement de tableaux d'APL. L'article souligne l'importance d'étudier l'histoire des langages de programmation et les contributions souvent négligées des langages qui n'ont jamais atteint une popularité généralisée.

(www.hillelwayne.com)

Développement histoire des langages de programmation évolution des langages de programmation

Plasma Bigscreen renaît de ses cendres : l'interface TV de KDE remaniée

2025-07-16

Le projet d'interface TV KDE abandonné, Plasma Bigscreen, a été ressuscité grâce au contributeur Plasma Mobile, Devin. Après une semaine de révision du code, Plasma Bigscreen arbore un nouveau look avec un design plat, un flou d'arrière-plan, la fonctionnalité de recherche KRunner et une application de paramètres redessinée. Bien qu'il nécessite encore des améliorations, comme un clavier virtuel et une orientation à long terme plus claire, l'objectif est de l'intégrer à la version officielle de Plasma 6.5, offrant une expérience KDE moderne aux utilisateurs de télévision.

(www.neowin.net)

Développement Interface TV

Ressusciter l'ancienne application de mnemoniques Genius : un voyage technologique nostalgique

2025-07-16

En apprenant le néerlandais pour un déménagement aux Pays-Bas, l'auteur a été déçu par une application d'apprentissage des langues appelée Green Owl, la trouvant amusante mais finalement inutile. Il s'est souvenu de Genius, une ancienne application de répétition espacée, louant sa simplicité et ses mécanismes de retour d'information satisfaisants. Comme Genius était obsolète et incompatible avec le macOS moderne, l'auteur a décidé de la ressusciter. En migrant le référentiel SVN vers Git à l'aide de git-svn et en résolvant les problèmes de compatibilité lors de la compilation, il a réussi à compiler et à exécuter Genius. Ce projet n'a pas seulement récupéré un outil d'apprentissage apprécié, mais a également fourni une précieuse expérience d'apprentissage en développement Mac et a mis en évidence la préservation de l'histoire de la technologie.

(andrewshaw.nl)

Développement Développement Mac

Module cryptographique Go FIPS 140-3 natif : une solution simple et sécurisée

2025-07-16

Go 1.24 et les versions ultérieures prennent désormais en charge nativement la conformité FIPS 140-3 grâce à un nouveau module cryptographique développé en collaboration avec Geomys. Ce module, validé par le certificat CAVP A6650 et en cours d'examen CMVP, élimine les précédents points de friction pour les utilisateurs de Go dans les environnements réglementés. Il offre une expérience utilisateur transparente, avec une sécurité sans compromis, utilisant un ECDSA optimisé et un NIST DRBG basé sur AES-256-CTR. Il prend en charge un large éventail de plates-formes et d'algorithmes, surpassant les capacités et la sécurité de son prédécesseur, Go+BoringCrypto. Ce module natif offre le moyen le plus simple et le plus sûr d'assurer la conformité FIPS 140-3 pour les développeurs Go.

(go.dev)

Développement Module cryptographique

Demandes d'un utilisateur de Firefox : optimisation, fonctionnalités et refonte du design

2025-07-16

Un utilisateur de Firefox a exprimé de fortes demandes d'améliorations en termes de vitesse, de fonctionnalités et de design. Pour la version PC, il demande un chargement de pages plus rapide, une réduction de la consommation de ressources et l'ajout d'espaces de travail, d'une fonctionnalité d'écran partagé et d'une version portable. Les améliorations de design incluent des icônes actualisées et une interface repensée. Les utilisateurs mobiles souhaitent des corrections pour les problèmes de rechargement des onglets, des vitesses de chargement plus rapides, des fonds d'écran personnalisables, le regroupement d'onglets et des espaces de travail. Une transparence sur les délais de développement des fonctionnalités est également demandée.

(connect.mozilla.org)

Développement retour d'utilisateur

Bitvise critiqué pour le contrôle du domaine du projet open source PuTTY

2025-07-16

Bitvise, un fournisseur commercial de clients SSH, contrôle le domaine putty.org, longtemps associé au projet open source populaire PuTTY. Cela a suscité des critiques pour son branding trompeur et l'exploitation de la confiance du public. Malgré les accusations de comportement contraire à l'éthique, Bitvise refuse de transférer le domaine, répondant avec hostilité et en détournant les préoccupations éthiques. La question principale n'est pas la légalité, mais l'éthique : Bitvise tire-t-il profit de la réputation de PuTTY pour tromper les utilisateurs et en tirer un avantage commercial ?

(blog.pupred.com)

Développement litige de domaine

Tilck : Un noyau minimaliste et éducatif compatible avec Linux

2025-07-16

Tilck est un noyau monolithique éducatif conçu pour être compatible au niveau binaire avec Linux, fonctionnant actuellement sur les architectures i686 et RISCV64. Sa conception simple et compacte en fait un outil idéal pour apprendre la programmation de noyaux, permettant de comparer l'exécution du même code en mode utilisateur sous Linux et sous Tilck. Tilck ne nécessite pas d'applications personnalisées ; il exécute des programmes Linux classiques comme la suite BusyBox. À l'avenir, Tilck pourrait être largement utilisé dans les systèmes embarqués nécessitant un système déterministe et une latence ultra-faible, comblant le fossé entre Embedded Linux et les systèmes d'exploitation temps réel comme FreeRTOS ou Zephyr.

(github.com)

Développement

Shoggoth Mini : Un robot à tentacule souple et expressif

2025-07-16

Cet article détaille la création de Shoggoth Mini, un robot à tentacule souple conçu pour l'expressivité. L'auteur a itérativement amélioré le matériel, en résolvant les problèmes d'enchevêtrement de câbles et en ajoutant des scripts de calibration. Le contrôle est réalisé via un simple mappage 2D pour une manipulation intuitive, combiné à GPT-4 et à l'apprentissage par renforcement pour différents modes de contrôle, incluant le contrôle manuel, le suivi basé sur la vision et les comportements en boucle ouverte. L'auteur explore la relation entre l'expressivité et la perception de « vivacité » chez les robots, en concluant par des axes de recherche futurs.

(www.matthieulc.com)

Développement

Le moteur d'expressions régulières de Rust prend en charge les rétrospectives sans capture

2025-07-15

Le moteur d'expressions régulières officiel de Rust prend désormais en charge les rétrospectives sans capture, une fonctionnalité puissante des expressions régulières permettant des assertions sur le texte précédent sans capturer la correspondance. L'implémentation a nécessité des modifications de l'automate d'expressions régulières et du compilateur, surmontant les problèmes de performance tels que les analyses inutiles jusqu'à la fin du texte et la complexité quadratique du temps dans les recherches de correspondance de tous. Les tests de performance montrent de bonnes performances, comparables à celles de la bibliothèque `re` de Python dans la plupart des cas.

(systemf.epfl.ch)

Développement

Outil de traduction IA : franchissez les barrières linguistiques sans effort

2025-07-15

Fatigué des barrières linguistiques qui entravent votre communication avec des amis ou des partenaires étrangers ? Cet outil de traduction alimenté par l’IA vous simplifie la tâche ! Tapez simplement ce que vous voulez dire, ajoutez un contexte pour les mots incertains entre accolades {}, et l’IA vous fournira des corrections précises et des explications, ainsi qu’une prononciation audio pour vous aider à maîtriser le rythme et l’intonation. Toutes les corrections sont enregistrées pour révision, ce qui permet une amélioration continue de la langue. Aucun enregistrement ni abonnement n’est nécessaire : utilisez-le à tout moment et en tout lieu pour une communication naturelle et fluide dans votre langue cible.

(menerdu.vercel.app)

Développement traduction IA

Crimson : Révolutionner les litiges avec l'IA – Recrutement d'un ingénieur full-stack

2025-07-15

Crimson est une plateforme d'IA pour les litiges à enjeux élevés, en partenariat avec les meilleurs cabinets d'avocats du Royaume-Uni et des États-Unis pour rationaliser les différends complexes. Sa plateforme rédige des conclusions, analyse les jugements, résume les transcriptions et localise les preuves clés en quelques secondes. Ils recherchent un ingénieur full-stack exceptionnel pour rejoindre l'équipe en tant que l'un des premiers employés, contribuant à l'ensemble de la stack technologique et travaillant directement avec les utilisateurs pour construire et améliorer les fonctionnalités principales. C'est une chance d'être à l'avant-garde de l'innovation dans la technologie juridique, soutenue par Y Combinator et d'autres investisseurs de premier plan.

(www.ycombinator.com)

Développement

Vol de cryptomonnaies de 500 000 $ souligne la menace croissante des paquets open source malveillants

2025-07-15

Un développeur blockchain russe a perdu 500 000 $ en cryptomonnaies à cause d'une cyberattaque. L'attaque provenait d'une extension de langage Solidity falsifiée qui s'est classée en tête du registre Open VSX, accumulant 54 000 téléchargements. Cette extension malveillante a téléchargé et exécuté du code malveillant, installant finalement le logiciel de gestion à distance ScreenConnect, permettant aux attaquants de voler des données. Les attaquants ont également publié un autre paquet malveillant nommé "solidity", imitant le nom de l'extension légitime, avec le nombre impressionnant de 2 millions de téléchargements. Cet incident souligne la menace croissante des paquets open source malveillants et comment les algorithmes de classement des résultats de recherche peuvent être exploités.

(securelist.com)

Développement

arXivLabs : Projets expérimentaux avec des collaborateurs de la communauté

2025-07-15

arXivLabs est un cadre permettant aux collaborateurs de développer et de partager de nouvelles fonctionnalités arXiv directement sur notre site web. Les individus et les organisations qui travaillent avec arXivLabs ont adopté et accepté nos valeurs d'ouverture, de communauté, d'excellence et de confidentialité des données des utilisateurs. arXiv s'engage envers ces valeurs et ne travaille qu'avec des partenaires qui les respectent. Vous avez une idée de projet qui ajoutera de la valeur à la communauté arXiv ? En savoir plus sur arXivLabs.

(arxiv.org)

Développement

Un bug gênant dans la création de slots de réplication logique PostgreSQL, et comment nous l'avons corrigé

2025-07-15

L'équipe ClickPipes a rencontré un bug déroutant lors de la création de slots de réplication logique dans PostgreSQL : une requête qui aurait dû prendre quelques secondes prenait des heures et ne pouvait pas être interrompue. L'enquête a révélé un bug de Postgres où, sur les réplicas en lecture, la création d'un slot de réplication logique se bloquait dans une boucle de suspension longue en attendant que les transactions principales se terminent, rendant l'interruption impossible. L'équipe a soumis un correctif à la communauté Postgres en ajoutant une vérification d'interruption, résolvant ainsi efficacement le problème. Ce cas souligne comment même les systèmes de bases de données matures peuvent présenter des cas limites inattendus, et le rôle vital de la collaboration de la communauté open source pour les résoudre.

(clickhouse.com)

Développement Réplication logique

Tests de performance de caches distribués : Memcache, Redis, Valkey, Dragonfly et Garnet

2025-07-15

Cette étude réalise un benchmark complet de cinq caches distribuées : Memcache, Redis, Valkey, Dragonfly et Garnet. Les mesures incluent le débit, la latence et les cycles CPU. L’environnement de test utilise une instance AWS c8g.8xlarge et l’outil memtier_benchmark, en faisant varier les tailles de pipeline (1, 10, 25, 50). Les résultats révèlent des différences de performances selon les différentes mesures, aidant ainsi les développeurs à choisir le cache optimal pour leurs besoins applicatifs.

(github.com)

Développement cache distribué

Bedrock : un système informatique 8 bits compact et durable

2025-07-15

Bedrock est un système informatique compact et portable de 8 bits, conçu pour durer éternellement. Il ne s'agit pas d'un système informatique réel que vous pouvez tenir dans vos mains, mais d'une spécification qui décrit une interface pour tout type de dispositif informatique, vous permettant d'écrire des programmes qui fonctionneront sur n'importe quel dispositif sans avoir à vous soucier des particularités du matériel sous-jacent. Avec seulement 32 instructions et 12 périphériques, il est petit et facile à apprendre. Actuellement, les programmes peuvent fonctionner sous Windows, Linux, sur le Web et sur Nintendo DS. Des exemples de programmes incluent un programme de dessin d'art pixelisé, un jeu de Snake et une horloge de style four à micro-ondes. Bedrock est né d'une fourche de la machine virtuelle Uxn et de la pile de calcul Varvara, dans le but d'améliorer les performances sur les systèmes extrêmement limités en ressources.

(benbridle.com)

Développement ordinateur 8 bits

Category: Développement