Webtagr - Résumé de news de technologie

Mises à jour importantes de GitHub Issues : sous-tâches, types de problèmes et recherche avancée

2025-01-19

GitHub a publié une mise à jour majeure pour les Issues, incluant les sous-tâches, les types de problèmes et la recherche avancée. Les sous-tâches permettent de décomposer les problèmes en unités plus petites pour un meilleur suivi de l'avancement. Les types de problèmes aident les équipes à classer et à gérer les problèmes avec un langage cohérent. La recherche avancée permet un filtrage plus complexe pour trouver les problèmes spécifiques. L'interface utilisateur des Issues a également été mise à jour pour améliorer l'efficacité et la convivialité. De plus, CodeQL Action v2 est officiellement retiré, ce qui oblige les utilisateurs à mettre à niveau vers la version v3. Les modèles par défaut de l'analyse des secrets prennent désormais en charge davantage de types de secrets, renforçant ainsi la sécurité.

(github.blog)

Développement Mise à jour

Rust : Investigation d'une étrange erreur de mémoire insuffisante

2025-01-19

Le service Rust engine-gateway de Qovery a subi des plantages inattendus de mémoire insuffisante (OOM). La surveillance affichait une utilisation stable de la mémoire avant les redémarrages brusques. Le coupable ? La bibliothèque anyhow, lorsque les traces sont activées, capture une trace pour chaque erreur. La résolution des symboles, uniquement déclenchée lors de l'impression des erreurs en mode débogage (`{:?}`), a entraîné une consommation massive de mémoire. La définition des variables d'environnement `RUST_BACKTRACE=1` et `RUST_LIB_BACKTRACE=0` pour activer les traces uniquement en cas de panique a résolu le problème. Ceci souligne à quel point la surveillance peut être trompeuse et l'importance d'une lecture approfondie de la documentation de la bibliothèque.

(www.qovery.com)

Développement

Haskell : étonnamment procédural ?

2025-01-19

Cet article remet en question les idées reçues sur Haskell, en affirmant qu'il excelle en tant que langage procédural. Il explore la manière dont Haskell traite les effets secondaires comme des valeurs de première classe, explique le mécanisme sous-jacent des blocs `do` et montre comment utiliser des fonctions comme `pure`, `fmap` et `liftA2` pour les manipuler. L'auteur présente `sequenceA` et `traverse` pour gérer les collections d'effets secondaires et illustre comment ces fonctionnalités permettent une métaprogrammation efficace. Un exemple complexe met en évidence les points forts de Haskell dans la gestion de l'état et de la mise en cache, en le comparant aux limitations d'autres langages. L'article explore également des concepts avancés comme le monad `State` pour un meilleur contrôle et des résultats en streaming.

(entropicthoughts.com)

Développement Effets secondaires

Construire un site web sur un Raspberry Pi : guide en 15 étapes

2025-01-19

Ce tutoriel complet détaille le processus suivi par l'auteur pour créer un site web personnel sur un Raspberry Pi. Il couvre toutes les étapes, de l'acquisition du matériel nécessaire et de la configuration d'un Pi sans tête à l'installation d'un serveur Apache, l'obtention d'un certificat HTTPS et l'enregistrement d'un nom de domaine. L'auteur explique le développement HTML/CSS, la configuration de l'hôte virtuel, les sauvegardes, l'optimisation du référencement via Google Search Console, le suivi des utilisateurs avec GoatCounter, la protection contre les bots avec fail2ban, les mises à jour automatiques et la surveillance de l'utilisation du processeur et de la RAM. Le guide se termine par un récit fascinant des tests de résistance du site web via Hacker News et les leçons tirées des commentaires de la communauté, ce qui en fait une ressource précieuse pour les aspirants développeurs web.

(mirawelner.com)

Développement Serveur Web

Yek : Un outil rapide pour le découpage de fichiers de référentiel pour les LLMs

2025-01-19

