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

Le dépôt de code source de Homebrew Channel révèle une violation massive des droits d'auteur

2025-04-29
Le dépôt de code source de Homebrew Channel révèle une violation massive des droits d'auteur

Le dépôt de code source pour le logiciel homebrew Wii, The Homebrew Channel, a été publié, mais sa bibliothèque principale, libogc, a été exposée pour violation massive des droits d'auteur. Les développeurs de libogc ont non seulement volé du code propriétaire de Nintendo, mais aussi un RTOS open source, RTEMS, en supprimant toutes les informations d'attribution et de copyright. Les développeurs ont ignoré les questions, allant même jusqu'à insulter et supprimer les commentaires pour éviter toute responsabilité. En raison de la gravité des problèmes de droits d'auteur, le projet est archivé et tout développement ultérieur est déconseillé. L'incident souligne l'importance du respect des droits d'auteur et du respect des lois et des règlements.

Lire plus
(github.com)
Développement

Performances de construction de conteneurs Go : Nix n’est pas toujours plus rapide

2025-04-28
Performances de construction de conteneurs Go : Nix n’est pas toujours plus rapide

Cet article compare différentes méthodes de construction de conteneurs Go, en utilisant Docker et Nix. L’auteur utilise un programme Go simple avec des métriques Prometheus pour mesurer les temps de construction et les tailles des images. La mise en cache Docker a considérablement amélioré la vitesse de construction, tandis que Nix, malgré sa reproductibilité, n’était pas plus rapide. Les images de base scratch ont produit des conteneurs beaucoup plus petits que distroless. La compression UPX a encore réduit la taille des images. La mise en cache proxy Athens et Squid a également été testée. L’auteur fournit des conseils pratiques pour accélérer la construction de conteneurs Go, notamment l’utilisation d’un fichier .dockerignore pour exclure le dossier .git.

Lire plus
(github.com)
Développement Construction de conteneurs Benchmark de performance

Sim Studio : Une plateforme puissante pour les workflows agentifs

2025-04-28
Sim Studio : Une plateforme puissante pour les workflows agentifs

Sim Studio est une plateforme puissante et conviviale pour construire, tester et optimiser les workflows agentifs. Il offre des versions hébergées dans le cloud et des options d'auto-hébergement. L'auto-hébergement est supporté via Docker, avec des instructions détaillées fournies pour la configuration utilisant Docker Compose. La plateforme s'intègre également aux modèles locaux, offrant des options pour l'utilisation du CPU et du GPU. Le développement est optimisé avec les Conteneurs Distants de VS Code et npm. Le projet est open-source sous la Licence Apache 2.0 et accepte les contributions.

Lire plus
(github.com)
Développement Workflows agentifs

operative.sh : Débogage automatique d'applications web avec le serveur MCP

2025-04-28
operative.sh : Débogage automatique d'applications web avec le serveur MCP

operative.sh présente le serveur MCP, un outil utilisant un agent basé sur navigateur pour déboguer automatiquement les applications web directement dans votre éditeur de code. L'agent 'Cursor' exécute et débogue le code, fournissant des rapports détaillés incluant le trafic réseau, les logs de la console et une chronologie. Après l'installation et l'obtention d'une clé API gratuite, les développeurs peuvent automatiser leur flux de travail de débogage, augmentant ainsi significativement l'efficacité. Compatible avec macOS, Linux et Windows.

Lire plus
(github.com)
Développement Débogage Automatique Tests de Code

Autarkie : Fuzzing de grammaire instantané avec les macros Rust

2025-04-28
Autarkie : Fuzzing de grammaire instantané avec les macros Rust

Autarkie est un fuzzer de grammaire natif écrit en Rust qui utilise des macros procédurales pour générer presque automatiquement des fuzzers de grammaire. Compatible avec AFL++ et cargo-fuzz, il peut fuzzer des projets C/C++ et Rust. Les caractéristiques uniques d'Autarkie incluent une grammaire sans maintenance, une couverture de grammaire exhaustive, un corpus réutilisable et la capacité d'apprendre d'autres fuzzers (en développement). Deux exemples montrent comment fuzzer SQLite3 et l'interpréteur sbpf de Solana, soulignant sa facilité d'utilisation et son efficacité. Actuellement en version bêta et nécessite un compilateur Rust nightly.

