Webtagr - Résumé de news de technologie

Tags populaires：

Virtualisation sécurité DNS vérification formelle analyse d'atteignabilité erreurs du compilateur conflit de macro extension web framework de développement Graphiques bitmap incohérences d'API Tous les tags

BlackSheep : Un framework web ASGI rapide et léger pour Python

2024-12-18

BlackSheep est un framework web ASGI asynchrone et rapide pour Python, inspiré par Flask, ASP.NET Core et le travail de Yury Selivanov. Il offre une CLI pour le démarrage rapide de projets, prend en charge la liaison automatique, l'injection de dépendances, la génération de documentation OpenAPI et diverses stratégies d'authentification et d'autorisation. BlackSheep est compatible avec de nombreuses plates-formes et runtimes, et comprend des fonctionnalités telles que les middleware, WebSocket, SSE, le service de fichiers statiques et l'intégration avec Jinja2, ce qui le rend idéal pour construire des applications web hautes performances.

(github.com)

Développement Asynchrone

GitHub Copilot : Votre assistant de programmation IA

2024-12-18

GitHub Copilot est un assistant de programmation IA qui fournit des suggestions de code en temps réel basées sur votre code et des invites en langage naturel. Il prend en charge plusieurs langages de programmation et IDE, offrant des plans gratuits et payants pour répondre à différents besoins. Copilot possède de puissantes fonctionnalités de débogage et de correction de vulnérabilités de sécurité, ainsi que l'édition multi-fichiers et la prise en charge multiplateforme. Bien qu'il soit formé sur des référentiels de code publics, il ne copie pas et ne colle pas le code, mais génère des suggestions de manière probabiliste, offrant un filtre de référence de code facultatif pour atténuer les préoccupations relatives aux droits d'auteur.

(github.com)

Développement programmation IA assistant de code

Brisk : Un framework GUI C++20 multiplateforme pour le rendu haute performance

2024-12-18

Brisk est un framework GUI C++20 moderne et multiplateforme conçu pour créer des applications réactives et performantes avec facilité. Utilisant une architecture MVVM et des capacités réactives, Brisk offre un rendu scalable accéléré par GPU, idéal pour les projets graphiques intensifs. Il prend en charge plusieurs backends (D3D11, D3D12, Vulkan, OpenGL, Metal, WebGPU) et propose une interface graphique déclarative, des feuilles de style et une prise en charge complète de l'Unicode. Actuellement en développement actif, les contributions sont les bienvenues.

(github.com)

Développement

Projet GitHub ted : Un éditeur de fichiers basé sur une machine de Turing

2024-12-18

ted est un outil en ligne de commande écrit en Go qui permet aux utilisateurs de modifier des fichiers selon les règles d'une machine de Turing fournie. Inspiré par le besoin de l'auteur de traiter des fichiers journaux, ted utilise des automates d'état pour extraire précisément les informations souhaitées. Il prend en charge diverses opérations, notamment la correspondance d'expressions régulières, l'exécution de commandes sed, l'affectation de variables, la capture et le contrôle de sortie, et offre des fonctionnalités telles que la capture de plusieurs lignes, les groupes de capture regex et le déplacement de tête/queue de fichier.

(github.com)

Développement Machine de Turing Édition de fichiers Automate d'état

ImPlot3D : Une bibliothèque de tracé 3D en mode immédiat hautes performances basée sur Dear ImGui

2024-12-18

ImPlot3D est une bibliothèque open source construite sur Dear ImGui, offrant aux développeurs un moyen simple et performant de créer des tracés 3D. Indépendante d'ImPlot, ImPlot3D prend en charge divers types de tracés 3D, notamment les tracés de lignes, les nuages de points, les surfaces et les maillages, avec rotation, panoramique et zoom interactifs. Son API intuitive, similaire à Dear ImGui et ImPlot, permet une intégration rapide et la personnalisation des marqueurs, lignes, surfaces et styles de maillage, avec des options pour les palettes de couleurs intégrées ou personnalisées. Une application de démonstration complète aide les utilisateurs à apprendre et à utiliser ses fonctionnalités.