Yek est un outil rapide basé sur Rust conçu pour lire les fichiers texte d'un référentiel ou d'un répertoire, les découper en morceaux et les sérialiser pour la consommation par les grands modèles de langage (LLMs). Il ignore intelligemment les fichiers indésirables (à l'aide des règles .gitignore et de l'historique Git), divise le contenu en morceaux en fonction du nombre de jetons ou de la taille en octets, et offre de nombreuses options de configuration telles que des modèles d'ignorance personnalisés et des règles de priorité des fichiers. Yek vise à rationaliser le processus de préparation des données pour les LLMs, augmentant ainsi l'efficacité.

(github.com)

Développement

Forgejo : Une alternative auto-hébergée à GitHub

2025-01-19

Forgejo est une forge logicielle légère et auto-hébergée, facile à installer et à maintenir, animée par la communauté Codeberg e.V. Elle privilégie la sécurité, l'évolutivité, la fédération et la confidentialité, offrant une expérience utilisateur familière similaire à celle de GitHub pour une transition en douceur. 100 % gratuite et open source, Forgejo se caractérise par une faible consommation de ressources, des performances élevées et un engagement à promouvoir le développement collaboratif de logiciels via des plateformes décentralisées.

(forgejo.org)

Développement alternative à GitHub

Hologram : Elixir simplifie à nouveau le développement web

2025-01-19

Hologram simplifie le développement web en permettant de construire des interfaces utilisateur riches et interactives entièrement en Elixir. Son système de composants déclaratifs transpile intelligemment votre code en JavaScript, offrant des fonctionnalités front-end modernes sans nécessiter de framework JavaScript. Dites adieu à la fatigue des frameworks JavaScript et bonjour à l'élégance d'Elixir.

(hologram.page)

Développement

Unix Spell : Le miracle des 64 Ko de RAM

2025-01-19

Dans les années 1970, le correcteur orthographique d'Unix a relevé un défi incroyable : intégrer un dictionnaire de 250 Ko dans seulement 64 Ko de RAM sur un ordinateur PDP-11. L'ingénieuse solution de Douglas McIlroy a impliqué une approche en plusieurs étapes. Initialement, un filtre de Bloom permettait des recherches rapides, mais à mesure que le dictionnaire augmentait, il a développé un nouveau schéma de compression de hachage. En reconnaissant que les différences entre les codes de hachage triés suivaient une distribution géométrique et en utilisant le codage de Golomb, il a atteint des limites de compression presque théoriques. Enfin, le partitionnement des données compressées a encore amélioré la vitesse de recherche. Cette histoire est une leçon magistrale d'optimisation sous contraintes, montrant comment des algorithmes intelligents peuvent surmonter des limitations apparemment impossibles.

(blog.codingconfessions.com)

Développement

BorrowChecker.jl : Un vérificateur d'emprunt expérimental pour Julia

2025-01-18

BorrowChecker.jl est un package Julia qui simule la sémantique de propriété et d'emprunt similaire à Rust via un système basé sur des macros, effectuant des vérifications d'exécution pendant le développement et les tests pour signaler les problèmes de sécurité mémoire. Il ne garantit pas une sécurité mémoire absolue, mais aide à écrire du code plus sûr. La bibliothèque utilise des macros comme `@own`, `@move`, `@clone` pour gérer la propriété des objets et des blocs `@lifetime` pour gérer la durée de vie des références, tout en offrant un bloc `@managed` pour la vérification automatique des emprunts. Bien qu'imparfait, c'est un outil précieux pour les développeurs cherchant à améliorer la sécurité mémoire de leur code Julia.

(github.com)

Développement

Surpasser cuBLAS : une implémentation CUDA de la multiplication de matrices en simple précision

2025-01-18