Lire plus
(github.com)
Développement grammaire

tiny-llm : Servir des LLMs en une semaine – Un tutoriel pratique

2025-04-28
tiny-llm : Servir des LLMs en une semaine – Un tutoriel pratique

tiny-llm est un tutoriel qui vous guide dans la construction d'une infrastructure de service LLM en une semaine. Il se concentre sur l'utilisation des API matrice/tableau de MLX, en évitant les API de réseau neuronal de haut niveau pour construire à partir de zéro et comprendre les optimisations. Le tutoriel couvre des concepts essentiels tels que les mécanismes d'attention, RoPE et l'attention de requête groupée, progressant vers le chargement du modèle et la génération de réponses. Actuellement, l'attention, RoPE et le chargement du modèle sont terminés. Les chapitres futurs aborderont le cache KV, la multiplication matricielle quantifiée, Flash Attention et d'autres optimisations, visant un service LLM efficace pour des modèles comme Qwen2.

Lire plus
(github.com)
Développement Service de Modèle

CleverBee : Un assistant de recherche IA puissant

2025-04-28
CleverBee : Un assistant de recherche IA puissant

CleverBee est un puissant agent de recherche basé sur Python qui utilise des grands modèles de langage (LLM) tels que Claude et Gemini, Playwright pour la navigation web et Chainlit pour une interface utilisateur interactive. Il effectue des recherches en naviguant sur le web, en extrayant du contenu, en nettoyant les données et en résumant les résultats en fonction des sujets de recherche de l'utilisateur. Il prend en charge plusieurs LLM, la navigation web automatisée, le traitement de contenu, le suivi des jetons, une grande configurabilité et la mise en cache des LLM. Il est entièrement compatible avec macOS et Linux.

Lire plus
(github.com)
IA Assistant de recherche IA

Renaissance de l'émulation FPU pour i486SX sur NetBSD

2025-04-27
Renaissance de l'émulation FPU pour i486SX sur NetBSD

Ce projet de rétro-informatique restaure la prise en charge de l'émulation de l'unité de traitement en virgule flottante x87 (FPU) dans le noyau NetBSD, ciblant les processeurs hérités de classe 486SX sans FPU matérielle. Il rétablit l'option MATH_EMULATE originale dans NetBSD 10.x et versions ultérieures, et revient sur les modifications introduites dans le commit dfe83e0, qui a supprimé la prise en charge de l'émulation FPU du noyau. Ce projet est en cours de développement et peut contenir des bogues ou des fonctionnalités incomplètes. Utilisez-le à vos risques et périls.

Lire plus
(github.com)
Développement émulation FPU

Logchef : une plateforme d'analyse de journaux légère et performante

2025-04-27
Logchef : une plateforme d'analyse de journaux légère et performante

Logchef est une plateforme d'analyse de journaux légère et puissante, construite sur ClickHouse pour un stockage et une interrogation des journaux hautes performances. Elle fonctionne en tant que binaire unique, offrant une interface intuitive pour explorer les données des journaux. Les fonctionnalités incluent l'exploration de journaux sans schéma, des options de requête flexibles (recherche simple et ClickHouse SQL complet), des performances élevées et un contrôle d'accès basé sur les équipes. Déployable via une seule commande Docker Compose, Logchef est idéal pour les équipes de développement ayant besoin d'une solution de journalisation robuste et évolutive.

Lire plus
(github.com)
Développement analyse de journaux hautes performances

snapDOM : Capture DOM ultrarapide et haute fidélité

2025-04-27
snapDOM : Capture DOM ultrarapide et haute fidélité

snapDOM est un outil de capture DOM haute fidélité développé pour Zumly, un framework permettant de créer des transitions de vue fluides basées sur le zoom. Il convertit tout élément HTML en une image SVG scalable, en préservant les styles, les polices, les arrière-plans, le Shadow DOM et les pseudo-éléments. Les benchmarks montrent que snapDOM surpasse considérablement les concurrents, notamment avec les structures DOM de grande taille. Il est léger, sans dépendances et offre des exportations vers SVG, PNG, JPG, WebP et canvas. Idéal pour capturer des vues de pages complètes, des modales et des mises en page complexes.

