Webtagr - Résumé de news de technologie

LangExtract : Une bibliothèque d'extraction d'informations structurées basée sur les LLM

2025-08-03

LangExtract est une bibliothèque Python puissante qui utilise les grands modèles de langage (LLM) pour extraire des informations structurées à partir de documents texte non structurés. Elle traite des documents tels que des notes et des rapports cliniques, identifiant et organisant précisément les détails clés tout en garantissant que les données extraites correspondent parfaitement au texte source. Elle prend en charge plusieurs LLM, notamment Google Gemini, et dispose de fonctionnalités de traitement de longs documents et de visualisation interactive. Avec quelques lignes de code, elle simplifie les tâches complexes d'extraction d'informations, révolutionnant les flux de travail de traitement des données.

(github.com)

Développement extraction d'informations

Mezzano OS : Un système d'exploitation écrit en Common Lisp franchit des étapes importantes

2025-08-03

Mezzano, un système d'exploitation écrit en Common Lisp, a publié sa dernière démonstration, présentant des progrès significatifs. Depuis sa sortie initiale, Mezzano a connu des améliorations spectaculaires en termes de stabilité, de performances et de fonctionnalités, notamment la prise en charge des systèmes de fichiers EXT2/3/4, une pile USB, un support 3D accéléré par matériel via Virgl et un support multinœuds. Bien que l'exécution sur du matériel arbitraire nécessite toujours une intervention de l'utilisateur, le projet démontre une innovation impressionnante au sein de la communauté Common Lisp.

(github.com)

Développement

Nouvelles API HTML Canvas pour le rendu de contenu HTML

2025-08-03

Une nouvelle proposition introduit des API pour le rendu de contenu HTML dans les contextes HTML Canvas 2D et WebGL. Cela traite les limitations existantes de Canvas pour la gestion des mises en page complexes, l'accessibilité, l'internationalisation et les performances. De nouvelles API, notamment `layoutsubtree`, `drawElement`, `texElement2D` et `setHitTestRegions`, permettent aux développeurs de restituer des éléments HTML et leurs sous-arbres dans le canevas et de gérer les tests de collision. La proposition est actuellement en cours de développement et une version d'essai pour les développeurs est disponible.

(github.com)

Développement API Canvas Rendu HTML

Formalisation du dernier théorème de Fermat dans Lean : Un projet open source

2025-08-03

Un projet open source ambitieux vise à prouver formellement le dernier théorème de Fermat à l'aide du prouveur de théorèmes Lean. Dirigé par Kevin Buzzard et financé par l'EPSRC, hébergé à l'Imperial College London, le projet utilise une variante moderne de la preuve originale de Wiles/Taylor-Wiles, planifiée en collaboration avec Richard Taylor. Le site Web du projet fournit des détails sur le dernier théorème de Fermat, le prouveur Lean, les objectifs du projet et les lignes directrices pour les contributions.

(github.com)

Développement Dernier théorème de Fermat

PixiEditor 2.0 : Un éditeur 2D universel, gratuit et open source

2025-08-03

PixiEditor 2.0 dépasse ses origines de pixel art pour devenir un puissant éditeur 2D universel prenant en charge les images matricielles, les vecteurs, l’animation et les effets procéduraux. Son cœur est un pipeline de rendu configurable et un graphe de nœuds, offrant un contrôle sans précédent et permettant de créer des espaces de travail de texturation 3D. Le logiciel reste gratuit et open source, financé par des extensions et des ressources payantes. La version 2.0 introduit l’animation image par image, des outils d’édition vectorielle et divers espaces de travail, tels qu’un générateur de cartes et un outil de texturation de cube 3D, ainsi que plusieurs palettes. Bien que les exigences matérielles soient légèrement plus élevées, les développeurs s’engagent à améliorer la prise en charge d’une plus large gamme de configurations.

(pixieditor.net)

Développement Éditeur 2D

Seed7 : Un langage de programmation général extensible