Cet article présente une implémentation CUDA de la multiplication de matrices générales en simple précision (SGEMM) qui surpasse cuBLAS dans certains cas. En utilisant habilement des instructions PTX, des copies de mémoire asynchrones, la double mise en mémoire tampon et d’autres techniques d’optimisation, l’auteur a obtenu une multiplication de matrices efficace, spécifiquement optimisée pour une NVIDIA RTX 3090. L’article détaille la conception de l’algorithme, les techniques d’optimisation et la méthodologie de référence, offrant une expérience précieuse aux apprenants CUDA.

(salykova.github.io)

Développement Multiplication de matrices

Wasm GC n'est pas prêt pour les graphismes en temps réel

2025-01-18

Dans son article de blog, David Thompson souligne d'importants problèmes de performance du Wasm GC dans le domaine des graphismes en temps réel. Le problème principal provient de l'opacité des objets du tas Wasm GC pour l'hôte JavaScript. Cela nécessite une copie des données octet par octet pour le rendu WebGL, affectant gravement les performances. En revanche, la mémoire linéaire Wasm offre un accès direct à JavaScript et une efficacité supérieure. Thompson explore des solutions de contournement, sans en trouver aucune de satisfaisante. Il exhorte la communauté Wasm à résoudre ces limitations pour éviter de nuire à des technologies comme WebGPU.

(dthompson.us)

Développement Graphismes en temps réel

Maîtriser le filtre de Kalman : un tutoriel complet

2025-01-18

Ce tutoriel fournit un guide complet sur le filtre de Kalman, un outil puissant pour estimer et prédire les états d'un système. En commençant par les filtres univariés de base, il couvre progressivement les filtres multivariés, les filtres non linéaires et les aspects pratiques de l'implémentation, tels que la fusion de capteurs et le traitement des valeurs aberrantes. Le tutoriel présente de nombreux exemples numériques et illustrations, ainsi que du code Python et MATLAB. Même sans solides connaissances mathématiques, vous pouvez apprendre à concevoir, simuler et évaluer les performances du filtre de Kalman.

(www.kalmanfilter.net)

Développement Filtre de Kalman Estimation d'état

Redesign de l'UX/UI des navigateurs : Ce que les agents d'IA attendent

2025-01-18

L'essor des agents d'IA exige une refonte de l'UX/UI des navigateurs. Cet article explore les limites actuelles, notamment l'architecture d'information inadéquate, l'accessibilité limitée et les API insuffisantes. Un navigateur repensé doit privilégier l'accessibilité des données, l'automatisation, des interfaces simplifiées et la sécurité. Les principes clés d'un design convivial pour l'IA incluent des interfaces contextuelles, une interaction à faible latence et des designs modulaires et personnalisables. Des études de cas (Brave, Microsoft Edge, Opera) montrent l'intégration réussie de l'IA, soulignant la nécessité d'une approche centrée sur l'utilisateur pour créer des navigateurs qui accueillent parfaitement les utilisateurs humains et les agents d'IA.

(fromzero.ghost.io)

Développement

llmpeg : Génération de commandes FFmpeg avec un LLM

2025-01-18

Le projet llmpeg simplifie l'utilisation des commandes FFmpeg via un grand modèle linguistique (LLM). Il suffit de décrire la manipulation vidéo souhaitée, et llmpeg génère la commande FFmpeg correspondante. Par exemple, vous pouvez facilement supprimer l'audio d'une vidéo. Nécessite FFmpeg et une clé API OpenAI. Ce projet fournit un outil pratique assisté par IA pour le traitement vidéo.

(github.com)

Développement Traitement Vidéo

Animaux de compagnie VS Code : Boostez votre productivité avec des compagnons ludiques

2025-01-18

Fatigué du codage monotone ? L'extension `vscode-pets` pour VS Code ajoute des animaux de compagnie ludiques comme des chats, des chiens et des serpents à votre environnement de codage ! Facile à installer, elle offre de nombreuses options de personnalisation pour les animaux et les thèmes. Grâce aux traductions communautaires, cette extension promet une expérience de codage plus agréable.

