Webtagr - Résumé de news de technologie

Stelvio : Gestion simplifiée d'AWS pour les développeurs Python

2025-03-20

Stelvio est une bibliothèque Python qui simplifie la gestion et le déploiement de l'infrastructure cloud AWS. Elle utilise du Python pur, offrant des valeurs par défaut intelligentes pour les configurations complexes. Les développeurs définissent les ressources cloud avec du code Python familier, séparant clairement l'infrastructure du code de l'application. Actuellement compatible avec Lambda, DynamoDB et API Gateway (avec plus de services AWS prévus), Stelvio privilégie la productivité des développeurs à la complexité de l'infrastructure, offrant une approche plus simplifiée que Terraform, Pulumi ou AWS CDK. Note : Stelvio est en version alpha préliminaire, idéale pour l'expérimentation.

(github.com)

Développement Infrastructure Cloud

Décorations d'espace CSS : une nouvelle façon de styliser les séparateurs

2025-03-20

Le dessin de lignes de séparation est courant dans la conception Web, mais les méthodes CSS existantes (comme les bordures et les pseudo-éléments) présentent des limitations, notamment avec les mises en page Flexbox et Grid. Cet article présente la proposition de décorations d'espace CSS, offrant un contrôle accru sur les styles de séparateurs dans les grilles et les flexboxes, notamment la longueur, la couleur et la position, même sur plusieurs lignes et colonnes. La proposition sollicite les commentaires des développeurs pour affiner ses fonctionnalités.

(blogs.windows.com)

Développement Mise en page Grille

Hackathon de l'Université de Toronto : Découverte accidentelle d'une vulnérabilité

2025-03-20

Un étudiant de l'Université de Toronto, lors de son inscription au hackathon GenAI Genesis 2025, a découvert par hasard une vulnérabilité. Après avoir réinitialisé son mot de passe (son gestionnaire de mots de passe ne l'avait pas enregistré), il a remarqué que le lien de réinitialisation pointait vers une application Firebase. Intrigué, il a essayé quelques techniques courantes d'exploitation de Firebase. Il a découvert que le site Web mettait à jour le statut de la candidature en écrivant l'objet entier de la candidature, et non seulement les champs nécessaires. En exploitant cela, il a réussi à changer le statut de sa candidature en « accepté ». Il a également trouvé une vulnérabilité de fuite d'informations, permettant un accès anticipé aux résultats de la révision, aux informations du réviseur et aux commentaires. La vulnérabilité a depuis été corrigée.

(fastcall.dev)

Développement

Austral : Un langage de programmation système axé sur la simplicité et la rigueur

2025-03-20

Austral est un nouveau langage de programmation système conçu pour la simplicité et la rigueur. Imaginez-le comme les fonctionnalités essentielles de Rust ou un Ada modernisé et simplifié. Ses principales caractéristiques incluent un système de types statiques robuste, des types linéaires, une sécurité basée sur les capacités et une forte modularité. Les types linéaires garantissent une gestion correcte du cycle de vie des ressources, évitant les fuites de mémoire et autres erreurs, tandis que la sécurité basée sur les capacités atténue les attaques de la chaîne d'approvisionnement. Austral évite les fonctionnalités telles que les NULL, le garbage collection et les exceptions pour maximiser la sécurité et la prévisibilité.

(borretti.me)

Développement types linéaires sécurité basée sur les capacités

Optimisation de la mémoire d'un compilateur Pascal rétro : techniques de tokenisation intelligentes

2025-03-20

Cet article explore en détail les stratégies d'optimisation de la mémoire d'un compilateur Pascal rétro. Pour s'adapter à la mémoire limitée, le compilateur utilise la tokenisation, convertissant les messages d'erreur, les mots réservés, les identificateurs et autres éléments en bytecodes. L'article fournit des représentations hexadécimales détaillées et la signification des codes d'erreur, des jetons source et des codes P (codes pseudo-machine), révélant comment le compilateur gère efficacement le processus de compilation grâce à une tokenisation intelligente et à la manipulation de bytecodes. Ceci est une lecture précieuse pour ceux qui étudient la conception de compilateurs, l'ingénierie inverse et la programmation de systèmes embarqués.