2025-08-03

Seed7 est un langage de programmation général conçu par Thomas Mertes, surpassant Ada, C/C++ et Java par ses fonctionnalités de haut niveau. Il supporte les instructions et opérateurs définis par l'utilisateur, traite les types comme des objets de première classe et offre des définitions élégantes de modèles et de génériques. Combinant des concepts de Pascal, Ada, C, C++ et Java, Seed7 possède des fonctionnalités orientées objet, des interfaces, un envoi multiple, un contrôle de type statique, une gestion automatique de la mémoire (sans ramasse-miettes), une gestion des exceptions et un débogage du code source. Il fournit des types entiers et rationnels de grande taille, la surcharge de fonctions/opérateurs et un ensemble riche de types prédéfinis (tableaux, hachages, ensembles, etc.). Les programmes Seed7 sont hautement portables, et il offre une API indépendante de la base de données, compatible avec plusieurs bases de données. Seed7 fonctionne sous Linux, Unix et Windows ; son interpréteur et ses exemples sont sous licence GPL, tandis que la bibliothèque d'exécution utilise la licence LGPL.

(seed7.net)

Développement

Génération de diagrammes UML à la compilation avec les réflexions C++26

2025-08-03

Cet article montre comment utiliser les nouvelles fonctionnalités de réflexion de C++26 pour générer des diagrammes de classes PlantUML à la compilation. L'auteur combine habilement `std::meta::info`, les opérateurs `lift` et `splice`, et `std::define_static_string` pour extraire automatiquement les informations de classe du code et générer un diagramme UML. Le processus aborde également l'utilisation de `std::meta::access_context` et la gestion des différents types d'informations de réflexion, produisant finalement le code UML généré à l'exécution. Cela met en évidence la puissance des réflexions de C++26, offrant de nouvelles possibilités pour l'analyse et la visualisation de code.

(www.reachablecode.com)

Développement Réflexions

IOCCC 28 : 23 gagnants époustouflants !

2025-08-03

Après quatre ans d’absence, le 28e Concours international de code obscurci C (IOCCC) est de retour en force ! Cette année a vu un nombre record de soumissions de haute qualité, aboutissant à 23 gagnants, un nouveau record. Les soumissions gagnantes ont fait preuve d’une créativité incroyable, notamment un minuscule moteur d’inférence LLM, un éditeur UTF-8 original et même un programme qui émule le processeur Intel 4004. Le concours a mis en évidence les compétences remarquables des programmeurs C dans l’art de l’obfuscation du code.

(www.ioccc.org)

Développement

Compression des modèles de déclinaison des noms islandais dans un trie de 3,27 kB

2025-08-02

Afficher les noms islandais dans les interfaces utilisateur est étonnamment difficile en raison de la déclinaison. Cet article détaille une bibliothèque JavaScript qui résout ce problème en utilisant une structure de données trie. Le trie est construit à partir de données publiques de noms islandais et intelligemment compressé à moins de 4,5 kB compressés. L'auteur explique le processus, de l'acquisition et du prétraitement des données à la construction et aux techniques de compression de trie, telles que la fusion des sous-arbres et des feuilles sœurs. Les tests révèlent une grande précision même pour les noms non vus. Le résultat final est un trie remarquablement compact de 3,27 kB, montrant une représentation de données efficace et une optimisation algorithmique.

(alexharri.com)

Développement islandais

Club de lecture par e-mail des internes en logiciel : L’art de la programmation multiprocesseur

2025-08-02

Le club de lecture par e-mail des internes en logiciel commence un nouveau livre : « L’art de la programmation multiprocesseur », 2e édition (2020). Les discussions auront lieu chaque semaine via un groupe Google, chaque membre prenant à son tour le rôle d’initiateur d’un fil de discussion. Les participants doivent lire un chapitre avant la date de discussion et partager leurs idées et expériences personnelles. Pas de visioconférence ; la communication se fait uniquement par e-mail. Inscrivez-vous via le formulaire fourni.

