Plateforme de développement IoT hautes performances en Rust

2025-04-16
Plateforme de développement IoT hautes performances en Rust

Une plateforme de développement IoT hautes performances construite avec Rust est désormais disponible ! Elle prend en charge plusieurs protocoles, notamment MQTT, WebSocket, TCP et CoAP, et offre des capacités de traitement de données en temps réel. La sécurité mémoire et les fonctionnalités de concurrence de Rust garantissent l’efficacité. La conception modulaire permet une extension et une maintenance faciles, incluant des modules pour le traitement des données, les interfaces de protocole, les notifications de messages et les API externes. Cette plateforme convient à diverses applications IoT et est open source sous licence Apache 2.0.

Lire plus

Environnements de navigateur sandboxés prêts pour le déploiement

2025-04-16
Environnements de navigateur sandboxés prêts pour le déploiement

Anthropic présente des environnements de navigateur Chrome sandboxés innovants, basés sur des conteneurs/Docker et Unikraft, offrant des navigateurs prêts à l'emploi pour les workflows qui nécessitent un accès à Internet. Ces environnements prennent en charge les frameworks Chrome DevTools (tels que Playwright et Puppeteer) et offrent un accès à l'interface graphique pour la surveillance visuelle et le contrôle à distance. La version Unikernel possède des fonctionnalités telles que la mise en veille automatique, la capture d'état et des redémarrages à froid extrêmement rapides, idéaux pour les applications nécessitant un traitement d'événements à faible latence. De plus, Anthropic recrute des ingénieurs back-end pour travailler sur l'avenir de l'infrastructure de l'IA.

Lire plus
Développement navigateur sandboxé

Programmation logique complète en Clojure : Clolog

2025-04-15
Programmation logique complète en Clojure : Clolog