Lire plus
(github.com)
Développement capture DOM

Le code source de Homebrew Channel pour Wii archivé en raison d'une violation du droit d'auteur

2025-04-27
Le code source de Homebrew Channel pour Wii archivé en raison d'une violation du droit d'auteur

Le référentiel de code source de Homebrew Channel pour Wii a été archivé et n'acceptera plus de contributions. Cela est dû à la découverte que libogc, une bibliothèque cruciale dont dépend Homebrew Channel, contient des parties importantes de code volé au SDK de Nintendo et au système d'exploitation temps réel (RTOS) open source RTEMS. Les développeurs de libogc ont refusé de traiter la violation du droit d'auteur. Cette révélation expose un problème de longue date de violations du droit d'auteur au sein de la communauté homebrew de Wii, ce qui incite à la réflexion sur les pratiques éthiques de développement de logiciels. Le code source est maintenant publié publiquement, mais les développeurs déclarent qu'ils ne peuvent garantir sa légalité et qu'il n'a été testé que sous l'émulateur Dolphin.

Lire plus
(github.com)
Développement

GoEnums : Génération élégante d'énumérations pour Go

2025-04-26
GoEnums : Génération élégante d'énumérations pour Go

Fatigué du manque de support natif pour les énumérations en Go ? GoEnums génère des implémentations d'énumérations complètes et sécurisées pour les types à partir de déclarations de constantes simples. Transformez des constantes iota de base en énumérations riches en fonctionnalités avec conversion de chaînes, validation, gestion JSON, intégration de base de données, et plus encore. GoEnums prend en charge les champs personnalisés, l'analyse insensible à la casse, et fournit une documentation et des exemples détaillés. Simplifiez votre code Go avec GoEnums !

Lire plus
(github.com)
Développement

Rocal UI : Un moteur de template simple en Rust

2025-04-26
Rocal UI : Un moteur de template simple en Rust

Rocal UI est un moteur de template simple écrit en Rust. Principalement conçu pour être utilisé avec le framework Rocal pour créer des vues, il est adaptable à n'importe quel projet Rust. Sa syntaxe est simple, supportant l'intégration de variables, les instructions if-else et les boucles for. La macro `view!{}` génère des chaînes HTML qui peuvent être imbriquées, facilitant l'utilisation de templates partiels. Commencez rapidement avec `cargo install rocal --features="cli"` et `rocal new -n yourapp`.

Lire plus
(github.com)
Développement Moteur de template

Tilt : simplification du développement de microservices Kubernetes

2025-04-26
Tilt : simplification du développement de microservices Kubernetes

Tilt simplifie le développement de microservices Kubernetes en automatisant l'ensemble du processus, des modifications de code aux nouveaux processus, y compris la surveillance des fichiers, la création d'images de conteneurs et les mises à jour de l'environnement. Dites adieu aux commandes fastidieuses `docker build && kubectl apply`. Tilt propose des tutoriels et des guides complets, prend en charge plusieurs langages de programmation et possède une communauté active et une documentation bien maintenue. Même les débutants Kubernetes peuvent rapidement démarrer et améliorer leur efficacité de développement.

Lire plus
(github.com)
Développement

Stuffed-Naan : Cacher des données à la vue de tous (en utilisant les NaNs)

2025-04-26
Stuffed-Naan : Cacher des données à la vue de tous (en utilisant les NaNs)

Stuffed-Naan est une nouvelle bibliothèque qui tire parti des particularités des valeurs NaN (Not a Number) de JavaScript pour cacher et transporter des données. En codant intelligemment les données dans la mantisse des valeurs NaN, Stuffed-Naan préserve les données originales même après des opérations mathématiques. L'article présente cette bibliothèque de manière humoristique, en soulignant son taux de compression élevé, sa vitesse et ses fonctionnalités de confidentialité, tout en mentionnant les fonctionnalités supplémentaires de l'édition Entreprise. Bien que loufoque, elle exploite efficacement les caractéristiques des nombres à virgule flottante IEEE 754.

Lire plus
(github.com)
Développement cacher des données