(eatonphil.com)

Développement club de lecture internes en logiciel

Microsoft ouvre progressivement WinUI : feuille de route de six mois

2025-08-02

Microsoft a annoncé une approche progressive pour l'open-source de WinUI, le framework d'interface utilisateur de Windows 11. En raison de la complexité de WinUI et de son intégration profonde avec Windows, l'open-source ne sera pas un simple basculement d'interrupteur. Microsoft prévoit un déploiement en quatre phases : la phase 1 augmente la fréquence de mise en miroir de GitHub ; la phase 2 permet aux développeurs externes de compiler localement ; la phase 3 permet des contributions et des tests externes ; et la phase 4 établit GitHub comme plateforme de développement principale. Ce sera un processus incrémental, et Microsoft encourage les commentaires et les contributions des développeurs.

(www.neowin.net)

Développement

L'illusion de la « source unique de vérité » dans le développement de produits

2025-08-02

Le problème courant de la « source unique de vérité » dans le développement de produits est souvent mal posé. Il suppose que tout le monde veut la vérité, qu'il y a un accord sur ce qu'est cette vérité, et que chacun est prêt à œuvrer à la cohérence. Cet article prend l'exemple d'une équipe jonglant avec des initiatives, des lancements, et divers cadres d'allocation pour illustrer la complexité inhérente. Forcer la standardisation nuit à l'efficacité, tandis qu'embrasser pleinement la complexité conduit à une surcharge cognitive. La clé est de trouver un équilibre, de reconnaître les nuances et d'éviter la suppression de la réalité pour une meilleure efficacité opérationnelle. L'auteur questionne comment les outils et systèmes organisationnels reflètent les dynamiques de pouvoir et les préférences dominantes.

(cutlefish.substack.com)

Développement source unique de vérité

Mise à jour de Ladybird en juillet : prise en charge d’HTTP/3, taux de rafraîchissement élevé et plus encore

2025-08-02

Le moteur de navigateur open source Ladybird a fait des progrès significatifs en juillet, fusionnant 319 demandes d’extraction de 47 contributeurs. Les points forts incluent : la prise en charge d’HTTP/3, des performances de rendu améliorées sur les écrans à taux de rafraîchissement élevé, un correctif pour la compatibilité avec Google reCAPTCHA et une prise en charge ajoutée pour Trusted Types, une gestion améliorée de SVG foreignObject et de nombreuses améliorations CSS, telles que `content: url(...)`, de nouvelles pseudo-classes et des groupes de propriétés logiques. Les améliorations internes incluent le passage à des chaînes UTF-16 natives pour une efficacité accrue et moins de bogues liés à l’encodage.

(ladybird.org)

Développement

TraceRoot : Débogage de production 10 fois plus rapide grâce à l'IA

2025-08-02

TraceRoot est une plateforme de débogage open source qui accélère la résolution des problèmes de production de 10x. Elle combine des traces structurées, des journaux et le contexte du code source avec une analyse optimisée par l'IA. Basée sur une architecture de système multi-agents, elle permet le traçage et la journalisation en temps réel, exploite les données structurées pour améliorer les performances de l'agent IA et s'intègre à des outils tels que GitHub et Notion. Une interface semblable à un curseur permet aux développeurs de sélectionner les journaux et les traces pour une analyse assistée par IA. Déployable via le cloud (essai gratuit disponible) ou en auto-hébergement.

(github.com)

Développement débogage open source

Construire un serveur de sauvegarde imbattable : FreeBSD, ZFS et sécurité multicouche

2025-08-02

Cet article détaille la construction d’un serveur de sauvegarde sécurisé et fiable à l’aide de FreeBSD, ZFS et BastilleBSD. L’auteur souligne l’importance de la redondance des données et du chiffrement multicouche, en décrivant des stratégies de sauvegarde pour les serveurs FreeBSD ZFS (à l’aide de zfs-autobackup), d’autres systèmes (à l’aide de BorgBackup) et les serveurs Proxmox (à l’aide de Proxmox Backup Server et Minio). L’article aborde également les VPN, l’isolement du réseau, les snapshots et le renforcement de la sécurité, dans le but d’aider les lecteurs à créer un système de sauvegarde robuste et résilient à diverses menaces.