(github.com)

Développement Animaux

Le crawler IA d'Amazon rend mon serveur Git instable

2025-01-18

Le serveur Git (gitea.xeserv.us) du blogueur Xe Iaso est attaqué par le crawler IA d'Amazon, causant de l'instabilité. Malgré les tentatives de blocage du crawler en utilisant robots.txt et la configuration nginx pour filtrer les agents utilisateurs spécifiques, les attaques persistent avec des IP en constante évolution et des agents utilisateurs falsifiés. En dernier recours, le serveur a été déplacé derrière un VPN, et un proxy inverse à preuve de travail est en cours de développement pour une protection future. Le billet exprime la frustration et la colère face à la consommation de ressources par le crawler IA d'Amazon, exhortant Amazon à arrêter les attaques ou à négocier une solution.

(xeiaso.net)

Développement Crawler IA Attaque serveur Épuisement des ressources

Shapecatcher : Trouvez des caractères Unicode en dessinant !

2025-01-18

Shapecatcher est un outil innovant qui vous permet de trouver des caractères Unicode en dessinant leur forme. Comprenant actuellement 11817 glyphes, c'est une solution pratique pour trouver des caractères dont vous ne connaissez pas le nom. Il suffit de dessiner le caractère, de cliquer sur « Reconnaître » et Shapecatcher trouvera la correspondance la plus proche. Les caractères japonais, coréens et chinois ne sont pas encore pris en charge (en raison des licences de polices), mais les futures mises à jour prévoient d'intégrer la police Noto de haute qualité pour y remédier. Le projet est encore en version bêta.

(shapecatcher.com)

Développement Reconnaissance de caractères Dessin

Dusa : Un nouveau langage de programmation logique combinant exploration de graphe et Datalog

2025-01-18

Dusa, un langage de programmation logique créé par Rob Simmons et Chris Martens, marque la première implémentation de la programmation logique à choix fini. Combinant des éléments de Datalog et de la programmation par ensembles de réponses, Dusa fonctionne également comme un langage d'exploration de graphe. Accessible via un éditeur web, un utilitaire en ligne de commande et une API JavaScript (npm), Dusa offre une transition en douceur pour les utilisateurs familiers avec Datalog ou ASP, tout en fournissant un point d'entrée accessible aux nouveaux venus grâce à ses fonctionnalités d'exploration de graphe.

(dusa.rocks)

Développement programmation logique exploration de graphe

Courbe de Hilbert : Une belle courbe de remplissage d'espace et sa visualisation

2025-01-18

Cet article explore la courbe de Hilbert, une courbe de remplissage d'espace possédant d'excellentes propriétés de clustering. L'auteur la visualise de manière créative en projetant une courbe de Hilbert de l'espace de couleur RGB 3D sur un plan 2D. La visualisation est esthétiquement plaisante et démontre de façon intuitive les propriétés de clustering de la courbe de Hilbert. L'article explique également l'implémentation de l'algorithme de la courbe de Hilbert et fournit un projet Python pour générer et visualiser différentes courbes de remplissage d'espace.

(corte.si)

Développement courbe de Hilbert courbe de remplissage d'espace

isd : Une IUT pour une gestion simplifiée des unités systemd

2025-01-18

isd est une interface utilisateur en terminal (IUT) conçue pour simplifier la gestion des unités systemd. Elle offre une recherche floue, des aperçus à rafraîchissement automatique, une gestion intelligente de sudo et une interface entièrement personnalisable pour les utilisateurs expérimentés et les débutants. Fatigué des commandes systemctl répétitives ? isd rationalise le processus en fournissant une interface unifiée qui affiche uniquement les informations et les commandes pertinentes. L'installation est simple via AppImage, Nix ou uv, le rendant accessible sur diverses distributions Linux. Même si vous utilisez uniquement `systemctl status`, la sortie à rafraîchissement automatique d'isd améliore l'efficacité.