(github.com)

Développement tracé 3D

Ergo : Un serveur IRC moderne écrit en Go

2024-12-18

Ergo est un serveur IRC moderne écrit en Go, conçu pour être facile à configurer et à utiliser. Il combine les fonctionnalités d'un ircd, d'un framework de services et d'un bouncer (gestion de comptes intégrée, stockage de l'historique et fonctionnalité de bouncer). Il prend en charge la dernière version d'IRCv3 et est hautement personnalisable via une configuration YAML rehashable. Les fonctionnalités clés incluent des services intégrés (NickServ, ChanServ, HostServ), une prise en charge native de TLS/SSL, l'authentification SASL, la prise en charge de LDAP et des fonctionnalités de sécurité et de confidentialité avancées.

(github.com)

Développement serveur IRC

Lancement de l'égaliseur 5 bandes open source a5eq.lv2

2024-12-18

ashafq a publié a5eq.lv2, un plugin égaliseur 5 bandes LV2 open source. Ce plugin comprend une étagère basse, trois filtres de crête et une étagère haute, conçus pour une sculpture audio précise par les ingénieurs du son amateurs et professionnels. Il dispose de coefficients de filtre haute précision, d'un traitement stéréo et d'une interface conviviale. Compatible avec tout logiciel hôte prenant en charge LV2, comme Ardour et Audacity, il est facile à installer et à utiliser via la ligne de commande. Les utilisateurs peuvent soumettre des problèmes ou contribuer au code via GitHub.

(github.com)

Développement traitement audio égaliseur

Éditeur de texte adaptable 'ad' : Fusion de Vim et Acme

2024-12-18

ad est un nouvel éditeur de texte qui combine l'interface d'édition modale de Vim et Kakoune avec l'approche d'extensibilité d'Acme de Plan9. ad permet aux utilisateurs d'exécuter du texte et sert de terrain de jeu pour expérimenter l'implémentation de diverses fonctionnalités d'éditeurs de texte. Actuellement, ad est suffisamment stable et complet pour être testé, bien que la documentation soit rare et que des bogues puissent exister. La philosophie de conception d'ad combine l'édition modale de Vim, le mini-buffer d'Emacs et les commandes d'édition et l'extensibilité d'Acme, dans le but de créer un environnement d'édition confortable qui prend en charge l'interaction directe avec des outils et des programmes externes.

(github.com)

Développement éditeur de texte édition modale extensibilité

dLine : Un outil de calendrier en terminal pour une gestion efficace de l'agenda

2024-12-18

dLine est un outil en ligne de commande qui présente des données importantes sous forme de calendrier directement dans votre terminal. Il surveille les dates critiques, simplifie l'ajout d'événements via des API et calcule les durées pour différents types d'événements. Conçu pour les développeurs, dLine rationalise la gestion des événements et la navigation dans l'agenda sans quitter le terminal. Il offre des vues dynamique et statique, une calculatrice d'événements et de solides capacités de gestion des données, notamment l'ajout, la suppression, l'affichage et le nettoyage des événements. dLine prend également en charge les schémas de couleurs personnalisés, les traductions des utilisateurs et l'intégration avec Google Calendar.

(github.com)

Développement outil en ligne de commande calendrier gestion d'agenda

SeleniumBase : Un framework d'automatisation web puissant

2024-12-17

SeleniumBase est un framework Python robuste pour l'automatisation web, les tests et le contournement de la détection des bots. Basé sur Selenium WebDriver et intégrant des outils de test comme pytest, il offre une syntaxe claire et des fonctionnalités étendues telles que des attentes automatiques pour les éléments de page, la génération de rapports de test, un tableau de bord et la prise en charge de plusieurs navigateurs et systèmes d'exploitation. SeleniumBase inclut également des modes tels que le mode UC et le mode CDP pour une confidentialité et une fiabilité accrues, ainsi que des exemples et une documentation complets pour une adoption rapide.

