Surpassant std::deque : présentation du tableau Shift-To-Middle

2025-03-23
Surpassant std::deque : présentation du tableau Shift-To-Middle

Le tableau Shift-To-Middle est un tableau dynamique conçu pour surpasser std::deque, std::vector et les listes chaînées en termes d'insertion et de suppression aux deux extrémités. Il y parvient en utilisant une mémoire contiguë, en améliorant la localité du cache et en prenant en charge les optimisations SIMD et parallèles. Les benchmarks montrent des gains de performance significatifs, notamment sur les CPU multicœurs et le matériel disposant d'ensembles d'instructions SIMD. Le projet est open source, avec une documentation complète de l'API et des rapports de benchmarks disponibles. Les contributions sont les bienvenues !

Lire plus
Développement tableau dynamique

Vérification formelle des modèles d'apprentissage automatique dans Lean 4

2025-03-23
Vérification formelle des modèles d'apprentissage automatique dans Lean 4

Le projet `formal_verif_ml` fournit un framework Lean 4 pour la vérification formelle des propriétés (robustesse, équité, interprétabilité) des modèles d'apprentissage automatique. Il inclut une bibliothèque Lean, un traducteur de modèles, une interface web et un pipeline CI/CD, prenant en charge différents types de modèles. Un portail web interactif permet aux utilisateurs de télécharger des modèles, de visualiser le code Lean généré, de déclencher la compilation des preuves et de visualiser l'architecture du modèle.

Lire plus
IA

ttyd : Partagez votre terminal via le web

2025-03-23
ttyd : Partagez votre terminal via le web

ttyd est un outil simple en ligne de commande permettant de partager votre terminal via le web. Il offre de nombreuses options, telles que la spécification du port, la liaison de l'interface réseau, l'authentification, la configuration des permissions utilisateur, les répertoires de travail personnalisés, etc., permettant une configuration flexible. Des fonctionnalités avancées telles que le chiffrement SSL, la prise en charge d'IPv6 et le passage d'arguments client garantissent un accès terminal à distance sécurisé et fiable.

Lire plus
Développement partage de terminal

Programme Go : Conversion d’un rapport d’audit de sécurité JSON en Markdown

2025-03-23
Programme Go : Conversion d’un rapport d’audit de sécurité JSON en Markdown

Un programme Go simple qui convertit `security-audit.json` en `security-audit.md` pour une utilisation dans les pipelines CI. Un exemple de rapport est fourni, ainsi que des exemples d’intégration CI (`dependency-audit.yml` et `dependency-audit-only-when-detected.yml`), ce dernier ne créant un problème GitHub que si des vulnérabilités sont détectées. Le programme permet de personnaliser les chemins des fichiers d’entrée et de sortie et offre la possibilité d’échouer si aucune vulnérabilité n’est trouvée.

Lire plus
Développement Audit de sécurité

argp : Un analyseur d'arguments de ligne de commande puissant basé sur la norme GNU en Go

2025-03-23
argp : Un analyseur d'arguments de ligne de commande puissant basé sur la norme GNU en Go

argp est une bibliothèque Go qui fournit un analyseur d'arguments de ligne de commande robuste, conforme aux normes GNU. Il possède des fonctionnalités telles que l'aide intégrée, l'analyse des champs de structure, la prise en charge des types composites (tableaux, tranches, structures) et les sous-commandes imbriquées. argp suit les règles des arguments GNU, gérant les options courtes et longues, les valeurs d'options, les valeurs multiples et les combinações d'options. Il offre également le chargement de configuration, le comptage, l'ajout et la prise en charge des sources de données personnalisées, telles que les bases de données MySQL. Les développeurs peuvent utiliser argp pour créer des outils de ligne de commande puissants et efficaces.

Lire plus

Landrun : Un bac à sable Linux léger et sécurisé au niveau du noyau

2025-03-22
Landrun : Un bac à sable Linux léger et sécurisé au niveau du noyau