RetrOS-32 : Un système d'exploitation hobby 32 bits

2025-04-26
RetrOS-32 : Un système d'exploitation hobby 32 bits

RetrOS-32 est un système d'exploitation 32 bits écrit en C et en assembleur, avec des fonctionnalités graphiques, multitâches et réseau. Il inclut la création d'utilisateurs, un système de fichiers et des applications de base telles qu'un terminal, une calculatrice et des jeux simples. Le projet prend en charge diverses plates-formes matérielles et propose des images Docker pour la compilation multiplateforme. Bien qu'il soit encore en développement, il possède des fonctionnalités impressionnantes et constitue un projet open source remarquable.

Lire plus
(github.com)
Développement

Les LLMs peuvent voir et entendre sans aucun entraînement

2025-04-26
Les LLMs peuvent voir et entendre sans aucun entraînement

Cette recherche révolutionnaire démontre que les grands modèles de langage (LLMs) peuvent comprendre les images et l'audio sans aucun entraînement supplémentaire. En utilisant intelligemment les LLMs existants, le sous-titrage d'images, le sous-titrage audio et des techniques de génération d'images de haute qualité, les chercheurs ont permis aux LLMs de 'percevoir' les images et les sons. Le code et les ensembles de données open source du projet facilitent la reproductibilité et les explorations futures.

Lire plus
(github.com)
IA

Tapez moins dans votre terminal avec cet outil

2025-04-26
Tapez moins dans votre terminal avec cet outil

Empty Enter Expander est un outil zsh conçu pour améliorer l'efficacité du terminal. Il permet d'exécuter des commandes prédéfinies en quelques frappes de touches. Les commandes sont stockées dans un répertoire de modules ; les répertoires et les noms de fichiers doivent commencer par des minuscules, servant de raccourcis. Par exemple, après avoir appuyé sur Entrée, 'g, l, Entrée' exécute une commande git log prédéfinie. Les utilisateurs peuvent personnaliser les commandes et les raccourcis en plaçant des scripts dans les sous-répertoires appropriés du répertoire de modules. La configuration implique de modifier le fichier .zprofile pour définir le chemin du module et la source de la fonction zsh.

Lire plus
(github.com)
Développement

Magnitude : Framework de test natif IA pour applications web

2025-04-25
Magnitude : Framework de test natif IA pour applications web

Magnitude est un framework de test de bout en bout open source révolutionnaire pour les applications web, alimenté par des agents d'IA visuelle qui « voient » votre interface et s'adaptent à tous les changements. Créez facilement des cas de test en langage naturel, exploitez un puissant agent de raisonnement pour la planification et l'ajustement, et faites confiance à un agent visuel rapide pour une exécution fiable. Exécutez des tests localement ou dans des pipelines CI/CD ; le framework gère automatiquement les problèmes rencontrés pendant les tests. Magnitude prend en charge plusieurs modèles LLM, notamment Gemini 2.5 pro, Anthropic et OpenAI, et offre un modèle visuel gratuit, Moondream. Il simplifie considérablement la création et l'exécution de tests.

Lire plus
(github.com)
Développement Tests IA Tests web

Formalisation des Principia Mathematica de Russell avec Lean4

2025-04-25
Formalisation des Principia Mathematica de Russell avec Lean4

Ce projet vise à formaliser le premier volume des Principia Mathematica du Professeur Bertrand Russell à l'aide du prouveur de théorèmes Lean. L'objectif est de garantir que la formalisation corresponde clairement aux théorèmes correspondants du livre afin d'éviter toute confusion. Le projet suit rigoureusement les preuves de Russell, avec peu ou pas d'énoncés supplémentaires. Une nouvelle tactique, `Syll`, a été créée pour gérer une forme plus générale de syllogisme. Bien que les Principia Mathematica soient considérés comme un « échec monumental », l'auteur a trouvé le processus de formalisation enrichissant.

Lire plus
(github.com)
Développement

UIT : Bibliothèque de traitement de fichiers modulaire, peu gourmande en mémoire et performante pour le cloud

2025-04-25
UIT : Bibliothèque de traitement de fichiers modulaire, peu gourmande en mémoire et performante pour le cloud