(github.com)

Développement automatisation web tests

FastVideo : Framework open source accélérant les grands modèles de diffusion vidéo

2024-12-17

FastVideo est un framework open source conçu pour accélérer l'inférence et l'entraînement de grands modèles de diffusion vidéo. Il prend en charge des modèles tels que FastMochi et FastHunyuan, atteignant jusqu'à 8 fois la vitesse d'inférence. Le framework utilise des techniques de distillation des connaissances et prend en charge la distillation, le réglage fin et l'inférence pour les modèles vidéo DiT basés sur PCM. De plus, FastVideo offre des capacités d'entraînement évolutives avec FSDP, le parallélisme de séquence et les points de contrôle d'activation sélective, permettant un réglage fin efficace en termes de mémoire.

(github.com)

IA modèles de diffusion vidéo accélération des modèles

Surfer Protocol : Framework open source pour contrôler vos données personnelles

2024-12-17

Surfer Protocol est un framework open source qui permet aux utilisateurs d'exporter et de construire des applications basées sur leurs données personnelles. Il répond au problème des données cloisonnées sur de nombreuses plateformes. Il comprend une application de bureau pour exporter les données de diverses applications et services, et un SDK Python pour construire des applications utilisant ces données. Les utilisateurs peuvent utiliser Surfer Protocol pour créer des modèles d'IA personnalisés, reprendre le contrôle de leurs données auprès des grandes entreprises technologiques ou laisser un héritage numérique.

(github.com)

Développement données personnelles framework open source exportation de données

PipeGate : Proxy léger et auto-hébergé, votre « ngrok » économique

2024-12-17

PipeGate est un proxy léger et auto-hébergé, construit avec FastAPI, conçu comme un « ngrok » économique. Il vous permet d'exposer vos serveurs locaux à Internet, offrant un moyen simple de créer des tunnels depuis votre machine locale vers le monde extérieur. C'est un excellent outil pour les développeurs qui souhaitent comprendre le fonctionnement interne des services de tunneling comme ngrok ou qui ont besoin d'une alternative personnalisable hébergée sur leur propre infrastructure. Ses principales caractéristiques incluent l'auto-hébergement, des connexions uniques, la personnalisation, une conception légère et la facilité d'apprentissage. L'installation est simple, via git clone ou pip.

(github.com)

Développement proxy auto-hébergé alternative à ngrok serveur local

Bruin : Construisez des pipelines de données avec SQL et Python

2024-12-17

Bruin est un outil puissant de pipeline de données qui combine l'ingestion de données, la transformation de données avec SQL et Python, et les contrôles de qualité des données en un seul framework. Il fonctionne avec les principales plates-formes de données et s'exécute sur votre machine locale, une instance EC2 ou GitHub Actions. Les fonctionnalités clés incluent l'ingestion de données, les transformations SQL et Python, les contrôles de qualité des données, les modèles Jinja, la validation de bout en bout et la prise en charge de plusieurs environnements. Les pipelines sont facilement définis à l'aide d'un simple fichier pipeline.yml.

(github.com)

Développement pipeline de données

Langfuse : Plateforme d'ingénierie LLM open source pour simplifier le développement

2024-12-17

Langfuse est une plateforme d'ingénierie LLM open source conçue pour simplifier le développement et le déploiement d'applications de grands modèles de langage (LLM). Elle offre des fonctionnalités telles que l'observabilité LLM, les métriques, les évaluations, la gestion des invites, un espace de jeu et des ensembles de données, s'intégrant parfaitement à des outils tels que LlamaIndex, Langchain, OpenAI SDK et LiteLLM. Les développeurs peuvent utiliser Langfuse pour surveiller les performances des LLM, gérer les invites, évaluer l'efficacité du modèle et, finalement, accélérer le développement d'applications LLM.