(isd-project.github.io)

Développement

Désactivation de l'authentification par mot de passe pour SSH accessible sur Internet : renforcement de la sécurité ou excès ?

2025-01-18

Cet article pèse le pour et le contre de la désactivation de l'authentification par mot de passe pour SSH accessible sur Internet. Bien que des mots de passe forts offrent une protection contre les attaques par force brute, l'auteur soutient que la désactivation de l'authentification par mot de passe offre des couches de sécurité supplémentaires contre le vol d'informations d'identification, les vulnérabilités du serveur SSH et les attaques ciblant les comptes par défaut. Cependant, cela introduit également des inconvénients, tels que l'impossibilité de se connecter sans une paire de clés. L'auteur suggère une considération attentive des compromis en fonction des circonstances individuelles.

(utcc.utoronto.ca)

Développement sécurité SSH authentification par mot de passe

Un programme concurrent simple défie l'intuition

2025-01-18

Un programme concurrent apparemment simple, impliquant deux processus incrémentant une variable 'n' dix fois chacun, a donné un résultat surprenant lorsqu'il a été analysé avec un vérificateur de modèles. Intuitivement, la valeur finale de 'n' devrait être comprise entre 10 et 20. Cependant, un entrelacement extrême des processus a abouti à 'n' égal à 2. Bien qu'un programme Go tentant de reproduire ce comportement ait échoué, soulignant la rareté de tels entrelacements extrêmes en pratique, l'exemple souligne les complexités et la nature contre-intuitive de la programmation concurrente.

(wyounas.github.io)

Développement comportement contre-intuitif

Émulation d'un GPU sur un CPU à l'aide de l'assembleur de corps fini

2025-01-17

Cet article présente Finite Field Assembly (FF-asm), un nouveau langage de programmation permettant l'émulation de GPU sur les CPU. FF-asm utilise un paradigme de calcul récursif, éliminant le besoin de vectorisation SIMD ou de parallélisation OpenMP. Il réalise des calculs parallèles massifs sur un CPU en créant un système mathématique personnalisé basé sur la théorie des corps finis et les congruences. L'article fournit des exemples de code étape par étape démontrant l'addition et la multiplication dans FF-asm, mettant en évidence son potentiel pour l'émulation de GPU.

(leetarxiv.substack.com)

Développement émulation GPU corps finis calcul récursif

PowerPoint en PHP : Tour d'horizon des bibliothèques open-source

2025-01-17

Fatigué de vous battre avec les fichiers PowerPoint dans vos projets PHP ? Plusieurs bibliothèques PHP open-source facilitent désormais la création, l'édition et la conversion de fichiers PPT et PPTX. Ces bibliothèques simplifient non seulement le processus de développement, mais offrent également une large gamme de fonctionnalités, notamment la mise en forme, la fusion et la protection des fichiers. Que vous ayez besoin de générer des présentations époustouflantes ou de gérer de grands volumes de fichiers PPT, ces bibliothèques répondront à vos besoins et vous feront gagner un temps et des efforts considérables.

(products.fileformat.com)

Développement Bibliothèques open-source

Graphiques pratiques sans X11 : Plongeon au cœur de wscons sous NetBSD

2025-01-17

Cet article explique comment réaliser de la programmation graphique bas niveau sous NetBSD sans X11 ni Wayland, en utilisant le framework wscons. L’auteur montre comment accéder et manipuler le framebuffer pour dessiner des graphiques directement sur le terminal et gérer les entrées clavier. Cela permet de contourner les systèmes graphiques traditionnels pour une interaction directe avec le matériel, idéal pour les environnements à ressources limitées comme les systèmes embarqués, offrant des temps de démarrage plus rapides et une consommation de ressources réduite.

(blogsystem5.substack.com)

Développement

Dr.TVAM : Un framework de rendu inverse pour la fabrication additive volumétrique tomographique