UIT est une bibliothèque conçue pour le traitement de fichiers modulaire, peu gourmand en mémoire et performant à grande échelle dans le cloud. Elle utilise un processus en quatre étapes : ingestion, filtrage/transformation, fusion et sortie. Construite sur le streaming et la parallélisation, UIT peut s'exécuter efficacement dans des environnements à faible mémoire comme les Workers Cloudflare. Sa conception modulaire permet la composition et l'ajout de modules personnalisés. Les modules actuels gèrent des tâches telles que l'ingestion de fichiers ZIP, la fusion de données, la conversion de format et la recherche. L'objectif d'UIT est de devenir une norme pour le traitement de fichiers dans le cloud, offrant aux développeurs un outil puissant et extensible.

Lire plus
(github.com)
Développement traitement de fichiers modulaire

Visualisation de Rust asynchrone : concurrence contre parallélisme

2025-04-25
Visualisation de Rust asynchrone : concurrence contre parallélisme

Cet article utilise la visualisation pour explorer en profondeur les fonctionnalités de concurrence et de parallélisme du runtime asynchrone Rust, Tokio. L’auteur utilise intelligemment des tracés d’ondes sinusoïdales pour démontrer de manière intuitive l’ordre d’exécution et l’utilisation du CPU de différentes tâches asynchrones. Les expériences montrent que les tâches liées au processeur bloquent les autres opérations asynchrones, tandis que `tokio::spawn` et `tokio::task::spawn_blocking` de Tokio utilisent efficacement les ressources multinœuds pour améliorer les performances. L’article conclut en résumant la stratégie d’ordonnancement des tâches de Tokio et les méthodes de gestion des tâches liées au processeur, ce qui en fait un excellent tutoriel clair et visuellement riche.

Lire plus
(github.com)
Développement

Faasta : Plateforme FaaS ultrarapide avec WebAssembly

2025-04-25
Faasta : Plateforme FaaS ultrarapide avec WebAssembly

Faasta est une plateforme Function-as-a-Service (FaaS) de pointe, construite sur WebAssembly, avec des temps de démarrage à froid inférieurs à 1 ms et une surcharge mémoire inférieure à 1 Ko. Tirant parti de WASI P2 et WASIHTTP, elle offre une gestion des requêtes HTTP hautes performances et un isolement sécurisé des fonctions. Faasta est auto-hébergeable, vous permettant d'exécuter votre propre instance n'importe où. Bien qu'actuellement expérimental, une instance hébergée gratuite est disponible sur faasta.xyz.

Lire plus
(github.com)
Développement

Plugin Conteneur Swift : Créez et publiez des images de conteneur facilement

2025-04-25
Plugin Conteneur Swift : Créez et publiez des images de conteneur facilement

Le plugin Conteneur Swift simplifie la création et la publication d'images de conteneur pour les serveurs Swift à l'aide de Swift Package Manager. Avec quelques commandes, empaquetez votre application Swift dans une image de conteneur, envoyez-la à un registre et déployez-la sur n'importe quel cloud basé sur des conteneurs ou exécutez-la localement. Il prend en charge macOS et Linux et nécessite Swift 6.0 ou une version ultérieure.

Lire plus
(github.com)
Développement Conteneur

Infat : Gestion déclarative des associations de fichiers pour macOS

2025-04-24
Infat : Gestion déclarative des associations de fichiers pour macOS

Infat est un outil CLI natif de macOS puissant et efficace pour gérer déclarativement les associations de types de fichiers et de schémas d'URL. Dites adieu à la navigation dans les sous-menus pour configurer votre navigateur ou votre visionneuse d'images par défaut : configurez les règles une fois pour toutes. Infat liste les applications associées aux extensions de fichiers ou aux schémas d'URL, définit les applications par défaut et charge les associations à partir d'un fichier de configuration TOML. Il est minimal, scriptable et parfait pour les utilisateurs expérimentés et les administrateurs.

Lire plus
(github.com)
Développement Associations de fichiers

Zev : Trouvez des commandes de terminal avec le langage naturel

2025-04-24
Zev : Trouvez des commandes de terminal avec le langage naturel