(it-notes.dragas.net)

Développement serveur de sauvegarde

Twentyseven 1.0.0 : Une odyssée de 12 ans en Haskell pour résoudre le Rubik's Cube

2025-08-02

Après douze ans de développement, un solveur de Rubik's Cube basé sur Haskell, Twentyseven, a atteint la version 1.0.0. Inspiré par le Cube Explorer de Herbert Kociemba, il utilise la recherche Iterative Deepening A* (IDA*), projetant intelligemment l'état du cube en sous-problèmes plus simples pour estimer les mouvements restants et trouver des solutions optimales. Bien que les solutions optimales puissent prendre des heures, l'auteur discute également de l'algorithme en deux phases plus rapide de Kociemba pour des solutions quasi instantanées. Cette version se concentre principalement sur la compatibilité du compilateur GHC et la maintenance du code.

(blog.poisson.chat)

Développement

Dites adieu à la gestion fastidieuse des clés API : rationalisation de votre authentification API

2025-08-02

Cet article critique le processus fastidieux de la gestion actuelle des clés API et propose une solution plus simple et plus efficace. L’auteur montre comment l’utilisation de la bibliothèque `jose` pour générer facilement des paires de clés JWK permet aux développeurs de générer leurs propres clés API sans étapes fastidieuses telles que l’inscription de compte et la vérification d’e-mail. La solution utilise des JWT avec des revendications et des clés publiques pour l’autorisation et fournit un mécanisme de facturation basé sur une URL de paiement, ainsi qu’une méthode de dérivation de clés pour les scénarios B2B2C. Cela simplifie l’authentification API, améliore l’efficacité du développement et offre une gestion des clés plus sécurisée.

(www.selfref.com)

Développement clés API

Codage IA : Un spectre de collaboration homme-IA

2025-08-02

Cet article explore les stratégies de codage assisté par IA, décrivant le processus comme un spectre de collaboration homme-IA. De la dépendance minimale à l'IA (similaire à la discussion de problèmes avec des collègues d'une autre entreprise) à la dépendance maximale (délégation de tâches à un programmeur junior), l'auteur détaille les différents niveaux d'interaction et souligne l'importance de choisir la bonne stratégie en fonction du contexte, en équilibrant la profondeur d'apprentissage et l'efficacité.

(softwaredoug.com)

Développement Collaboration de code

Ethersync : Édition de texte multijoueur, localement

2025-08-02

Ethersync permet l'édition collaborative en temps réel de fichiers texte locaux sans serveur, offrant des connexions pair à pair cryptées. Il est compatible avec Linux, macOS, Android et WSL, avec des plugins pour Neovim et VS Code. Partagez des fichiers via des commandes simples en ligne de commande, permettant à plusieurs utilisateurs d'éditer simultanément, de voir les curseurs et les sélections des autres. Imaginez un mode multijoueur pour votre éditeur de texte ! Le projet est en développement actif et accueille les contributions et les rapports de bugs.

(github.com)

Développement

Une étudiante de premier cycle résout une conjecture mathématique : Le problème de Mizohata-Takeuchi

2025-08-02

Hannah Cairo, une étudiante de premier cycle à l'UC Berkeley, a fait des progrès inattendus sur une version simplifiée de la conjecture de Mizohata-Takeuchi en suivant un cours de troisième cycle sur la théorie de la restriction de Fourier. Initialement un problème de devoir, Cairo a été captivée par celui-ci et a étendu le travail à des formulations plus complexes. Son superviseur, le professeur Ruixiang Zhang, a été impressionné par sa passion et sa concentration. Cette histoire souligne le potentiel des jeunes chercheurs et le dévouement à l'exploration intellectuelle.