(www.gammon.com.au)

Développement conception de compilateurs optimisation de la mémoire

L'IA peut-elle générer automatiquement des diagrammes d'architecture système ?

2025-03-20

Cet article explore trois cas d'utilisation pour les diagrammes d'architecture système générés par l'IA : les diagrammes de technologie génériques, les diagrammes de tableau blanc et les diagrammes de systèmes réels. Les expériences montrent que l'IA excelle dans la génération de diagrammes de technologie génériques et de diagrammes de tableau blanc, produisant des diagrammes d'architecture de base à partir de descriptions simples et acceptant facilement des raffinements. Cependant, l'IA a des difficultés à générer des diagrammes de systèmes réels, échouant à extraire des informations précises du code source pour produire des diagrammes d'architecture détaillés et précis. Cela est principalement dû à des défis tels que le manque de données d'entraînement suffisantes, la complexité de l'analyse du code et la difficulté de l'IA à comprendre l'intention de la conception du système. En résumé, la création de prototypes assistée par l'IA est viable, mais la génération automatique de diagrammes de systèmes réels reste un défi, nécessitant une participation humaine essentielle.

(www.ilograph.com)

Développement Architecture Système Analyse de Code

Package Phobia : Vérification de la taille des paquets npm avant installation

2025-03-20

Package Phobia est un outil qui indique la taille d'un paquet npm avant son installation. Il distingue la « taille de publication » (taille du code source, généralement petite) de la « taille d'installation » (taille après installation, incluant toutes les dépendances, pouvant être beaucoup plus importante). Cela permet aux développeurs d'inspecter les dépendances potentielles sans gaspiller d'espace disque ni attendre de longues installations, améliorant ainsi la gestion des dépendances.

(packagephobia.com)

Développement taille du paquet

La nouvelle approche de Google pour prévenir les pannes avec STPA

2025-03-20

Google utilise l'analyse des processus théoriques des systèmes (STPA) pour prévenir les pannes dans ses systèmes logiciels massifs. Cet article détaille le parcours de Google, de la formation initiale externe au développement d'une formation interne personnalisée, incluant la construction de modèles de structure de contrôle et, finalement, la création de tutoriels en auto-apprentissage pour diffuser plus efficacement le STPA. En utilisant des exemples réels de systèmes Google, la formation est devenue plus engageante et a mis en évidence l'importance de se concentrer sur les boucles de rétroaction, souvent négligées dans la conception logicielle traditionnelle. L'expérience de Google montre que le STPA identifie efficacement les points de défaillance potentiels, améliorant ainsi la fiabilité du système.

(sre.google)

Développement fiabilité du système

GitHub Actions CI/CD : Une odyssée douloureuse

2025-03-20

L'auteur raconte un parcours frustrant dans la construction d'un pipeline CI/CD complexe utilisant GitHub Actions, impliquant de multiples itérations et des difficultés avec les files d'attente de fusion, un comportement incohérent et des préoccupations de sécurité. Les défis comprenaient l'application des vérifications d'état avec les files d'attente de fusion, la compréhension du modèle de sécurité autour de GITHUB_TOKEN, des problèmes d'autorisation de fichiers et de chemins d'accès dans les conteneurs Docker et les complexités des workflows YAML. Malgré une réduction du temps de fusion, l'auteur souligne les nombreux pièges cachés et le comportement incohérent, plaidant pour une meilleure convivialité et un débogage amélioré dans GitHub Actions.

(www.feldera.com)

Développement

Serveur MCP pour récupérer le contenu des pages web à l'aide du navigateur headless Playwright

2025-03-20