Zev est un outil basé sur l'API OpenAI qui vous permet de trouver ou de vous souvenir des commandes de terminal en utilisant le langage naturel. Par exemple, vous pouvez taper 'afficher tous les processus Python en cours d'exécution' pour trouver la commande correspondante. Zev prend en charge diverses opérations, notamment les opérations de fichiers, les informations système, les commandes réseau et les opérations Git. Vous pouvez également utiliser Ollama comme alternative locale pour éviter de dépendre de l'API OpenAI. Le projet est open-source et les contributions sont les bienvenues.

Lire plus
(github.com)
Développement commandes de terminal langage naturel

Colanode : Espace de travail collaboratif open-source et auto-hébergé

2025-04-24
Colanode : Espace de travail collaboratif open-source et auto-hébergé

Colanode est une plateforme de collaboration tout-en-un, open-source et auto-hébergeable. Elle privilégie la confidentialité et le contrôle de vos données grâce à une approche local-first. Elle aide les équipes à communiquer, organiser et gérer leurs projets, en ligne ou hors ligne. Elle offre un chat en temps réel, un éditeur de pages texte enrichi, des bases de données personnalisables et une gestion de fichiers.

Lire plus
(github.com)
Développement

CocoIndex : Moteur d’indexation de données open source simplifiant le traitement des données

2025-04-24
CocoIndex : Moteur d’indexation de données open source simplifiant le traitement des données

CocoIndex est le premier moteur open source au monde prenant en charge une logique de transformation personnalisée et des mises à jour incrémentales, spécialisé dans l’indexation des données. Les utilisateurs déclarent les transformations ; CocoIndex crée et maintient un index, en gardant l’index dérivé à jour avec un minimum de calcul lors des mises à jour de la source. Une documentation, un guide de démarrage rapide et des tutoriels vidéo sont disponibles. Il prend en charge l’installation de la bibliothèque Python et le lancement d’une base de données Postgres à l’aide de Docker Compose. Les utilisateurs indexent facilement les données en définissant des flux d’indexation, tels que la division du texte en blocs, leur incorporation dans des vecteurs et leur exportation vers un index vectoriel. Des exemples et des démonstrations sont fournis, et les contributions de la communauté — améliorations du code, mises à jour de la documentation, rapports de bogues, demandes de fonctionnalités et discussions sur Discord — sont les bienvenues.

Lire plus
(github.com)
Développement indexation de données moteur open source

Echo R1 : Lecteur de Musique Open Source Haute-Fidélité

2025-04-24
Echo R1 : Lecteur de Musique Open Source Haute-Fidélité

Echo R1 est un lecteur de musique open source basé sur un logiciel libre, conçu pour une lecture audio haute-fidélité. Alimenté par un processeur STM32H743, il dispose de 32 Mo de RAM et d'un codec audio TLV320AIC3104 supportant des fréquences d'échantillonnage jusqu'à 96 kHz. L'appareil possède un pavé directionnel à 4 directions, 6 boutons multifonctions, des prises jack 3,5 mm doubles (casque et sortie ligne), une batterie remplaçable et un stockage extensible jusqu'à 2 To. Actuellement en phase de prototype R1, le projet corrige des problèmes connus, tels que l'impossibilité de désactiver le rétroéclairage et un étiquetage incohérent des composants, tout en développant un boîtier imprimable en 3D.

Lire plus
(github.com)
Matériel hardware libre

TacOS : Un système d'exploitation créé de zéro capable d'exécuter DOOM

2025-04-24
TacOS : Un système d'exploitation créé de zéro capable d'exécuter DOOM

Un développeur a publié TacOS, un système d'exploitation open source avec un noyau écrit en C et en assembleur. Ce noyau de type UNIX possède des fonctionnalités telles qu'un VFS, un planificateur, TempFS, des pilotes de périphériques, le changement de contexte, la gestion de la mémoire virtuelle et l'allocation de trames de pages physiques. Il peut remarquablement exécuter DOOM et d'autres petits programmes d'espace utilisateur. Il a été testé sur du matériel réel et sur QEMU. Bien qu'il soit encore en développement et comporte des bogues connus, TacOS est un projet hobby fascinant.

Lire plus
(github.com)
Développement
1 2 … 21 22 23 25 27 28 29 … 50 51