Landrun est un bac à sable Linux léger utilisant Landlock LSM, offrant une sécurité au niveau du noyau et une surcharge minimale. Il fournit un contrôle d'accès granulaire aux répertoires, prenant en charge les chemins en lecture et en écriture avec des permissions d'exécution optionnelles. Un contrôle d'accès réseau TCP (liaison et connexion) est également inclus. Nécessite le noyau Linux 5.13 ou supérieur avec Landlock LSM activé (noyau 6.8 ou supérieur pour les restrictions réseau). Landrun fournit une interface en ligne de commande pour configurer facilement les permissions du bac à sable, y compris la lecture seule, la lecture/écriture, l'exécution, et des ports TCP spécifiques pour la liaison et la connexion. Un mode « meilleur effort » assure une dégradation élégante sur les noyaux plus anciens. Idéal pour exécuter en toute sécurité du code non fiable ou potentiellement malveillant.

Lire plus
Développement sécurité noyau

Décryptage de R1-Zero : Alignement efficace des LLMs avec le framework Oat

2025-03-22
Décryptage de R1-Zero : Alignement efficace des LLMs avec le framework Oat

Des chercheurs ont publié un article, des modèles et une base de code révélant les mystères de l'entraînement de type R1-Zero. Ils ont développé Oat, un framework d'apprentissage par renforcement LLM hautement modulaire et efficace, et l'ont utilisé pour entraîner des modèles de type R1-Zero tels que Qwen2.5. L'étude a révélé que des modèles de base appropriés et un algorithme d'apprentissage par renforcement amélioré (Dr. GRPO) sont cruciaux, évitant l'optimisation biaisée des modèles et des ensembles de questions incompatibles. Ils ont finalement obtenu des performances de pointe avec seulement 27 heures de calcul sur 8 GPU A100.

Lire plus
IA

FastOpenAPI : Un générateur OpenAPI basé sur Pydantic

2025-03-22
FastOpenAPI : Un générateur OpenAPI basé sur Pydantic

FastOpenAPI est une bibliothèque permettant de générer et d'intégrer des schémas OpenAPI à l'aide de Pydantic et de divers frameworks, visant une expérience utilisateur similaire à FastAPI. Elle prend en charge Falcon, Flask, Quart, Sanic, Starlette et Tornado, offrant un routage de style FastAPI via un routage proxy. Une simple installation pip permet une prise en main rapide, avec Swagger UI et ReDoc UI pour un accès pratique à la documentation. Le projet inclut des exemples complets et des benchmarks pour faciliter l'adoption et l'évaluation des performances.

Lire plus

Problèmes de confidentialité : un navigateur axé sur la confidentialité accusé de problèmes de télémétrie

2025-03-22
Problèmes de confidentialité : un navigateur axé sur la confidentialité accusé de problèmes de télémétrie

Un utilisateur a signalé plusieurs problèmes de confidentialité et de télémétrie avec un navigateur version 1.8.2b sur macOS aarch64. Le navigateur est commercialisé comme étant axé sur la confidentialité, mais l'utilisateur affirme que la télémétrie semble activée et que la documentation manque de détails sur l'empreinte digitale et d'autres pratiques liées à la confidentialité. L'utilisateur exige la transparence, demandant soit une explication détaillée des méthodes de collecte de données, soit l'arrêt du marketing axé sur la confidentialité si les allégations sont infondées.

Lire plus
Divers télémétrie

Restrictions d'application des suggestions de code sur GitHub

2025-03-22
Restrictions d'application des suggestions de code sur GitHub

Ce texte énumère les différentes limitations rencontrées lors de l'application des suggestions de code dans le processus de révision de code de GitHub. Cela inclut : aucun changement de code effectué, demande d'extraction fermée ou fusionnée, affichage d'un sous-ensemble de modifications, une seule suggestion par ligne applicable, l'application de suggestions sur des lignes supprimées n'est pas prise en charge, la suggestion a déjà été appliquée ou marquée comme résolue, les suggestions provenant de révisions en attente ne peuvent pas être appliquées, et les suggestions sur les commentaires multilignes ne sont pas autorisées. Ces restrictions garantissent l'intégrité et la précision du processus de révision de code.