Le projet Clolog intègre la programmation logique complète (Prolog) dans/appelable depuis Clojure, prenant en charge les appels vers et depuis Clojure. Inspiré par LogLisp, Lisp Machine Prolog et Allegro Prolog, il ajoute plusieurs améliorations. L'accent est mis sur la puissance expressive et la transparence de l'exécution, prenant en charge le prototypage rapide, le développement de preuves de concept et le raisonnement en boucle externe (ce n'est pas encore très rapide). La syntaxe Clojure basée sur Lisp fournit des prédicats et des opérateurs intégrés pour la négation, les conditionnels, la liaison de variables et l'accès aux valeurs Clojure.

Lire plus
Développement Programmation logique

MeshCore : Une bibliothèque légère de réseau maillé LoRa

2025-04-15
MeshCore : Une bibliothèque légère de réseau maillé LoRa

MeshCore est une bibliothèque C++ légère et portable permettant le routage de paquets multi-sauts pour les projets embarqués utilisant LoRa et d'autres radios paquet. Conçue pour des réseaux résilients et décentralisés fonctionnant sans accès à Internet, elle prend en charge divers appareils LoRa et propose des binaires précompilés pour faciliter la programmation à l'aide d'outils tels qu'Adafruit ESPTool. MeshCore équilibre simplicité et évolutivité, offrant des fonctionnalités similaires à Meshtastic et Reticulum, mais en se concentrant sur les applications embarquées. Idéal pour la communication hors réseau, la réponse aux urgences et les déploiements IoT.

Lire plus
Développement Réseau maillé

LightlyTrain : Entraînement de modèles plus rapide, sans étiquettes nécessaires

2025-04-15
LightlyTrain : Entraînement de modèles plus rapide, sans étiquettes nécessaires

LightlyTrain apporte le pré-entraînement auto-supervisé aux pipelines de vision par ordinateur du monde réel. Il utilise vos données non étiquetées pour réduire considérablement les coûts d'étiquetage et accélérer le déploiement du modèle. Il s'intègre facilement aux workflows existants ; quelques lignes de code suffisent pour pré-entraîner des modèles sur vos données d'images et de vidéos non étiquetées à l'aide de diverses architectures compatibles avec des bibliothèques telles que Torchvision, Ultralytics et TIMM. Évolutif à des millions d'images, LightlyTrain améliore considérablement les performances du modèle pour les petits et les grands ensembles de données, vous permettant d'exporter des modèles pour un ajustement fin ou une inférence. Aucune expertise en apprentissage auto-supervisé n'est requise.

Lire plus

Chroma : Simulation du daltonisme pour une meilleure accessibilité dans les jeux

2025-04-15
Chroma : Simulation du daltonisme pour une meilleure accessibilité dans les jeux

Chroma est un outil conçu pour simuler différents types de daltonisme, aidant les développeurs de jeux et les équipes d'accessibilité à tester les expériences de jeu pour les utilisateurs daltoniens. Il simule trois types principaux : protanopie, deutéranopie et tritanopie, offrant de hautes performances, une grande précision et une interface conviviale. Chroma fonctionne sur n'importe quel jeu, quel que soit le moteur, fournissant une simulation en temps réel, des captures d'écran faciles et des paramètres personnalisables. Un problème connu lors de la construction CMake implique une bibliothèque CPPWinRT obsolète ; il est recommandé d'utiliser Visual Studio 2022 ou d'installer le package NuGet Microsoft.Windows.CppWinRT.

Lire plus
Développement simulation du daltonisme

Visionneuse de journaux géants : Parcourez instantanément des fichiers texte de 4 To

2025-04-15
Visionneuse de journaux géants : Parcourez instantanément des fichiers texte de 4 To

Fatigué d'attendre l'ouverture de fichiers journaux énormes ? `giant-log-viewer` charge instantanément des fichiers texte jusqu'à 4 To avec une empreinte mémoire minuscule, en utilisant seulement ~80 Mo de mémoire heap JVM. Il prend en charge l'encodage UTF-8 et ASCII, mais présente des limitations : il ne gère pas les lignes de plus de 1 Mo, les emojis ou les systèmes sans interface graphique ; il ne fonctionne actuellement que sous Windows, macOS et Linux. Bien qu'il ne soit pas aussi riche en fonctionnalités que `less`, il est parfait pour parcourir rapidement des journaux géants par glisser-déposer ou raccourcis clavier. Le projet est open source sur GitHub, et les dons sont les bienvenus pour aider le développeur à signer les exécutables.

Lire plus

MCP-Shield : Protection de vos serveurs de protocole de contexte de modèle

2025-04-15
MCP-Shield : Protection de vos serveurs de protocole de contexte de modèle

MCP-Shield est un outil permettant de scanner et de détecter les vulnérabilités de vos serveurs MCP (Protocole de contexte de modèle). Il identifie les risques de sécurité tels que les attaques par empoisonnement d'outils, les canaux d'exfiltration de données et les escalades d'origine croisée. L'outil prend en charge plusieurs méthodes de configuration et intègre en option l'IA Claude d'Anthropic pour une analyse plus approfondie. Les schémas de vulnérabilité courants détectés incluent l'empoisonnement d'outils avec des instructions cachées, l'ombrage d'outils et la modification de comportement, les canaux d'exfiltration de données et les violations d'origine croisée. Par exemple, il peut identifier un outil de calculatrice qui tente secrètement d'accéder à des clés privées SSH. MCP-Shield vise à aider les développeurs et les auditeurs de sécurité à sécuriser leurs serveurs MCP et prend en charge l'analyse avant l'ajout de nouveaux serveurs, pendant les audits de sécurité, pendant le développement et après les mises à jour.

Lire plus

Casseur de logique d'égalité UUID : force brute sur AES-256-CBC

2025-04-15
Casseur de logique d'égalité UUID : force brute sur AES-256-CBC

Une boîte à outils de décryptage logique de champ compacte qui effectue une attaque par force brute sur des fichiers AES-256-CBC chiffrés avec UUID en utilisant une initialisation basée sur l'égalité : xy = x / y. Cela démontre une recherche déterministe dans des espaces d'entropie définis. Une démo génère un fichier chiffré avec UUID avec un suffixe structuré. `uuid_demobreaker.py` analyse ensuite linéairement l'espace UUID, en utilisant l'égalité comme une « allumage » logique – et non une heuristique – pour guider la recherche. Le casseur ne devine pas, ne filtre pas et n'utilise pas de raccourcis probabilistes ; il définit et explore directement l'espace de recherche.

Lire plus
Développement

ClipCapsule : Un gestionnaire de presse-papiers minimaliste pour Linux

2025-04-14
ClipCapsule : Un gestionnaire de presse-papiers minimaliste pour Linux

ClipCapsule est un gestionnaire de presse-papiers minimaliste pour Linux, développé avec Go et WailsJS. Il améliore la productivité en permettant de gérer et de basculer entre les entrées du presse-papiers en utilisant uniquement des raccourcis clavier – pas besoin de souris ni d'interface graphique. Actuellement en développement, l'interface graphique doit être ouverte pour que les raccourcis fonctionnent, mais un démon en arrière-plan est en cours de développement pour un fonctionnement transparent. Les principales fonctionnalités incluent un flux de travail priorisant le clavier, l'historique du presse-papiers, le réordonnancement dynamique et le stockage local uniquement. L'installation implique de cloner le dépôt, d'installer Wails et de compiler l'application, ce qui peut nécessiter des privilèges sudo ou une configuration manuelle de l'accès au périphérique d'entrée du clavier.

Lire plus

Modèle de segmentation de filigrane open source de Diffusion Dynamics : la technologie au cœur de clear.photo

2025-04-14
Modèle de segmentation de filigrane open source de Diffusion Dynamics : la technologie au cœur de clear.photo

Diffusion Dynamics a rendu publique la technologie centrale de son produit de suppression de filigrane, clear.photo : un modèle de segmentation de filigrane. Ce modèle d’apprentissage profond génère des masques qui mettent en évidence les zones du filigrane, excellant dans la segmentation des filigranes basées sur des logos. Le projet fournit un workflow complet pour l’entraînement et l’inférence, incluant la génération de jeux de données, l’entraînement de modèles et le post-traitement, et prend en charge l’ajustement fin sur les puces Apple M-series. Une caractéristique clé est sa stratégie d’augmentation des données qui randomise les paramètres du filigrane, ce qui conduit à des performances robustes. L’objectif est de fournir une base claire et facilement modifiable pour la construction d’outils plus complexes.

Lire plus

Profileur C++ en un seul en-tête : utl::profiler

2025-04-14
Profileur C++ en un seul en-tête : utl::profiler

utl::profiler est une bibliothèque de profilage C++ à en-tête unique qui utilise des macros simples pour mesurer le temps d'exécution des segments de code et construire automatiquement un graphe d'appels. La bibliothèque offre des fonctionnalités telles que des options de style personnalisables, la sécurité des threads et la prise en charge des threads détachés. Elle réduit considérablement la surcharge en utilisant des intrinsèques x86. La bibliothèque prend également en charge le style personnalisé et l'exportation des résultats vers un fichier.

Lire plus

Inférer les types TypeScript à partir de messages Protobuf sans génération de code

2025-04-14
Inférer les types TypeScript à partir de messages Protobuf sans génération de code

protobuf-ts-types vous permet de définir des types de message indépendants du langage au format proto et d'inférer directement les types TypeScript sans génération de code. Il utilise intelligemment les types littéraux de modèle de TypeScript. Bien qu'il s'agisse actuellement d'une preuve de concept et qu'il ne prenne pas en charge les services, les RPC, les champs oneof et map et les importations, il offre un grand potentiel pour simplifier l'intégration de Protobuf avec TypeScript.

Lire plus
Développement Inférer les types

Stratégie de moteur d'inférence open source de DeepSeek : contributions modulaires, pas de publication directe

2025-04-14
Stratégie de moteur d'inférence open source de DeepSeek : contributions modulaires, pas de publication directe

En raison de contraintes de ressources, l'équipe DeepSeek a choisi de ne pas publier directement son moteur d'inférence interne en open source, mais plutôt de collaborer avec des projets open source existants. Elle extraira les composants réutilisables du moteur et les contribuera sous forme de bibliothèques indépendantes, tout en partageant des stratégies d'optimisation. Cette approche vise à contribuer durablement à la communauté open source, à promouvoir le développement de l'AGI et à garantir que ses avantages profitent à toute l'humanité. Les efforts futurs donneront la priorité à la synchronisation de l'ingénierie d'inférence avec la communauté open source et les partenaires matériels afin de permettre une prise en charge SOTA dès le jour 0 pour les nouvelles versions de modèles.

Lire plus

Meilisearch : Moteur de recherche open source ultra-rapide pour vos applications

2025-04-14
Meilisearch : Moteur de recherche open source ultra-rapide pour vos applications

Meilisearch est un moteur de recherche open source ultrarapide et facile à intégrer dans vos applications, sites web et workflows. Il offre des fonctionnalités prêtes à l'emploi, telles que la recherche hybride, la recherche au fur et à mesure de la saisie, la tolérance aux fautes de frappe, le filtrage et la recherche à facettes, le tri, la prise en charge des synonymes, la géorecherche et la prise en charge de plusieurs langues, pour une expérience de recherche supérieure. Meilisearch fournit une API RESTful, plusieurs SDK, une compatibilité avec l'IA et un service Cloud (Meilisearch Cloud) pour une implémentation et une maintenance faciles. Il privilégie la confidentialité des utilisateurs, permettant aux utilisateurs de désactiver la collecte de données anonymes et fournissant un canal de demande de suppression de données.

Lire plus

Guide pratique de la programmation C pour les hackers

2025-04-14
Guide pratique de la programmation C pour les hackers

Ce livre, dédié à Dennis Ritchie, propose un guide pratique de la programmation C pour les hackers. L'auteur, un hacker chevronné, partage des techniques pratiques acquises au fil des années, en soulignant la puissance et la flexibilité du langage C. Il défend la liberté offerte par C, arguant que le choix du bon outil est la prérogative du programmeur, et non une question de préférences imposées. Le livre comprend des exemples de code et des discussions sur l'utilisation des extensions GNU.

Lire plus
Développement Guide Pratique

CI locale pour GitHub : oubliez le cloud, adoptez votre machine de développement

2025-04-14
CI locale pour GitHub : oubliez le cloud, adoptez votre machine de développement

Fatigué des CI cloud lentes, coûteuses et louées ? `gh-signoff`, une extension de la CLI GitHub, ramène la CI en interne ! Exécutez vos tests localement, signez-les lorsqu'ils réussissent (avec `gh signoff`), et obtenez ce statut de commit vert GitHub sans tracas. Dites adieu aux files d'attente de fusion complexes et aux pipelines de déploiement – la simplicité et le contrôle sont à vous.

Lire plus
Développement CI locale

Entraînement GRPO léger : sans Transformers, sans vLLM

2025-04-13
Entraînement GRPO léger : sans Transformers, sans vLLM

Ce projet implémente un framework d’entraînement GRPO (Group Relative Policy Optimization) léger, construit presque à partir de zéro, ne reposant que sur des tokeniseurs et PyTorch. Il améliore l’algorithme original en supprimant la divergence de KL et en intégrant un filtre pour les épisodes trop longs, améliorant ainsi la stabilité de l’entraînement et l’utilisation de la mémoire GPU. Le projet entraîne le modèle Qwen2.5-3B-Instruct sur la tâche CountDown, qui nécessite de générer une expression mathématique pour atteindre une valeur cible donnée un ensemble de nombres. Le modèle la résout en apprenant à générer un raisonnement en chaîne de pensée avant la réponse finale, guidé par des récompenses de format et de réponse. L’ensemble du processus est simple et reproductible, s’exécutant sur une seule GPU A40 avec un minimum de commandes.

Lire plus
Développement

EXWM : Un gestionnaire de fenêtres complet pour Emacs

2025-04-13
EXWM : Un gestionnaire de fenêtres complet pour Emacs

EXWM est un gestionnaire de fenêtres X complet pour Emacs, basé sur XELB. Entièrement contrôlé par le clavier, il propose des modes de disposition hybrides (mosaïque et empilage), une prise en charge des espaces de travail dynamiques et la conformité ICCCM/EWMH. Des fonctionnalités optionnelles incluent la prise en charge RandR (multi-écrans), une zone de notification système, la prise en charge des méthodes de saisie, la configuration de l'arrière-plan et un serveur XSETTINGS. Consultez les captures d'écran et le guide de l'utilisateur pour une vue d'ensemble complète et les instructions d'installation !

Lire plus
Développement

Guide Ouvert sur la Rémunération en Actions : Présentation Complète

2025-04-13
Guide Ouvert sur la Rémunération en Actions : Présentation Complète

Ce guide démêle les complexités de la rémunération en actions, en couvrant diverses formes telles que les actions restreintes, les options d’achat d’actions et les unités d’actions restreintes. Il vise à donner aux employés, aux responsables du recrutement, aux fondateurs et aux étudiants les moyens de comprendre les subtilités de la rémunération en actions, de prendre des décisions éclairées et d’éviter les erreurs coûteuses. Les sujets abordés incluent les bases de la rémunération en actions, les fondamentaux des sociétés par actions, la manière dont les actions sont attribuées, les bases de l’impôt, les impôts sur la rémunération en actions, les plans et les scénarios, les offres et les négociations, et d’autres ressources. Le guide traite également des pièges courants et propose des suggestions pratiques.

Lire plus

Gatehouse-TS : Une bibliothèque d'autorisation flexible et sans dépendances en TypeScript

2025-04-13
Gatehouse-TS : Une bibliothèque d'autorisation flexible et sans dépendances en TypeScript

Gatehouse-TS est une bibliothèque d'autorisation flexible et sans dépendances écrite en TypeScript, combinant des politiques de contrôle d'accès basées sur les rôles (RBAC), basées sur les attributs (ABAC) et basées sur les relations (ReBAC). Port de la populaire bibliothèque Gatehouse Rust, elle possède une API conviviale, prend en charge la composition des politiques avec des opérateurs logiques, offre un traçage détaillé de l'évaluation pour le débogage et fournit une API de constructeur fluide pour créer des politiques personnalisées. Son design léger et sa documentation complète la rendent facilement intégrable et adaptable à divers projets.

Lire plus

Skywork-OR1 : Lancement de puissants modèles de raisonnement open source

2025-04-13
Skywork-OR1 : Lancement de puissants modèles de raisonnement open source

SkyworkAI a lancé la série Skywork-OR1 de puissants modèles de raisonnement open source, incluant Skywork-OR1-Math-7B, Skywork-OR1-32B-Preview et Skywork-OR1-7B-Preview. Ces modèles, entraînés à l'aide d'un apprentissage par renforcement basé sur des règles à grande échelle, excellent dans le raisonnement mathématique et le codage. Skywork-OR1-Math-7B surpasse largement les modèles de taille similaire sur les tests AIME24 et AIME25 ; Skywork-OR1-32B-Preview atteint les niveaux de performance de Deepseek-R1 sur les tâches mathématiques et de codage ; et Skywork-OR1-7B-Preview surpasse tous les modèles de taille similaire dans les deux domaines. Les modèles complets et les scripts d'entraînement seront open source dans les prochains jours.

Lire plus
IA

Tests de mutation Rust avec cargo-mutants

2025-04-13
Tests de mutation Rust avec cargo-mutants

cargo-mutants est un outil Rust qui améliore la qualité du code en générant des versions mutantes de votre code pour tester sa robustesse. Il identifie les bogues potentiels manqués par vos tests existants, offrant une perspective différente des outils traditionnels de couverture de code. Il se concentre sur la vérification effective du comportement du code par les tests, et non seulement sur l'atteinte du code. Facile à utiliser et intégrable à CI, il est activement maintenu et promet des améliorations futures, notamment de nouveaux types de mutation.

Lire plus
Développement Qualité du Code

Osprey : La protection de votre navigateur

2025-04-13
Osprey : La protection de votre navigateur

Osprey est une extension de navigateur conçue pour vous protéger des sites web malveillants. Elle vérifie les URL contre les menaces connues et bloque l'accès aux sites dangereux, affichant un avertissement si un site malveillant est détecté. Facile à installer depuis la Chrome Web Store ou les extensions Microsoft Edge, Osprey propose également des instructions d'installation manuelle. Personnalisez les options de protection et obtenez de l'aide via le système de suivi des problèmes.

Lire plus
Développement protection anti-malware

Whenever : Dates et heures typées et sécurisées DST pour Python

2025-04-13
Whenever : Dates et heures typées et sécurisées DST pour Python

Fatigué des pièges de `datetime` de Python ? Whenever offre des opérations de date et d’heure typées et sécurisées DST avec des performances inégalées, surpassant les autres bibliothèques tierces et souvent la bibliothèque standard elle-même. Choisissez entre une implémentation Rust performante ou une version pure Python pour une utilisation simplifiée. Il résout les lacunes de la bibliothèque standard dans la gestion du DST et la vérification des types, fournissant une API claire pour écrire du code de date et d’heure correct.

Lire plus
Développement date et heure

Chonky : Segmentation de texte intelligente avec des Transformers

2025-04-13
Chonky : Segmentation de texte intelligente avec des Transformers

Chonky est une bibliothèque Python qui divise intelligemment le texte en morceaux sémantiques significatifs à l'aide d'un modèle de transformateur finement ajusté. Cette bibliothèque est utile dans les systèmes de génération augmentée par la récupération (RAG). Elle traite efficacement les longs textes, en les divisant en morceaux plus petits et plus faciles à gérer pour faciliter l'analyse et le traitement. L'exemple de code montre comment utiliser Chonky pour diviser un texte d'exemple en morceaux sémantiquement cohérents.

Lire plus

OmniSVG : Un modèle unifié et scalable de génération de graphiques vectoriels

2025-04-13
OmniSVG : Un modèle unifié et scalable de génération de graphiques vectoriels

OmniSVG est la première famille de générateurs multimodaux SVG de bout en bout qui tire parti de modèles Vision-Langage (VLM) pré-entraînés. Il est capable de générer des SVG complexes et détaillés, allant d'icônes simples à des personnages d'anime complexes. Le projet a déjà publié les jeux de données MMSVG-Icon et MMSVG-Illustration, ainsi que l'article scientifique. Les projets futurs comprennent la publication du code et des modèles pré-entraînés, du jeu de données MMSVG-Character, et d'une page de projet avec un rapport technique.

Lire plus

KickSmash32 : Module de remplacement de ROM Amiga open source

2025-04-12
KickSmash32 : Module de remplacement de ROM Amiga open source

KickSmash32 est un module de remplacement de ROM Kickstart open source pour les systèmes Amiga 3000 et 4000. Prenant en charge jusqu'à 8 banques flash indépendantes, il permet la programmation et la commutation de ROM via des utilitaires en ligne de commande Amiga ou un utilitaire hôte Linux (USB-C). Des services de fichiers hôtes facultatifs permettent des transferts de fichiers faciles entre l'Amiga et le PC hôte. Une documentation complète et des instructions de compilation sont fournies. Notez qu'en raison de la disposition incohérente des sockets ROM sur les modèles Amiga, KickSmash32 n'est compatible qu'avec les Amiga 3000 et Amiga 4000 originaux.

Lire plus

Shorty : Une bibliothèque C++ pour des lambdas plus concises

2025-04-12
Shorty : Une bibliothèque C++ pour des lambdas plus concises

Shorty est une bibliothèque C++ conçue pour offrir une syntaxe plus concise que les expressions lambda natives de C++, sans pour autant remplacer C++ par un DSL paresseux. Elle permet une notation plus intuitive pour le tri, le filtrage, le zip et l'appel de fonctions externes, en supportant plusieurs méthodes d'accès aux arguments et les conversions de type. Par exemple, `std::ranges::sort(subject, $lhs > $rhs);` trie de manière concise, et `subject | std::views::filter(($i % 2) == 0);` filtre les nombres pairs. Sa conception privilégie l'efficacité du développeur et la réduction du code redondant.

Lire plus
Développement Expressions Lambda

Awe : Un nouveau compilateur ALGOL W

2025-04-12
Awe : Un nouveau compilateur ALGOL W

Awe est un nouveau compilateur pour le langage de programmation ALGOL W, successeur d'Algol 60. Il s'agit d'une implémentation complète du langage tel que décrit dans la Description du langage ALGOL W de juin 1972. Awe devrait compiler le code écrit pour les compilateurs ALGOL W OS/360 avec des modifications minimales. Les fonctionnalités incluent l'allocation de registres dynamique, la gestion des chaînes, les nombres complexes et un système d'E/S standard. Le projet remercie Hendrick Boom et d'autres pour leurs contributions.

Lire plus
Développement
1 2 24 25 26 28 30 31 32 50 51