Ce projet propose un serveur MCP qui utilise le navigateur headless Playwright pour récupérer le contenu des pages web. Il prend en charge la récupération d'URL uniques et par lots, extrait intelligemment le contenu principal et le convertit en Markdown. Les utilisateurs peuvent l'exécuter directement avec `npx` et configurer des paramètres tels que le délai d'attente, la stratégie d'attente, l'extraction de contenu, la longueur maximale et s'ils doivent renvoyer du HTML ou du Markdown. Des instructions pour configurer le serveur dans Claude Desktop, installer les navigateurs Playwright et le déboguer sont également fournies.

(github.com)

Développement Serveur MCP Scraping web

Mise à jour du modèle Hunyuan3D de Tencent : plus petit, plus rapide et avec génération de textures

2025-03-20

Tencent a publié une version mise à jour de son modèle open source Hunyuan3D, avec une variante « mini » plus petite et plus rapide. Cette mise à jour améliore non seulement la vitesse d'inférence, mais ajoute également des capacités de génération de textures, ce qui donne des rendus de modèles 3D considérablement améliorés. Les modifications du code se concentrent sur l'optimisation du chargement du modèle, les ajustements des paramètres et un pipeline de génération de textures simplifié avec une prise en charge plus large des formats de fichiers. Cela rend la puissante technologie de modélisation 3D plus accessible à un plus grand nombre de développeurs.

(github.com)

Développement

Construire un LLM à partir de zéro : Plongeon approfondi dans le dropout

2025-03-20

Cet article relate le parcours de l’auteur à travers le chapitre sur le dropout du livre de Sebastian Raschka « Construire un grand modèle de langage (à partir de zéro) ». Le dropout est une technique de régularisation qui prévient le sur-apprentissage en ignorant aléatoirement certains neurones ou poids pendant l’entraînement, répartissant ainsi les connaissances plus largement dans le modèle. L’auteur détaille la mise en œuvre du dropout et explore les nuances de son application dans les LLM, telles que l’application du dropout aux poids d’attention ou aux vecteurs de valeur, et le rééquilibrage de la matrice résultante. L’article aborde également les choix pratiques du taux de dropout et les défis liés à la gestion des tenseurs d’ordre supérieur pour le traitement par lots, préparant le terrain pour un apprentissage futur.

(www.gilesthomas.com)

Développement

Adminer : Un outil de gestion de base de données puissant en un seul fichier

2025-03-20

Adminer est un outil complet de gestion de bases de données écrit en PHP, composé d'un seul fichier pour une déploiement facile. Il prend en charge MySQL, PostgreSQL, SQLite et bien d'autres bases de données, avec des plugins étendant les fonctionnalités à Elasticsearch, MongoDB, et plus encore. Les utilisateurs peuvent personnaliser Adminer avec des plugins supplémentaires et gérer leur ordre de chargement via un simple fichier de configuration PHP. Adminer Editor fournit une interface conviviale pour la manipulation de données.

(github.com)

Développement

mcp-kafka : un pont entre les assistants IA et Apache Kafka

2025-03-19

mcp-kafka est un serveur Model Context Protocol (MCP) qui fait office de pont entre les assistants IA et Apache Kafka. Il permet aux assistants IA de créer, gérer et interagir directement avec les topics et les messages Kafka. L'outil prend en charge la création, la liste, la suppression, la description des topics, la production et la consommation de messages, avec prise en charge de l'authentification SASL_PLAINTEXT et PLAINTEXT. mcp-kafka est facile à installer et à utiliser, avec une documentation et des exemples complets.

(github.com)

Développement

Gestion élégante des types somme JSON en Go : éviter les paniques

2025-03-19

Go ne prend pas nativement en charge les types somme, mais cet article montre comment les émuler en Go et gérer en toute sécurité l'encodage et le décodage JSON pour éviter les erreurs de panique en cours d'exécution. L'auteur utilise un exemple concret pour illustrer l'utilisation d'une approche « interface scellée » et d'outils de génération de code (OpenAPI Generator et Protocol Buffers) pour gérer élégamment les types somme JSON. Cela permet d'obtenir une sécurité de type au moment de la compilation et d'éviter efficacement les erreurs en cours d'exécution. L'article compare également d'autres implémentations et explore les avantages du langage V pour la gestion des types somme.

