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

86Box : Retour vers le passé de l'architecture x86

2024-12-30
86Box : Retour vers le passé de l'architecture x86

86Box est un émulateur x86 bas niveau capable d'exécuter des systèmes d'exploitation et des logiciels anciens conçus pour les systèmes IBM PC et compatibles, de 1981 jusqu'aux conceptions de systèmes relativement récentes basées sur le bus PCI. Il offre une interface conviviale, une émulation bas niveau des processeurs basés sur 8086 jusqu'au Celeron de l'ère Mendocino, une grande capacité de personnalisation des machines virtuelles et la prise en charge d'une variété de périphériques. Il permet d'exécuter MS-DOS, les anciennes versions de Windows, OS/2, plusieurs distributions Linux et des systèmes anciens comme BeOS ou NEXTSTEP.

Lire plus
(github.com)
Développement émulateur x86

MiceWine : Exécuter des applications et des jeux Windows sur Android

2024-12-30
MiceWine : Exécuter des applications et des jeux Windows sur Android

MiceWine vise à exécuter des applications et des jeux Windows sur les smartphones Android. Il utilise une version personnalisée de Wine compilée pour Android et Box64 pour des performances optimales. Actuellement en développement actif, il utilise un serveur X basé sur Termux-X11. Compatible avec Android 10 et supérieur. Les GPU Adreno 7xx et 6xx sont compatibles avec Turnip/Zink, tandis que d'autres ont un support partiel avec natif/Zink (expérimental). Vulkan natif sur les GPU autres qu'Adreno est expérimental et nécessite des tests.

Lire plus
(github.com)
Développement Applications Windows

PolyDye : Modification d'impression 3D couleur pour imprimantes Marlin

2024-12-30
PolyDye : Modification d'impression 3D couleur pour imprimantes Marlin

PolyDye est un projet open-source qui apporte l'impression couleur vibrante aux imprimantes 3D basées sur Marlin en intégrant la technologie d'impression jet d'encre. Il applique des couches d'encre entre les couches de filament blanc, contrôlées précisément par un ESP32-S3. Actuellement en version bêta, ce mod passionnant est en constante évolution et ajoute des fonctionnalités.

Lire plus
(github.com)
Matériel impression couleur

Cadre KAG : Un cadre de raisonnement et de récupération augmenté par la connaissance

2024-12-30
Cadre KAG : Un cadre de raisonnement et de récupération augmenté par la connaissance

KAG est un cadre de raisonnement logique et de Q&R basé sur le moteur OpenSPG et les grands modèles de langage, utilisé pour construire des solutions de raisonnement logique et de Q&R factuelles pour les bases de connaissances de domaine professionnel. Il surmonte efficacement les lacunes du calcul de similarité vectorielle RAG traditionnel, prenant en charge le raisonnement logique et les Q&R factuelles à plusieurs sauts, et surpassant les méthodes de pointe actuelles. Les principales caractéristiques de KAG incluent une structure d'indexation mutuelle des connaissances et des fragments, l'alignement des connaissances par le raisonnement sémantique conceptuel, la construction de connaissances soumise à des contraintes de schéma et le raisonnement et la récupération hybrides guidés par une forme logique.

Lire plus
(github.com)
IA graphe de connaissance raisonnement logique

Construction d'un émulateur complet d'ordinateur en C : De la porte NAND au Tetris

2024-12-30
Construction d'un émulateur complet d'ordinateur en C : De la porte NAND au Tetris

Ce projet vise à construire un émulateur d'ordinateur complet en C à partir de zéro, en suivant le cours NandToTetris. Il commence par une seule porte NAND et construit progressivement des puces plus complexes, telles que des multiplexeurs et des démultiplexeurs, aboutissant à un système capable d'exécuter Tetris. Contrairement à d'autres projets d'émulateurs qui commencent au niveau du processeur, celui-ci construit méthodiquement toute la pile matérielle. Le projet en est à ses débuts, l'auteur prévoyant d'implémenter un assembleur après avoir terminé les composants matériels.

Lire plus
(github.com)
Développement émulateur d'ordinateur programmation C

Extension Racket : Intégration d’images dans le code source