(github.com)

Développement Plateforme de développement

Microsoft publie Multilspy : simplification du développement de clients de serveurs de langage

2024-12-17

Microsoft a publié Multilspy, une bibliothèque Python conçue pour simplifier la création d'applications autour des serveurs de langage. Prenant en charge Java, Rust, C# et Python, Multilspy automatise le téléchargement des binaires du serveur, la configuration/la désinstallation et fournit une API simple. Il interagit avec les serveurs de langage pour obtenir les résultats d'analyses statiques, tels que la complétion de code, les définitions de symboles et les références, essentiels aux techniques de génération de code assistée par IA comme le Monitor-Guided Decoding.

(github.com)

Développement serveur de langage bibliothèque Python génération de code assistée par IA

Composant d'intégration Xiaomi Home Assistant officiellement lancé

2024-12-16

Xiaomi a officiellement lancé le composant d'intégration Xiaomi Home Assistant, permettant aux utilisateurs d'intégrer leurs appareils intelligents Xiaomi IoT à Home Assistant. Le composant prend en charge plusieurs méthodes d'installation, notamment le clonage Git, HACS et l'installation manuelle. Les utilisateurs doivent se connecter avec leur compte Xiaomi ; plusieurs comptes et la sélection de région sont pris en charge. Le composant prend en charge la plupart des appareils domestiques intelligents Xiaomi, mais exclut actuellement les appareils Bluetooth, infrarouge et virtuels. Les méthodes de contrôle incluent le contrôle via le cloud et le contrôle local (nécessitant une passerelle centrale Xiaomi ou des appareils avec passerelle intégrée). Il mappe MIoT-Spec-V2 aux entités Home Assistant. Le composant prend également en charge plusieurs langues et un mode de débogage, en priorisant la confidentialité et la sécurité de l'utilisateur, mais nécessite un stockage prudent des fichiers de configuration.

(github.com)

Développement Xiaomi Maison Intelligente Intégration IoT

Outil open source me_cleaner : optimisation du firmware Intel ME pour une meilleure confidentialité

2024-12-16

me_cleaner est un script Python open source conçu pour réduire partiellement le firmware du module de gestion Intel (ME), diminuant ainsi sa capacité d'interaction avec le système et améliorant la confidentialité et la sécurité de l'utilisateur. Le firmware Intel ME, intégré à toutes les cartes mères Intel depuis 2006, a accès à la mémoire système et au réseau, ce qui rend difficile sa désactivation ou son remplacement. me_cleaner modifie le firmware ME pour qu'il soit inactif pendant le fonctionnement normal, ne s'activant que lors du démarrage, atténuant ainsi les risques de sécurité potentiels. L'outil est compatible avec diverses plateformes Intel, mais l'obtention et le flashage du firmware modifié nécessitent un programmateur SPI externe. Les résultats varient selon la version du firmware ME, mais réduisent généralement de manière significative la taille du firmware, pouvant entraîner de légers inconvénients tels que des temps de démarrage plus longs ou des messages d'avertissement.

(github.com)

Technologie Réduction du firmware Confidentialité et sécurité

Visualisation par IA : Réseaux routiers urbains similaires

2024-12-15

Le site web similar-cities utilise l'IA pour visualiser les relations entre les villes en comparant les similitudes de leurs réseaux routiers. Il utilise un algorithme unique de « marche de l'ivrogne », calculant la similarité des chemins aléatoires au sein des réseaux routiers pour évaluer la similarité structurelle. Les données proviennent d'OpenStreetMap, couvrant environ 2500 villes. Le projet est open source, fournissant des explications détaillées de l'algorithme et du code, et accepte plus de données de villes pour améliorer la précision.

(github.com)

IA Visualisation Réseaux routiers

Carte des projets GitHub : Visualisation de plus de 400 000 projets

2024-12-15