2025-01-17

Dr.TVAM est un framework de rendu inverse pour la fabrication additive volumétrique tomographique (TVAM) basé sur le moteur de rendu Mitsuba. Il utilise le rendu différentiable basé sur la physique pour optimiser les motifs pour la TVAM, en prenant en charge les supports d'impression de diffusion, les formes de fioles arbitraires et les mouvements du projecteur. Un schéma de discrétisation amélioré pour la forme cible est également inclus. Un outil en ligne de commande et une documentation complète sont fournis pour faciliter la personnalisation et l'optimisation.

(github.com)

Développement rendu inverse fabrication additive volumétrique moteur de rendu Mitsuba

De C à FlipJump : Une machine virtuelle RISC-V minimaliste

2025-01-17

Le projet c2fj est un compilateur qui traduit du code C en FlipJump, une machine virtuelle avec un jeu d'instructions minimaliste. Il compile d'abord le code C en un fichier ELF RISC-V, puis traduit les instructions RISC-V en instructions FlipJump, et enfin exécute le programme FlipJump résultant. Ce processus exploite intelligemment l'optimisation de l'espace de FlipJump, permettant une compilation efficace même de grandes bases de code C. c2fj prend en charge plusieurs drapeaux de compilation et fournit une prise en charge de Makefile pour les projets complexes. Il inclut également une bibliothèque C minimale implémentant les appels système nécessaires, tels que `exit`, `getc`, `putc` et `sbrk`.

(github.com)

Développement

Encodage UTF-8 sans branchements : une astuce ingénieuse

2025-01-17

Cet article explore l’encodage UTF-8 sans branchements. L’auteur commence par un problème : calculer efficacement le nombre d’octets nécessaires pour l’encodage UTF-8. Une solution initiale utilisant des instructions if-else est présentée, mais l’auteur utilise intelligemment la manipulation des bits et des tables de recherche, en tirant parti des fonctionnalités du langage Rust, pour réaliser l’encodage UTF-8 sans branchements et éliminer les vérifications des limites de tableau en temps d’exécution. Bien que les performances ne soient pas analysées en profondeur, cet article présente une solution créative dans la recherche d’un code élégant, offrant une nouvelle perspective sur l’encodage UTF-8 efficace.

(cceckman.com)

Développement encodage UTF-8 manipulation de bits

Skyvern Browser Agent 2.0 : Atteindre l’état de l’art en matière d’évaluations

2025-01-17

L’équipe Skyvern a lancé Skyvern 2.0, un générateur d’agent de navigateur open source sans code. Grâce à l’implémentation d’une boucle d’agent planificateur-acteur-validateur, Skyvern 2.0 a obtenu un score de pointe de 85,85 % au benchmark WebVoyager. Cette architecture décompose les instructions complexes en tâches plus petites et gérables, et une phase de validation garantit la réussite de l’exécution. Skyvern 2.0 est capable de gérer des instructions complexes telles que : « Accéder à Amazon et ajouter un iPhone 16, une coque et un protecteur d’écran au panier ». L’équipe a également publié publiquement les résultats complets de l’évaluation, démontrant ainsi son engagement envers l’open source.

(blog.skyvern.com)

Développement automatisation du navigateur

hyveOS : Orchestration d'essaims décentralisée pour drones et robots

2025-01-17

hyveOS est un système décentralisé pour coordonner des essaims de robots et de drones, éliminant le besoin de connexion internet ou de serveurs centraux. Les développeurs peuvent installer hyved sur divers appareils (comme des Raspberry Pi) et utiliser divers SDK (y compris Python, Rust, JavaScript, etc.) pour développer des applications. Sa force principale réside dans son architecture décentralisée, permettant un contrôle d'essaim flexible et fiable, adaptable à des scénarios complexes. Des applications exemples sont fournies pour faciliter l'intégration.

(docs.p2p.industries)

Développement

Category: Développement