2024-12-29
Extension Racket : Intégration d’images dans le code source

Cette bibliothèque Racket permet d’intégrer des images directement dans les fichiers de code source, éliminant ainsi le besoin de références à des fichiers externes. Elle utilise une extension µ reader et un encodage uuencode pour convertir les données d’image en une représentation textuelle, résolvant ainsi le problème des formats de fichiers binaires (comme WXME) créés par les méthodes d’intégration d’images traditionnelles, incompatibles avec des outils comme git. La bibliothèque fournit des fonctions d’empaquetage et de dépaquetage pour convertir facilement les images en texte intégrable et les décoder pour les afficher. Bien que la gestion des erreurs et la mise en forme du texte puissent être améliorées, elle offre un moyen pratique de créer des projets Racket autonomes.

Lire plus
(github.com)
Développement intégration d’images code source

Projet open source libsearch sur GitHub : Recherche textuelle intégrale sans index pour JavaScript

2024-12-29
Projet open source libsearch sur GitHub : Recherche textuelle intégrale sans index pour JavaScript

libsearch est une bibliothèque de recherche textuelle intégrale en JavaScript open source sur GitHub qui permet des recherches de texte rapides sans nécessiter d'index pré-construit. Elle exploite le moteur d'expressions régulières hautement optimisé des moteurs JavaScript modernes, transformant les chaînes de requête en filtres d'expressions régulières pour la recherche et utilisant un algorithme TF-IDF approximatif pour le classement. Cette bibliothèque convient aux applications simples qui ne nécessitent pas d'indexation complexe, particulièrement utile pour le prototypage rapide et les petites applications web.

Lire plus
(github.com)
Développement recherche textuelle intégrale bibliothèque open source

resizer2 : Gérez les fenêtres Windows comme dans KDE/i3 avec Win+Souris

2024-12-29
resizer2 : Gérez les fenêtres Windows comme dans KDE/i3 avec Win+Souris