(www.quantamagazine.org)

Développement premier cycle

Proposition de mode renforcé pour Clang : Sécurité avant compatibilité

2025-08-02

L'équipe Clang propose un "mode renforcé" pour améliorer la sécurité et la stabilité des programmes C et C++. Ce mode unifiera les mécanismes de sécurité existants, notamment en activant divers drapeaux du compilateur, des macros prédéfinies et des avertissements, et en ajustant le comportement de diagnostic pour réduire les faux positifs et prioriser la sécurité. La proposition explore plusieurs approches de mise en œuvre : un fichier de configuration, un pilote séparé et des drapeaux orthogonaux, recherchant les commentaires de la communauté sur la solution optimale. Ce mode peut casser du code existant, mais l'équipe estime que c'est un compromis nécessaire pour une meilleure sécurité, visant un faible taux de faux positifs.

(discourse.llvm.org)

Développement

Cerebras lance des offres de codage IA ultra-rapides : Pro et Max

2025-08-02

Cerebras présente deux nouvelles offres de codage IA : Code Pro (50 $ par mois) et Code Max (200 $ par mois), toutes deux basées sur Qwen3-Coder d’Alibaba, un modèle de codage open-weight de pointe. Fonctionnant à des vitesses atteignant 2 000 tokens par seconde, avec une fenêtre de contexte de 131 000 tokens, aucun verrouillage IDE propriétaire et aucune limite hebdomadaire, il offre une génération de code instantanée. Les utilisateurs peuvent l’intégrer à leurs IDE IA préférés pour un flux de travail transparent. Code Pro est idéal pour les développeurs indépendants et les petits projets, tandis que Code Max répond aux besoins des développeurs à plein temps ayant un volume élevé.

(www.cerebras.ai)

Développement

Je n'ai pas pu soumettre de PR, alors j'ai été embauché et je l'ai réparé moi-même

2025-08-01

Pendant plus d'un an, une condition de concurrence dans la recherche de Mintlify a causé des résultats erratiques. En tant que fondateur de Trieve, l'entreprise qui alimentait sa recherche, j'ai essayé de soumettre un PR pour le réparer, mais j'ai échoué. Finalement, en rejoignant Mintlify, j'ai ajouté un AbortController à la fonction de recherche avec temporisation, résolvant le problème et rendant les résultats de recherche cohérents. Cette expérience a mis en évidence la puissance de l'open source et la satisfaction de résoudre directement un problème persistant.

(www.skeptrune.com)

Développement

SQLite : Construire une base de données pour 2050

2025-08-01

Les développeurs de SQLite ambitionnent de supporter SQLite jusqu'en 2050. Pour ce faire, ils ont mis en place un code multiplateforme, un format de fichier de base de données stable, des tests de qualité aéronautique, une documentation exhaustive, un code source abondamment commenté et un plan de reprise d'activité après sinistre. Rejetant les modes éphémères de la programmation, ils visent un code intemporel, facilement compréhensible et maintenable par les programmeurs à venir. Même la Bibliothèque du Congrès des États-Unis reconnaît SQLite comme un format recommandé pour la préservation numérique. La vision à long terme et la conception robuste de SQLite en font un choix de base de données fiable.

(www.sqlite.org)

Développement support à long terme

Annulé : Le récit de quatre ans d’un développeur Scala

2025-08-01

En 2021, un développeur Scala de renom a été la cible de la « justice populaire » en ligne, accusé de faute professionnelle. Malgré de fausses accusations, il a perdu son emploi, ses revenus, son logement et ses amis du jour au lendemain, faisant face à la ruine financière et à des problèmes de santé. Bien qu’il ait finalement été disculpé par la justice, les dommages à sa réputation persistent, le laissant avec un traumatisme psychologique et des difficultés financières prolongées, y compris le sans-abrisme. Ce récit détaille son calvaire de quatre ans, appelant à la prudence dans les condamnations publiques et soulignant l’impact dévastateur des attaques en ligne sur les individus.