Le développeur Anvaka a créé une carte interactive visualisant plus de 400 000 projets GitHub à l'aide de données publiques. Le projet utilise la similarité de Jaccard pour calculer les relations entre les projets et l'algorithme de Leiden pour le clustering. Le résultat est une représentation visuellement impressionnante de l'écosystème GitHub, permettant aux utilisateurs de rechercher et d'explorer les connexions entre les projets, révélant ainsi leur complexité et leur richesse.

(github.com)

Développement relations entre projets

Vercel lance ƒun : un environnement d'exécution local pour les fonctions Serverless

2024-12-15

Vercel a lancé ƒun, un environnement d'exécution local pour le développement de fonctions serverless, permettant aux développeurs d'émuler l'environnement AWS Lambda localement. ƒun prend en charge plusieurs environnements d'exécution, notamment Node.js et Python, permettant des tests et un débogage rapides des fonctions serverless sans déploiement dans le cloud. Bien que ƒun s'efforce de se rapprocher de l'environnement Lambda réel, il existe quelques différences clés, notamment en matière de sandbox de processus et de permissions utilisateur.

(github.com)

Développement Calcul des Fonctions Développement Local

Programme WASM contourne le sandbox du système de fichiers node:wasi

2024-12-15

Ce projet présente une preuve de concept montrant comment un programme WASM peut contourner la restriction du répertoire preopens dans node:wasi pour accéder à des fichiers en dehors du sandbox. Normalement, les programmes WASM sont limités à l'accès aux répertoires préouverts. Cependant, en utilisant des liens symboliques pour remplacer des fichiers à un moment précis et en exécutant un processus externe, cette limitation peut être contournée. Ce n'est pas une vulnérabilité de sécurité pratique dans node:wasi, mais plutôt un cas limite potentiel. Le projet souligne qu'il ne faut pas compter sur node:wasi pour empêcher complètement un code malveillant d'accéder à des fichiers externes.

(github.com)

Développement

SVC16 : L'ordinateur virtuel le plus simple défie les programmeurs

2024-12-15

SVC16 est un ordinateur virtuel minimaliste 16 bits conçu pour une simplicité maximale. Il ne possède pas de registres CPU, effectuant toutes les opérations dans un seul bloc de mémoire. L'ensemble d'instructions est extrêmement simplifié, sans fonctionnalités sophistiquées comme le son ou la taille d'écran variable. Les programmeurs sont mis au défi d'écrire eux-mêmes du code machine et des compilateurs, créant des prouesses incroyables avec les outils les plus simples. Le projet fournit un émulateur pour exécuter des programmes créés par l'utilisateur et même des jeux. C'est un projet parfait pour apprendre les principes de bas niveau de l'informatique et améliorer ses compétences en programmation.

(github.com)

Développement ordinateur virtuel défi de programmation

llama.cpp intègre le modèle multi-modal Qwen2VL

2024-12-15

Le projet llama.cpp sur GitHub a récemment fusionné une pull request ajoutant la prise en charge du modèle de langage large multi-modal Qwen2VL. Ce modèle combine un grand modèle de langage avec un encodeur de vision, permettant le traitement d'images et de texte. L'intégration implique de convertir la partie LLM du modèle et l'encodeur de vision au format GGUF et d'utiliser un nouvel outil en ligne de commande pour l'inférence. Les travaux futurs incluent l'ajout de la prise en charge de plus de backends tels que MPS et Vulkan.

(github.com)

IA

Buzee : Application de recherche de texte intégral open source lancée

2024-12-14

Buzee est une application de recherche de texte intégral multiplateforme construite avec Rust et Svelte. Elle permet une recherche rapide des fichiers locaux, des dossiers, de l'historique du navigateur et plus encore, en extrayant même du texte des PDF et des images à l'aide de l'OCR. Développé sur deux ans, ce projet présente une architecture robuste utilisant Tauri pour les performances, SQLite et Tantivy pour l'indexation et un front-end Svelte propre. Bien que riche en fonctionnalités, il reste encore des domaines à développer à l'avenir, et l'auteur le lance en open source pour que d'autres puissent contribuer.