resizer2 est un gestionnaire de fenêtres pour Windows qui vous permet de redimensionner et de déplacer les fenêtres à l'aide de la touche Win + souris, de manière similaire aux gestionnaires de fenêtres KDE ou i3. Il offre des fonctionnalités telles que le déplacement, le redimensionnement, le réglage de l'opacité, la minimisation et la maximisation des fenêtres, même sur plusieurs moniteurs. Bien qu'il nécessite des privilèges d'administrateur pour déplacer les fenêtres du système et présente quelques problèmes connus (comme l'incompatibilité avec certaines applications plein écran), resizer2 offre une expérience de gestion des fenêtres plus efficace et pratique pour les utilisateurs de Windows.

Lire plus
(github.com)
Développement gestion des fenêtres outil de productivité

Anki propulsé par l'IA : Révolutionner l'apprentissage médical

2024-12-28
Anki propulsé par l'IA : Révolutionner l'apprentissage médical

AnkiAIUtils est une suite d'outils alimentés par l'IA conçus pour améliorer les flashcards Anki. En utilisant des modèles tels que ChatGPT, DALL-E et Stable Diffusion, il génère automatiquement des explications, des mnémoniques, des illustrations et des fonctionnalités d'apprentissage adaptatif. Les outils associent dynamiquement des exemples pertinents en fonction de la progression de l'apprentissage, créent des accroches de mémoire personnalisées et prennent en charge divers fournisseurs et modèles de LLM. Bien qu'il en soit encore à ses débuts, ce projet présente un potentiel immense pour transformer l'enseignement médical et l'apprentissage au-delà.

Lire plus
(github.com)
IA Apprentissage adaptatif

Mixin : Un puissant framework de tissage de bytecode pour Java

2024-12-28
Mixin : Un puissant framework de tissage de bytecode pour Java

Mixin est un framework de traits/mixins et de tissage de bytecode pour Java utilisant ASM, se connectant au processus de chargement des classes à l'exécution via des services branchables. Il prend en charge le système LegacyLauncher de Mojang (déprécié au profit du ModLauncher plus extensible), et est compatible avec Java 8 et les versions ultérieures. Mixin offre une documentation complète, des référentiels Maven et des outils, notamment un processeur d'annotations pour gérer les tâches d'obfuscation, et une intégration avec Eclipse et IntelliJ IDEA. Son historique des versions détaille les ajouts de fonctionnalités et les corrections de bogues, aidant les développeurs à choisir la version appropriée.

Lire plus
(github.com)
Développement

Caravan : Un système de journalisation flexible basé sur le transport pour JavaScript/TypeScript

2024-12-28
Caravan : Un système de journalisation flexible basé sur le transport pour JavaScript/TypeScript

Caravan est un système de journalisation flexible et basé sur le transport pour les applications JavaScript/TypeScript. Il prend en charge plusieurs transports (console, fichier, Datadog, BetterStack, etc.), le filtrage du niveau de journalisation, la liaison de contexte via des journaux dérivés et la dissimulation des données. Les développeurs peuvent facilement enregistrer des messages de base, des métadonnées et des informations contextuelles, améliorant ainsi le débogage et la surveillance. Sa conception priorisant TypeScript améliore l'expérience du développeur.

Lire plus
(github.com)
Développement système de journalisation

Optimisation du compilateur SBCL : accélération de la compilation de (lambda () nil)

2024-12-28
Optimisation du compilateur SBCL : accélération de la compilation de (lambda () nil)

Le compilateur SBCL a bénéficié d'une optimisation significative qui améliore considérablement la vitesse de compilation des fonctions vides comme `(lambda () nil)`. Auparavant, la compilation générait de nombreuses fonctions redondantes. Cette optimisation identifie et gère ces cas spéciaux, en retournant directement une fonction vide prédéfinie, évitant ainsi des calculs inutiles et augmentant significativement la vitesse de compilation. Cette amélioration est particulièrement efficace lorsqu'on traite de grandes quantités de code contenant des fonctions vides, réduisant ainsi le temps de compilation et augmentant la productivité du développeur.

Lire plus
(github.com)
Développement optimisation du compilateur fonction lambda

Suiveur d'exercices minimaliste : Un fichier HTML pour les entraînements hebdomadaires

2024-12-27
Suiveur d'exercices minimaliste : Un fichier HTML pour les entraînements hebdomadaires

exerciseminimilism est un outil minimaliste de suivi d'exercices créé à partir d'un seul fichier HTML et du stockage local du navigateur. Il suit sept séries d'exercices quotidiens fixes sur une semaine, en privilégiant la simplicité pour encourager une utilisation cohérente. Seuls l'entraînement du jour et le poids de la veille sont affichés. Aucune fonctionnalité complexe ni aucune configuration n'est incluse. Vous pouvez personnaliser les exercices en modifiant le fichier HTML ; un minuteur simple permet de suivre les périodes de repos. Les données sont stockées localement dans le navigateur, éliminant ainsi le besoin de comptes. C'est simple, facile à utiliser et compatible avec la plupart des navigateurs modernes.

Lire plus
(github.com)
Divers suivi d'exercices stockage local

NeatShift : Un outil moderne d'organisation de fichiers pour Windows

2024-12-27
NeatShift : Un outil moderne d'organisation de fichiers pour Windows

NeatShift est une application Windows moderne conçue pour aider les utilisateurs à organiser leurs fichiers et dossiers de manière efficace et sécurisée à l'aide de liens symboliques. Elle possède une interface propre, une fonctionnalité de glisser-déposer, une gestion des liens et une prévention des erreurs. L'application est facile à installer et à exécuter, sans nécessiter de dépendances supplémentaires. Actuellement en phase de test, elle inclut la création automatique de points de restauration système pour la sécurité, bien que des sauvegardes manuelles soient fortement recommandées.

Lire plus
(github.com)
Développement gestion de fichiers liens symboliques utilitaire Windows

Tesla Light Show : Guide pour les spectacles de lumière personnalisés

2024-12-27
Tesla Light Show : Guide pour les spectacles de lumière personnalisés

Tesla a lancé une fonctionnalité de spectacle de lumière personnalisée permettant aux utilisateurs de créer et de lire des spectacles de lumière personnalisés sur les véhicules Model S, Model 3, Model X, Model Y et Cybertruck 2021 et suivants via une clé USB utilisant le logiciel xLights. Ce guide détaille les étapes de création et d’exécution de spectacles de lumière personnalisés, notamment l’installation du logiciel, les exigences de format de fichier, le contrôle des effets lumineux et le dépannage, et fournit un script de validation pour aider les utilisateurs à vérifier si leurs fichiers de spectacle de lumière répondent aux exigences de Tesla.

Lire plus
(github.com)
Divers Spectacle de lumière

Projet GitHub : Automatisation d’e-mail quotidien de vocabulaire néerlandais

2024-12-27
Projet GitHub : Automatisation d’e-mail quotidien de vocabulaire néerlandais

Ce projet GitHub automatise l’envoi quotidien d’un e-mail contenant trois mots néerlandais de niveau C1, leurs traductions en anglais et des exemples de phrases. L’auteur a créé ce projet faute d’outils d’apprentissage adaptés, utilisant ChatGPT pour les suggestions de mots et les services AWS (Lambda, DynamoDB et SES) pour l’automatisation. L’architecture du projet est simple, mais laisse place à des améliorations, comme la refactorisation du code Python pour de meilleures performances.

Lire plus
(github.com)
Développement apprentissage du néerlandais

Calculatrice simple en temps réel utilisant Tree-sitter et Cranelift JIT

2024-12-27
Calculatrice simple en temps réel utilisant Tree-sitter et Cranelift JIT

Ce projet GitHub présente une calculatrice simple en temps réel construite avec Tree-sitter et Cranelift JIT. Le code principal est hautement intégré pour une meilleure compréhension. Le projet inclut la grammaire, une interface REPL, des tests de stress et des benchmarks. La modification de la grammaire met automatiquement à jour le binaire principal. La mise en évidence de la syntaxe est utilisée comme exemple des capacités de Tree-sitter.

Lire plus
(github.com)
Développement Calculatrice en temps réel

Quiver : Un éditeur moderne de diagrammes commutatifs pour le web

2024-12-27
Quiver : Un éditeur moderne de diagrammes commutatifs pour le web

Quiver est un éditeur web moderne pour créer des diagrammes commutatifs. Il permet de créer rapidement des diagrammes complexes, de les restituer en haute qualité pour un affichage à l'écran et de les exporter vers LaTeX via tikz-cd. Les fonctionnalités incluent une interface intuitive, la prise en charge des pullbacks, des pushouts, des adjonctions et des cellules d'ordre supérieur, une sélection multiple, un historique, des macros personnalisées et l'intégration HTML pour un partage facile. Créer des diagrammes est considérablement plus rapide que d'écrire l'équivalent en LaTeX à la main.

Lire plus
(github.com)
Développement diagramme commutatif éditeur web

SkunkHTML : Générateur de sites statiques pour GitHub Pages

2024-12-27
SkunkHTML : Générateur de sites statiques pour GitHub Pages

SkunkHTML est un générateur de sites statiques basé sur GitHub Actions, permettant aux utilisateurs de créer et de déployer rapidement des blogs personnels ou des sites web sur GitHub Pages à l'aide de fichiers Markdown. Il suffit de télécharger vos fichiers Markdown dans le dossier `/markdown-blog/`, et GitHub Actions se charge automatiquement de la construction et du déploiement du site mis à jour. SkunkHTML prend en charge le système de commentaires Giscus et fournit une documentation et des exemples détaillés. Le projet est entièrement open-source et peut être directement bifurqué sur GitHub sans téléchargement local.

Lire plus
(github.com)
Développement générateur de sites statiques

Défis de mise à jour des bibliothèques Rust : une astuce pour éviter les conflits de version

2024-12-26
Défis de mise à jour des bibliothèques Rust : une astuce pour éviter les conflits de version

La mise à jour des bibliothèques dans l'écosystème Rust entraîne souvent des effets en cascade et des problèmes importants. Cet article présente une technique appelée « astuce semver », qui résout intelligemment le problème de la mise à jour des API moins fréquemment utilisées sans modifier les API couramment utilisées, en faisant en sorte qu'une bibliothèque dépende de sa future version. Cette méthode est particulièrement utile pour éviter la nécessité de mises à jour coordonnées à grande échelle dans toute la chaîne de dépendances en raison de changements importants dans une seule bibliothèque, simplifiant ainsi considérablement le processus de mise à jour.

Lire plus
(github.com)
Développement mise à niveau de version mises à jour des bibliothèques contrôle des versions

Moteur de lancer de rayons WebGPU open source : rendu en temps réel de scènes glTF

2024-12-26
Moteur de lancer de rayons WebGPU open source : rendu en temps réel de scènes glTF

Le projet open source webgpu-raytracer est un moteur de lancer de rayons logiciel créé à l’aide de l’API WebGPU. Il prend en charge les fichiers de scène glTF et rend les matériaux avec albedo, les maps normales et les maps de matériaux. Le moteur utilise BVH pour les intersections accélérées de scène de rayons et utilise l’échantillonnage d’importance multiple pour plus d’efficacité. Actuellement, il prend en charge les maps d’environnement et permet le contrôle de la caméra au clavier et à la souris, mais la réfraction n’est pas encore prise en charge.

Lire plus
(github.com)
Développement Lancer de rayons

Projet open source GitHub Thruster : Simplification du déploiement d'applications Rails avec un proxy HTTP/2

2024-12-26
Projet open source GitHub Thruster : Simplification du déploiement d'applications Rails avec un proxy HTTP/2

Thruster est un proxy HTTP/2 conçu pour simplifier les déploiements en production d'applications Rails. Il fonctionne avec le serveur web Puma, offrant des fonctionnalités telles que la prise en charge HTTP/2, la gestion automatique des certificats TLS avec Let's Encrypt, la mise en cache HTTP de base et la prise en charge de X-Sendfile avec compression. Il vise une configuration zéro ; il suffit de définir la variable d'environnement TLS_DOMAIN pour activer TLS, sinon il fonctionne uniquement en mode HTTP. Thruster encapsule également le processus Puma, ce qui le rend idéal pour les environnements conteneurisés. Initialement créé pour le projet ONCE, il est désormais utilisé pour les déploiements plus simples d'autres applications Rails.

Lire plus
(github.com)
Développement Déploiement

DeepSeek-V3 : Un modèle linguistique Mixture-of-Experts de 671 milliards de paramètres

2024-12-26
DeepSeek-V3 : Un modèle linguistique Mixture-of-Experts de 671 milliards de paramètres

DeepSeek-V3 est un puissant modèle linguistique Mixture-of-Experts (MoE) de 671 milliards de paramètres, activant 37 milliards de paramètres par jeton. Utilisant l'attention latente multicouche (MLA) et l'architecture DeepSeekMoE, il innove avec une stratégie d'équilibrage de charge sans perte auxiliaire et un objectif d'entraînement de prédiction multi-jetons. Pré-entraîné sur 14,8 trillions de jetons de haute qualité, suivi d'un réglage fin supervisé et d'un apprentissage par renforcement, DeepSeek-V3 surpasse les autres modèles open source et atteint des performances comparables aux modèles propriétaires leaders, avec une efficacité d'entraînement remarquable : seulement 2,788 millions d'heures de GPU H800.

Lire plus
(github.com)
IA grand modèle linguistique

Node.js active --experimental-strip-types par défaut, améliorant la prise en charge de TypeScript

2024-12-26
Node.js active --experimental-strip-types par défaut, améliorant la prise en charge de TypeScript

Une mise à jour importante de Node.js active l'indicateur `--experimental-strip-types` par défaut. Cela signifie que les développeurs peuvent désormais exécuter des fichiers TypeScript sans configuration supplémentaire. Ce changement vise à améliorer la prise en charge de TypeScript et à détecter davantage de bogues. Bien qu'il soit encore expérimental, cela représente une avancée majeure vers un développement TypeScript plus simple dans Node.js, offrant aux développeurs une expérience plus rationalisée.

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

Serveur Minecraft en COBOL : Un défi réussi

2024-12-26
Serveur Minecraft en COBOL : Un défi réussi

CobolCraft est un serveur Minecraft audacieusement créé à l'aide du langage de programmation COBOL, souvent considéré comme obsolète. Malgré les limites du COBOL dans la manipulation de données de bas niveau, ce projet supporte étonnamment des fonctionnalités telles que la génération de terrain infini, le chargement dynamique de blocs et le mode multijoueur. Il gère même les fichiers de données de Minecraft, démontrant le potentiel inattendu de ce langage souvent négligé et remettant en question les perceptions de ses capacités. Ce projet témoigne de l'ingéniosité en programmation et constitue une expérience intéressante utilisant des outils non conventionnels.

Lire plus
(github.com)
Développement Développement de serveur

SiYuan : Un logiciel de gestion des connaissances personnelles, privé et open source

2024-12-26
SiYuan : Un logiciel de gestion des connaissances personnelles, privé et open source

SiYuan est un logiciel de gestion des connaissances personnelles privilégiant la confidentialité, auto-hébergé et entièrement open source, écrit en TypeScript et Go. Il offre des fonctionnalités telles que des références de bloc granulaire, une édition WYSIWYG Markdown, des attributs personnalisés, l'intégration de requêtes SQL, le clipping web et l'exportation de liens d'annotations PDF. Disponible sur les stores d'applications (App Store, Google Play, F-Droid) et Docker, SiYuan offre une expérience puissante et conviviale. La plupart des fonctionnalités sont gratuites pour un usage personnel et commercial.

Lire plus
(github.com)
Développement gestion des connaissances

Black Candy : Un serveur de streaming musical auto-hébergé

2024-12-26
Black Candy : Un serveur de streaming musical auto-hébergé

Black Candy est un serveur de streaming musical auto-hébergé, votre centre musical personnel. Il offre une installation facile via Docker, vous permettant de configurer rapidement votre propre service de streaming musical. Une démo est disponible pour les tests. Bien que SQLite soit la base de données par défaut, PostgreSQL est également pris en charge. La persistance des données est gérée en montant le répertoire /app/storage. Pour de meilleures performances, le proxy Nginx est pris en charge, et des applications mobiles sont disponibles.

Lire plus
(github.com)
Développement auto-hébergé

Portspoof : Outil de falsification de ports open source qui contrecarre les analyses de ports

2024-12-25
Portspoof : Outil de falsification de ports open source qui contrecarre les analyses de ports

Portspoof est un outil de falsification de ports open source conçu pour améliorer la sécurité du système d'exploitation. Il embrouille les analyseurs de ports en gardant toujours les 65 535 ports TCP ouverts et en répondant par SYN+ACK à chaque tentative de connexion. De plus, Portspoof dispose d'une vaste base de données de signatures de services dynamiques, imitant divers bannières de services pour empêcher davantage les attaquants d'identifier les services réels. Cela augmente considérablement le temps et la difficulté pour les attaquants d'effectuer des analyses de ports et l'identification des services, améliorant ainsi efficacement la sécurité du système sans nécessiter de privilèges root.

Lire plus
(github.com)
Développement falsification de ports

SiaPy : Un outil Python pour le traitement efficace des images spectrales

2024-12-25
SiaPy : Un outil Python pour le traitement efficace des images spectrales

SiaPy est un outil Python permettant de traiter efficacement les images spectrales. Il fournit une suite complète d'outils pour charger, traiter et analyser les données d'images spectrales. SiaPy prend en charge plusieurs formats de fichiers et dispose d'une API conviviale. Le projet est sous licence MIT et accepte les contributions de la communauté.

Lire plus
(github.com)
Développement traitement d'images spectrales

Lancement d'une application de surveillance en temps réel du réservoir d'urine de l'ISS

2024-12-24
Lancement d'une application de surveillance en temps réel du réservoir d'urine de l'ISS

Un développeur a créé pISSStream, une application pour la barre de menu macOS qui affiche le niveau de remplissage du réservoir d'urine de la Station spatiale internationale en temps réel. Bien que le style de codage ne soit pas parfait, le concept unique de l'application offre un aperçu amusant d'un détail de la vie dans l'espace. Le développeur a déclaré qu'il n'ajouterait pas d'autres données, se concentrant uniquement sur le niveau de remplissage du réservoir d'urine.

Lire plus
(github.com)
Développement application macOS Station spatiale internationale données en temps réel
1 2 … 43 44 45 46 48 50 51