Lire plus
Développement Suggestions de code

Plugin d'exportation de région Krita : exportez facilement des régions du canevas

2025-03-22
Plugin d'exportation de région Krita : exportez facilement des régions du canevas

Ce plugin Krita vous permet d'exporter n'importe quelle région de votre canevas, avec redimensionnement facultatif. Installation : Placez le dossier `region_exporter` dans le sous-dossier `pykrita` du dossier de ressources de Krita. Placez `region_exporter.desktop` à la racine du dossier de ressources de Krita et `region_exporter.action` dans le sous-dossier `actions`. Utilisation : Utilisez le raccourci Ctrl + Shift + E ou le menu Outils. Entrez les coordonnées, la taille, la rotation et les options de sélection de calque pour exporter votre image.

Lire plus

Serveur Hyperbrowser MCP : Scraping Web et Extraction de Données Simplifiés

2025-03-21
Serveur Hyperbrowser MCP : Scraping Web et Extraction de Données Simplifiés

Hyperbrowser présente son serveur de Protocole de Contexte de Modèle (MCP), un outil puissant pour scraper des pages web, extraire des données structurées et crawler des sites web. Il simplifie également l'accès aux agents de navigateur polyvalents tels que le CUA d'OpenAI, l'utilisation de l'ordinateur Claude d'Anthropic et l'utilisation du navigateur. Le serveur offre des fonctionnalités telles que le scraping web, le crawling web, l'extraction de données structurées, la recherche Bing et diverses capacités d'automatisation du navigateur. L'installation est simple : il suffit d'exécuter `npx hyperbrowser-mcp ` et de configurer les fichiers de configuration appropriés.

Lire plus
Développement extraction de données

Screen : Un émulateur de terminal en PHP pur pour des interfaces utilisateur texte riches

2025-03-21
Screen : Un émulateur de terminal en PHP pur pour des interfaces utilisateur texte riches