(nicolashery.com)

Développement Types Somme

Mode Focus : Une extension de navigateur open source pour une meilleure productivité

2025-03-19

Mode Focus est une extension de navigateur open source conçue pour améliorer la productivité en bloquant les sites web distrayants. Les utilisateurs peuvent bloquer plusieurs sites, programmer des heures de blocage et même utiliser des caractères génériques (par exemple, reddit.com/*) pour un blocage complet. Les contributions sont les bienvenues sous la licence MIT.

(github.com)

Développement

Dites adieu au copier-coller : Claude Desktop se dote d’un assistant de programmation en binôme

2025-03-19

Fatigué de copier-coller du code dans et hors de la fenêtre de chat de Claude ? codemcp est un plugin qui transforme Claude Pro en un puissant assistant de programmation en binôme. Modifiez directement les fichiers, corrigez les bogues, refactorisez le code et exécutez des tests, le tout dans votre IDE. Conçu autour d’une IA agentive sécurisée et du contrôle de version Git, codemcp garantit que toutes les modifications sont réversibles. Dites adieu aux factures d’API astronomiques (bonjour aux limites de débit basées sur le temps !) et bonjour à une programmation efficace et collaborative avec Claude !

(github.com)

Développement

Le mot-clé `defer` en C : une offensive pour prévenir les fuites de mémoire

2025-03-19

Une nouvelle fonctionnalité arrive en C : `defer`. Il agit comme un mécanisme de 'défaire' polyvalent, garantissant qu'un ensemble d'instructions est exécuté indépendamment de la façon dont un bloc de code se termine, crucial pour le nettoyage des ressources comme la libération de mémoire ou le déverrouillage des mutex. `defer` s'appuie sur des extensions de compilateur existantes et des fonctionnalités similaires dans d'autres langages. L'article détaille les fonctionnalités de `defer`, la portée et les différences avec des constructions similaires en Go, avec des exemples illustrant son utilisation. L'auteur exhorte les fournisseurs de compilateurs à implémenter `defer` rapidement pour améliorer la sécurité et la maintenabilité du code C, en prévenant les fuites de mémoire comme celles observées dans CVE-2021-3744.

(thephd.dev)

Développement

Dites adieu aux services cloud : un archiveur d’images local sans dépendances

2025-03-19

Fatigué de la gestion complexe des photos dans le cloud ? Ce projet vise à simplifier l’archivage des images avec un outil local sans dépendances. Il ne nécessite aucun serveur, base de données ou écosystème spécifique — seulement des fichiers et des dossiers. Imaginez-le comme un générateur de sites statiques qui réside dans votre bibliothèque d’images. Développé en Rust ou Go, ce sera un exécutable léger qui génère automatiquement des index de dossiers et des miniatures, avec des métadonnées facultatives (Markdown ou texte brut). La suppression de l’application n’affecte ni vos images ni leur structure. C’est une solution simple et puissante pour la gestion locale des images.

(www.scottishstoater.com)

Développement gestion locale des images

Marimo : Réinventer les Jupyter Notebooks en Python pur et versionnable

2025-03-19

Marimo est un projet open source qui réinvente les Jupyter Notebooks en tant que fichiers Python en texte brut, utilisables comme des programmes Python ordinaires. Le format .ipynb basé sur JSON des Jupyter Notebooks traditionnels pose des problèmes de contrôle de version, de réutilisabilité du code et autres. Marimo résout ces problèmes en représentant les notebooks comme des graphes de flux de données, les rendant facilement versionnables (avec Git), importables comme modules, testables avec pytest et exécutables comme scripts. Il prend également en charge l'intégration de SQL et de Markdown et offre un mécanisme de mise en cache pour plus d'efficacité. Marimo a été largement adopté, utilisé par des entreprises comme OpenAI et BlackRock, et de nombreuses institutions de recherche, s'imposant rapidement comme une nouvelle norme pour le calcul interactif.

(marimo.io)

Développement

Points aveugles des LLM pour le codage IA

2025-03-19

Cet article met en évidence plusieurs points aveugles rencontrés par l'auteur lors de l'utilisation de grands modèles de langage (LLM) pour le codage IA. Les problèmes incluent des tests boîte noire insuffisants, des outils sans état, une dépendance excessive à l'automatisation et une négligence de la documentation. Les solutions suggérées incluent la refactorisation préparatoire, l'utilisation de types statiques, le maintien de petits fichiers et le respect des spécifications. L'auteur évoque de futures suggestions de règles Cursor pour résoudre ces problèmes.

(ezyang.github.io)

Développement

Programmation générique en C : comparaison de quatre approches

2025-03-19

L’absence de prise en charge des types génériques (polymorphisme paramétrique) en C est une frustration courante. Cet article explore quatre méthodes pour émuler les génériques en C : les macros de modèle, les en-têtes de modèle, l’effacement de type et les macros d’insertion. Les macros de modèle sont simples, mais souffrent de problèmes de lisibilité et de propension aux erreurs ; les en-têtes de modèle améliorent la lisibilité, mais présentent toujours des défis de nomenclature ; l’effacement de type sacrifie la sécurité des types, mais est utile pour FFI ou le lien dynamique ; les macros d’insertion sont faciles à utiliser, mais entraînent une inflation du code. En fin de compte, l’auteur suggère de choisir entre les en-têtes de modèle (plus faciles à développer) et les macros d’insertion (plus faciles à utiliser) en fonction des besoins du projet.

(btmc.substack.com)

Développement

Fermeture du service de base de données Fauna, la technologie principale sera open source

2025-03-19

Fauna, un service de base de données relationnelle de documents, a annoncé la fermeture de son service dans les prochains mois. Incapable d'obtenir le financement nécessaire pour son expansion mondiale dans le contexte actuel du marché, l'entreprise a pris la décision difficile de cesser ses opérations. Cependant, Fauna s'engage à rendre open source sa technologie de base de données principale, ses pilotes et ses outils CLI, rendant ainsi ses fonctionnalités transactionnelles uniques, son modèle de données relationnelles de documents et son langage FQL disponibles à une communauté plus large de développeurs. Les clients existants bénéficieront d'un support de migration pour assurer une transition en douceur.

(fauna.com)

Développement

Chrome abandonne FreeType pour Skrifa basé sur Rust : un gain en sécurité et en performances

2025-03-19

Chrome a remplacé son ancien moteur de rendu de polices FreeType par Skrifa, une nouvelle bibliothèque basée sur Rust. Le code FreeType, basé sur le C, était en proie à des failles de sécurité, nécessitant des ressources de maintenance importantes. Skrifa tire parti de la sécurité mémoire de Rust pour réduire considérablement les vulnérabilités et améliorer la productivité des développeurs. Des tests rigoureux et des comparaisons garantissent que Skrifa correspond aux performances et à la qualité de rendu de FreeType. Chrome prévoit d'étendre l'utilisation de Skrifa à davantage de systèmes d'exploitation à l'avenir.

(developer.chrome.com)

Développement

AGX : Un client ClickHouse de bureau moderne construit avec Tauri et SvelteKit

2025-03-19

AGX est une application de bureau construite avec Tauri et SvelteKit, offrant une interface moderne pour explorer et interroger des données à l'aide du moteur de base de données embarqué de ClickHouse (chdb). Elle offre les performances d'une application de bureau native, un éditeur de requêtes SQL interactif avec coloration syntaxique, un navigateur de schéma, un affichage des résultats sous forme de tableau, la prise en charge du glisser-déposer de fichiers et une compatibilité multiplateforme (macOS, Linux, Windows). L'interface utilisateur utilise SvelteKit pour une interface réactive et efficace, tandis que le backend utilise Tauri et Rust pour des performances et une sécurité natives. La communication entre l'interface utilisateur et le backend se fait via le pont IPC de Tauri, les requêtes de données étant traitées par le moteur ClickHouse embarqué, chdb. Les contributions sont les bienvenues !

(github.com)

Développement

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

2025-03-19

arXivLabs est un cadre qui permet 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

Zest : Un langage de programmation alliant malléabilité et lisibilité

2025-03-19

Zest est un langage de programmation en cours de développement, conçu pour créer des systèmes à la fois malléables et lisibles. Il vise à combiner l'interactivité et la réactivité de systèmes comme emacs avec des fonctionnalités telles que le typage statique, la liaison précoce et le « jump-to-definition ». Actuellement, Zest prend en charge les flux de contrôle de base, l'arithmétique et les fonctions, mais nécessite encore des améliorations en matière de gestion des erreurs, de gestion de la mémoire et de fonctions récursives. Le code peut être interprété ou compilé, mais le mode mixte n'est pas encore pris en charge. La documentation inclut des tests intégrés pour vérifier la sortie des différents dialectes (lax et strict).

(github.com)

Développement

fd : Outil de recherche de fichiers ultra-rapide (23 fois plus rapide que find)

2025-03-19

fd est une alternative plus rapide et plus conviviale à la commande find. Il se caractérise par une syntaxe intuitive, une traversée de répertoires parallélisée et une correspondance intelligente de la casse, ignorant par défaut les fichiers cachés et les entrées .gitignore. Il prend en charge les expressions régulières et les modèles glob, offrant de nombreuses options pour personnaliser les recherches, notamment la spécification des répertoires racines, des types de fichiers, des tailles, des dates de modification, etc. Il s'intègre parfaitement à d'autres commandes telles que `ls`, `rm`, `rg` et `fzf`. Des tests de référence montrent l'avantage de vitesse significatif de fd par rapport à find dans les systèmes de fichiers volumineux, atteignant jusqu'à 23 fois plus de performances.

(github.com)

Développement recherche de fichiers

MVVM dans SwiftUI : Meilleures pratiques et pièges

2025-03-19

Cet article explore les meilleures pratiques et les défis liés à l'utilisation du modèle architectural Modèle-Vue-ViewModel (MVVM) dans SwiftUI. L'auteur soutient que, bien que MVVM s'aligne bien avec le flux de données de SwiftUI, sa rigidité perçue peut engendrer des problèmes. L'article explique le fonctionnement de MVVM, comment tirer parti de ses avantages dans SwiftUI et comment surmonter ses défis, notamment en évitant la surutilisation des ViewModels et en implémentant MVVM dans une application SwiftUI. Il compare également MVVM à d'autres modèles architecturaux tels que MVC, le modèle Modèle-Vue et l'Architecture Propre, en analysant leurs avantages et inconvénients.

(matteomanferdini.com)

Développement Modèles architecturaux

Partition de démarrage de 1 Go ? Pas assez ! Mon cauchemar de mise à jour Debian

2025-03-19

Au début, j'ai alloué avec confiance une partition ESP de 1 Go et une partition de démarrage de 1 Go, pour être rapidement contredit. Lors d'une mise à jour système de routine, apt s'est plaint d'un espace insuffisant sur la partition de démarrage. Le coupable ? Les nouveaux modules de pilote NVIDIA de ma carte graphique récemment installée. Une solution temporaire consistait à nettoyer les anciennes versions du noyau, mais ce n'était qu'une solution palliative. La solution finale a impliqué l'utilisation de GParted pour réduire la partition racine, étendre la partition de démarrage et migrer les données à l'aide de rsync. J'ai également mis à jour fstab et grub. Il est crucial d'exécuter `grub install` avant de nettoyer l'ancienne partition ; sinon, le système ne démarrera pas. Enfin, j'ai réutilisé l'ancienne partition de démarrage comme partition de sauvegarde temporaire non chiffrée.

(blog.fernvenue.com)

Développement Gestion des partitions

Category: Développement