(pretty.direct)

Développement justice populaire en ligne culture de l’annulation atteinte à la réputation

Entretiens de codage en direct : un test de stress, pas un test de compétences ?

2025-08-01

Cet article remet en question l’efficacité des entretiens de codage en direct comme mesure des compétences en ingénierie. L’auteur relate des expériences personnelles et cite des recherches scientifiques montrant que les situations de forte pression nuisent aux fonctions cognitives, notamment à la mémoire de travail, essentielle pour le codage. Une étude a révélé que les participants obtenaient deux fois moins de résultats sous observation, les femmes échouant complètement dans la condition observée. L’auteur suggère d’atténuer le stress grâce à des simulations d’entretien et explore des compléments comme la L-tyrosine et la L-théanine pour améliorer les performances sous pression.

(hadid.dev)

Développement entretiens de codage en direct

Applications respectueuses de la vie privée quittent le Google Play Store

2025-08-01

Un projet proposant des applications Android respectueuses de la vie privée depuis 2016 cesse les mises à jour sur le Google Play Store. En raison de coûts de maintenance élevés, l'équipe déplace ses plus de 30 applications vers la boutique F-Droid pour une prise en charge continue. Les installations existantes ne sont pas affectées, mais les utilisateurs sont invités à migrer vers F-Droid pour les futures mises à jour et assurer le bon fonctionnement.

(secuso.aifb.kit.edu)

Développement magasin d'applications

rewindtty : un enregistreur et un lecteur de sessions de terminal en C

2025-08-01

rewindtty est un projet open source écrit en C qui enregistre et reproduit précisément les sessions de terminal, y compris les informations de temporisation. Il propose une analyse de session, générant des statistiques détaillées et des suggestions d'optimisation. Les données de session sont stockées au format JSON pour une analyse facile. De plus, il inclut un lecteur basé sur un navigateur avec des fonctionnalités avancées telles qu'une timeline interactive et des contrôles, améliorant considérablement l'expérience utilisateur. Le projet est léger, a des dépendances minimales et est facile à utiliser.

(github.com)

Développement enregistrement de terminal relecture de session

Ce guide de sécurité pour serveur Linux vous protégera-t-il des pirates ?

2025-08-01

Ce guide complet détaille comment sécuriser votre serveur Linux contre les attaques malveillantes. Il couvre tout, du choix d'une distribution Linux sécurisée à la configuration des pare-feux et des systèmes de détection/prévention d'intrusion (tels que Fail2Ban et CrowdSec), et fournit des playbooks Ansible pour automatiser de nombreuses étapes de sécurité. Le guide aborde également des sujets avancés tels que l'utilisation des clés SSH, l'authentification à deux facteurs et le renforcement du noyau sysctl, tout en mettant en garde les lecteurs contre les risques liés à ces étapes. Il s'agit d'un document évolutif destiné à être une ressource complète pour la sécurité des serveurs Linux.

(github.com)

Développement Sécurité du serveur

Au revoir, tmux : une alternative basée sur shpool et les gestionnaires de fenêtres

2025-08-01

L'auteur, utilisateur de tmux de longue date, a cherché une alternative en raison de sa complexité et de problèmes agaçants tels que le rendu des couleurs, le défilement du tampon et la sélection à la souris. L'article explore les lacunes des multiplexeurs de terminaux et présente comment des outils tels que shpool, combinés à des gestionnaires de fenêtres (tels que ghostty ou sway), permettent la persistance des sessions et la gestion des fenêtres, remplaçant finalement tmux. Bien que shpool ne soit pas parfait et présente des problèmes mineurs, l'auteur considère son défilement natif, les notifications de terminal et les titres comme des avantages significatifs. Des instructions de configuration détaillées sont fournies.

(bower.sh)

Développement alternative tmux persistance de session

Category: Développement