Screen est une bibliothèque d'émulateur de terminal écrite entièrement en PHP, permettant la création d'interfaces utilisateur basées sur du texte enrichi dans n'importe quelle application PHP. Initialement développée pour résoudre les conflits de codes d'échappement ANSI dans le TUI multi-processus de Solo pour Laravel, Screen crée un tampon de terminal virtuel pour gérer en toute sécurité les opérations ANSI (déplacement du curseur, changements de couleur, effacement de l'écran). Cela assure un rendu cohérent et prend en charge Unicode, les caractères multi-octets, le défilement et une large gamme de codes d'échappement ANSI. Une suite de tests complète, dotée d'un système de comparaison visuelle innovant, garantit une émulation précise.

Lire plus

Client RDP basé sur Rust : IronRDP, sécurisé et efficace

2025-03-21
Client RDP basé sur Rust : IronRDP, sécurisé et efficace

IronRDP est un ensemble de crates Rust fournissant une implémentation sécurisée du protocole RDP (Remote Desktop Protocol) de Microsoft. Il prend en charge divers codecs, notamment les bitmaps bruts non compressés, le RLE, la compression de bitmap RDP 6.0 et Microsoft RemoteFX. Un client RDP asynchrone complet est inclus, ainsi qu'un exemple bloquant pour faciliter l'intégration. Le projet détaille également comment activer RemoteFX sur le serveur pour des performances graphiques améliorées.

Lire plus
Développement

Manifest : Un micro-backend en un seul fichier pour un développement simplifié

2025-03-21
Manifest : Un micro-backend en un seul fichier pour un développement simplifié

Manifest est un framework de micro-backend léger et mono-fichier conçu pour simplifier le développement de 80 % des sites web et applications ne nécessitant que des fonctionnalités de backend de base. Il fournit des fonctionnalités essentielles telles que l'authentification, la validation, le stockage, le redimensionnement d'images, un panneau d'administration, des points de terminaison dynamiques, une API REST, un SDK JS et des webhooks. Idéal pour le prototypage rapide, les microservices, les applications riches en CRUD et les CMS headless, Manifest est actuellement en version bêta et convient aux petits projets et MVP, mais il n'est pas recommandé pour les plateformes critiques.

Lire plus

PocketFlow : Un nouveau framework pour construire des systèmes d'IA prêts pour l'entreprise

2025-03-21
PocketFlow : Un nouveau framework pour construire des systèmes d'IA prêts pour l'entreprise

PocketFlow est un framework LLM basé sur TypeScript utilisant une structure de graphe orienté imbriqué. Cela décompose les tâches complexes d'IA en étapes LLM réutilisables, permettant la ramification et la récursivité pour une prise de décision de type agent. Le framework est facilement extensible, intégrant divers LLMs et APIs sans wrappers spécialisés, et dispose d'un débogage de workflow visuel et de la persistance d'état, accélérant la construction de systèmes d'IA de niveau entreprise.

Lire plus

Retro Boy : Un émulateur Game Boy précis en Rust, désormais sur le Web !

2025-03-20
Retro Boy : Un émulateur Game Boy précis en Rust, désormais sur le Web !

Retro Boy est un émulateur Game Boy précis, écrit en Rust et jouable sur votre navigateur web. Utilisant wasm-pack pour la compilation WebAssembly, il utilise Web Audio API et HTML Canvas pour l'audio et les graphismes. Prenant en charge les cartouches MBC1, MBC3, MBC5 et HuC1, il offre une émulation précise du CPU, de l'audio et des graphismes, incluant même la prise en charge des codes de triche GameShark/GameGenie. L'interface conviviale comprend un mode plein écran, pause/reprise, des modes de couleur sélectionnables et un mappage des touches personnalisable. Retro Boy réussit une part importante des tests ROM de Blargg, démontrant sa grande précision.

Lire plus

GizmoSQL : Un serveur de base de données Apache Arrow Flight SQL hautes performances

2025-03-20
GizmoSQL : Un serveur de base de données Apache Arrow Flight SQL hautes performances

GizmoSQL est une implémentation de serveur Apache Arrow Flight SQL utilisant DuckDB ou SQLite comme base de données back-end. Il permet l'authentification via un middleware et autorise les connexions cryptées via TLS. Ce projet propose des images Docker et des exécutables CLI pour un déploiement et une utilisation faciles. Les utilisateurs peuvent se connecter au serveur via des pilotes JDBC ou ADBC et interroger à l'aide de Python ou de l'outil CLI `gizmosql_client`. GizmoSQL prend en charge les commandes SQL d'initialisation personnalisées et offre des options de configuration flexibles, telles que la sélection de différentes bases de données back-end et l'activation/désactivation de TLS. Une image Docker allégée est également disponible.

Lire plus
Développement

Minimalytics : Outil d'analyse SQLite léger pour des milliards d'événements

2025-03-20
Minimalytics : Outil d'analyse SQLite léger pour des milliards d'événements

Minimalytics est un outil d'analyse minimaliste autonome basé sur SQLite, conçu pour les environnements à ressources limitées. Il offre une solution légère pour le suivi et la visualisation des données d'événements avec une empreinte minimale. Traitant plus d'un milliard d'événements par mois avec seulement ~20 Mo de stockage, il est parfait pour le suivi des services internes ou pour des analyses simples sans surcharge. Les fonctionnalités incluent une interface Web pour la gestion des tableaux de bord et des graphiques interactifs.

Lire plus

Minesweeper via MCP : Un agent côté serveur

2025-03-20
Minesweeper via MCP : Un agent côté serveur

Il s'agit d'un serveur de protocole de contexte de modèle (MCP) permettant aux agents clients MCP de jouer au jeu de démineur. Il est conçu pour fonctionner avec un serveur de jeu de démineur. Une démo vidéo accélérée est disponible à l'adresse https://youtu.be/CXXMafVtlEQ (16x vitesse). Suivez les instructions du serveur de jeu pour le démarrer localement. Installez les dépendances, construisez le serveur et configurez votre client MCP pour ajouter l'outil (par exemple, dans claude_desktop_config.json de Claude Desktop). Lancez une partie de démineur et essayez de marquer toutes les mines ; les coordonnées sont indexées à partir de 0. Le journal de conversation complet est long, avec des extraits montrant un placement incorrect des drapeaux et des abandons après plusieurs tentatives.

Lire plus

AgentKit : Construction de réseaux multi-agents avec routage déterministe et outils performants

2025-03-20
AgentKit : Construction de réseaux multi-agents avec routage déterministe et outils performants

AgentKit est un framework pour construire des réseaux multi-agents offrant un routage déterministe, la prise en charge de plusieurs fournisseurs de modèles et des outils performants via MCP. Combiné au serveur Inngest Dev et à son moteur d'orchestration, AgentKit rend vos agents tolérants aux pannes lorsqu'ils sont déployés sur le cloud. Les concepts clés incluent les Agents (appels LLM combinés à des invites, des outils et MCP), les Réseaux (une façon simple de faire collaborer les Agents avec un État partagé, y compris la passation), l'État (combine l'historique des conversations avec une machine à états entièrement typée, utilisée dans le routage), les Routeurs (autonomie du routage basé sur du code au routage basé sur LLM (ex: ReAct)) et le Traçage (débogage et optimisation de votre workflow localement et sur le cloud avec un traçage intégré). AgentKit prend en charge plusieurs stratégies de routage, notamment le routage déterministe basé sur du code et le routage autonome basé sur un agent, et offre un mécanisme d'état partagé pour faciliter la collaboration entre les agents.