(github.com)

Développement recherche de texte intégral

Svader : une bibliothèque Svelte pour les composants rendus par GPU

2024-12-14

Svader est une bibliothèque permettant de créer des composants Svelte rendus par GPU à l'aide de shaders de fragments WebGL et WebGPU. Les développeurs peuvent écrire des programmes dans les shaders de fragments pour personnaliser les couleurs des pixels et contrôler les effets de rendu via le passage de paramètres. Prenant en charge Svelte 4 et 5, elle offre des modes de rendu WebGL et WebGPU avec des paramètres intégrés tels que la résolution, l'échelle et le temps. Svader simplifie le rendu GPU grâce à des composants faciles à utiliser et fournit un rendu de secours dans les environnements ne prenant pas en charge WebGL ou WebGPU.

(github.com)

Développement

Notes de publication HTMX v2.0.4 : corrections de bogues et améliorations

2024-12-14

Les notes de publication d’HTMX v2.0.4 détaillent de nombreux correctifs de bogues et améliorations. Cette version met l’accent sur l’amélioration de la stabilité et de la compatibilité, notamment des correctifs pour les problèmes de Shadow DOM imbriqués, un comportement amélioré de `hx-boost` dans les formulaires, une meilleure prise en charge des composants Web et de Shadow DOM, et des extensions mises à jour pour des performances et une fiabilité améliorées. Des ajustements à la fonction `htmx.ajax` et des optimisations du traitement des événements `hx-trigger` sont également inclus.

(github.com)

Développement Publication Correctifs de bogues

Farebox : Un projet d'itinéraire multimodal en Rust

2024-12-14

Farebox est une implémentation rapide de RAPTOR en Rust conçue pour les machines à mémoire limitée. Il utilise Valhalla pour les transferts et le routage de la première/dernière étape, prenant en charge le routage multi-agences et les fuseaux horaires. L'objectif du projet est de compléter OpenTripPlanner, en fournissant un service de remplissage pour les zones non couvertes par les instances existantes. Le mappage mémoire est utilisé pour les horaires afin de permettre une couverture à l'échelle planétaire avec une seule instance et de réduire les coûts d'hébergement. Les projets futurs incluent la prise en charge de GTFS-RT et éventuellement rRAPTOR pour le calcul simultané d'itinéraires à différents horaires de départ.

(github.com)

Développement Routage

Langage de Programmation Luon : Un Lua Typé Statique

2024-12-14

Luon est un nouveau langage de programmation statiquement typé, avec une syntaxe similaire aux langages basés sur Oberon et intégrant des concepts de Lua, ciblant la machine virtuelle LuaJIT. En substance, une version typée statiquement de Lua, il permet la réutilisation des bibliothèques Lua et C existantes via des déclarations de procédures externes. Luon remédie aux lacunes de Lua en matière de gestion des erreurs et de structure de code, offrant un compilateur et un IDE intégré prenant en charge la programmation procédurale, générique et orientée objet. Le projet inclut de nombreux exemples et cas de test et est en développement actif.

(github.com)

Développement typage statique

Microsoft open-source MarkItDown : un outil de conversion de fichiers en Markdown

2024-12-13

Microsoft a open-sourcé MarkItDown, un outil Python qui convertit divers fichiers (PDF, PowerPoint, Word, Excel, images, audio et HTML) au format Markdown. L'API est simple, il supporte une large gamme de formats de fichiers et intègre la reconnaissance optique de caractères (OCR) et la transcription vocale, ce qui le rend idéal pour l'analyse de texte ou l'indexation. Les contributions sont les bienvenues, et le projet respecte le Code de conduite open source de Microsoft.

(github.com)

Développement conversion Markdown conversion de fichiers outil Python

← Previous 1 2 3 Next →