Lire plus

Mise à jour de TruffleRuby : amélioration des performances et de la compatibilité

2025-03-20
Mise à jour de TruffleRuby : amélioration des performances et de la compatibilité

TruffleRuby, une implémentation performante du langage de programmation Ruby, a publié une nouvelle version avec des améliorations significatives des performances et de la compatibilité. Cette version corrige de nombreux bogues, notamment des problèmes dans des méthodes telles que Module#name, Module#const_added et ObjectSpace.undefine_finalizer, et améliore la compatibilité avec OpenSSL 3.0.x et 3.x. De plus, de nombreuses nouvelles méthodes et fonctionnalités ont été ajoutées, telles que IO#{pread, pwrite}, Range#reverse_each, et des optimisations ont été apportées à la négociation d'encodage et aux performances de plusieurs extensions C. Cette mise à jour améliore la stabilité et les performances de TruffleRuby, le rapprochant de l'implémentation Ruby standard, MRI.

Lire plus
Développement

Physix.go : Un moteur physique simple en Go

2025-03-20
Physix.go : Un moteur physique simple en Go

Physix.go est un moteur physique simple, rapide et facile à utiliser, écrit en Go. Il offre des calculs physiques efficaces, y compris des simulations basées sur les particules, des opérations vectorielles et une dynamique des ressorts. L'installation se fait via `go get github.com/rudransh61/Physix.go`, avec des exemples facilement accessibles. Le moteur prend en charge la détection de collisions rectangle-rectangle et cercle-cercle avec des effets de rebond basés sur la conservation de la quantité de mouvement et de l'énergie, et inclut également des capacités de simulation de ressorts.

Lire plus
Développement Moteur Physique

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

2025-03-20
Stelvio : Gestion simplifiée d'AWS pour les développeurs Python

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.

Lire plus
Développement Infrastructure Cloud

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

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

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.

Lire plus
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
Mise à jour du modèle Hunyuan3D de Tencent : plus petit, plus rapide et avec génération de textures

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.

Lire plus
Développement

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

2025-03-20
Adminer : Un outil de gestion de base de données puissant en un seul fichier

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.

Lire plus
Développement

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

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

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.

Lire plus
Développement

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

2025-03-19
Mode Focus : Une extension de navigateur open source pour une meilleure productivité

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.

Lire plus
Développement

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

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

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 !

Lire plus
Développement
1 2 29 30 31 33 35 36 37 50 51