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

Category: Développement

Sortie de Fish Shell 4.0 : Réécriture en Rust pour des performances améliorées

2024-12-19

Fish shell, un shell de ligne de commande réputé pour sa convivialité et ses fonctionnalités intelligentes, a publié la version 4.0. Le changement le plus important est la réécriture complète de la base de code de C++ à Rust, ce qui se traduit par une meilleure efficacité de calcul moderne. La version 4.0 propose également de nombreuses nouvelles fonctionnalités, telles que des raccourcis clavier plus naturels et une recherche d'historique améliorée, conçues pour rendre l'expérience de la ligne de commande plus facile et plus agréable. Pour garantir la stabilité, le projet a publié une version bêta publique invitant tous les utilisateurs à participer aux tests.

(lwn.net)
Développement

Les inquiétudes d'un développeur senior : une déconnexion croissante avec la jeune génération

2024-12-19

Un développeur chevronné avec 25 ans d'expérience exprime une déconnexion croissante avec les jeunes développeurs web. Il observe un manque de compréhension des méthodes traditionnelles de développement web (applications non monopages) et une confusion entre les frameworks JavaScript et le JavaScript pur. Cela l'amène à réfléchir sur l'évolution des niveaux d'abstraction dans l'enseignement de la programmation et l'accent mis sur des compétences spécifiques. Prenant l'exemple d'un jeu télévisé pour développeurs, il souligne que certaines questions de « science informatique » mettent trop l'accent sur les détails spécifiques de JavaScript, négligeant les principes computationnels plus vastes. Il ne s'agit pas d'une critique des jeunes développeurs, mais d'une observation et d'une préoccupation concernant les tendances du secteur, et d'une réflexion sur la spécialisation croissante dans le domaine de la programmation.

(rakhim.exotext.com)
Développement écart générationnel

Une université révolutionne son cursus de programmation : accent sur la conception explicite et systématique

2024-12-19

Le département d'informatique de l'université Northeastern a développé un cursus de programmation unique qui met l'accent sur la conception explicite et systématique des programmes, plutôt que sur les langages de programmation à la mode. Le cursus commence par un langage d'enseignement simple, introduisant progressivement les principes de conception aux étudiants avant de les appliquer à des langages industriels. Cette approche cultive le raisonnement logique et les compétences de résolution de problèmes pour les logiciels volumineux et complexes. Le cursus met également en avant les aspects sociaux de la programmation, en encourageant la programmation en binôme pour améliorer la communication et la collaboration. Cette méthode améliore non seulement les perspectives d'emploi des étudiants, mais pose aussi les bases solides de leurs futures carrières.

(felleisen.org)
Développement conception de programme enseignement de la programmation réforme du cursus

Une découverte archéologique révèle 14 approches de sécurité mémoire, révolutionnant la programmation

2024-12-19

Un ingénieur logiciel a mis au jour un texte ancien dans une cité maya, révélant 14 approches étonnantes de la sécurité mémoire, bien au-delà de la compréhension actuelle des langages de programmation. Ces méthodes incluent des techniques traditionnelles comme la vérification des emprunts, le comptage des références et la collecte des ordures, ainsi que des innovations sans précédent, telles que la gestion de la mémoire basée sur les régions, les références générationnelles et le comptage des références linéaires. Cette découverte non seulement élargit notre compréhension de la sécurité mémoire, mais préfigure également la direction future des langages de programmation, avec le potentiel de révolutionner le développement logiciel.

(verdagon.dev)
Développement sécurité mémoire civilisation maya

Clavier Révolutionnaire : Disposition Dynamique Basée sur les Chaînes de Markov

2024-12-19

Fatigué des dispositions de clavier statiques ? Le projet MarkovKeyboard révolutionne la frappe ! Il utilise un algorithme de chaîne de Markov pour ajuster dynamiquement la disposition du clavier en fonction de vos habitudes de frappe, en rapprochant les touches fréquemment utilisées de la rangée de base. Cette bibliothèque Emacs met à jour la disposition à chaque pression de touche. Bien qu'elle ne prenne actuellement en charge que les lettres, elle s'adapte dynamiquement. Vous pouvez utiliser un modèle pré-entraîné ou entraîner vos propres données pour une disposition personnalisée.

(github.com)
Développement Chaîne de Markov clavier dynamique

Firenvim : Intégrez Neovim dans votre navigateur pour une édition améliorée

2024-12-19

Firenvim est une extension de navigateur qui intègre parfaitement l'éditeur Neovim à Chrome, Firefox et d'autres navigateurs. En un simple clic sur n'importe quelle zone de texte, vous pouvez instantanément éditer le contenu de la page web à l'aide des puissantes fonctionnalités de Neovim. Enregistrez les modifications avec ':w' et fermez l'éditeur avec ':q'. L'installation est simple et de nombreuses options de personnalisation vous permettent d'affiner le comportement du plugin, notamment la sélection des éléments, les paramètres de prise en charge automatique, les options de ligne de commande et bien plus encore. Firenvim offre des fonctionnalités avancées telles que le déclenchement manuel, la désactivation temporaire, la configuration personnalisée, la gestion des caractères spéciaux et l'interaction avec la page web. Cependant, sachez que des problèmes de compatibilité peuvent survenir avec certains sites web.

(github.com)
Développement édition de code

Projet open source yadm sur GitHub : Encore un gestionnaire de dotfiles

2024-12-19

yadm est un gestionnaire de dotfiles basé sur Git, prenant en charge les fichiers alternatifs spécifiques au système ou les fichiers modèles, et chiffrant les données privées à l'aide d'outils tels que GnuPG et OpenSSL. Il offre une initialisation et des hooks personnalisables pour exécuter des scripts personnalisés avant et après toute opération. Les fonctionnalités incluent l'ajout, la validation, le chiffrement et le déchiffrement de fichiers, ainsi que la création de configurations spécifiques au système d'exploitation. Adresse du projet : https://github.com/yadm-dev/yadm

(github.com)
Développement gestion de dotfiles chiffrement

Reservoirs Lab : Interface graphique légère pour base de données vectorielle Postgres

2024-12-19

Reservoirs Lab est une application Electron légère qui se connecte directement à une base de données Postgres pour visualiser des embeddings vectoriels de haute dimension stockés avec des données structurées. Les utilisateurs peuvent explorer leurs données interactivement et voir les corrélations entre les métadonnées et la similarité sémantique des embeddings vectoriels. Les fonctionnalités incluent l'intégration Postgres, la visualisation vectorielle, l'exploration de voisinage et un flux de travail local préservant la confidentialité.

(github.com)
Développement Base de données vectorielle Visualisation de données

Calendrier de l'Avent Perl 2024 : 'La moitié de ma vie avec Perl' par Randal Schwartz

2024-12-19

Le Calendrier de l'Avent Perl 2024 présente une présentation vidéo unique de Randal Schwartz, intitulée 'La moitié de ma vie avec Perl'. Randal, un vétéran de Perl, raconte son parcours avec le langage depuis ses débuts jusqu'à l'ère moderne, y compris son implication dans la création des livres Camel et Llama, et ses anecdotes humoristiques sur la façon dont il a conquis le forum comp.unix.questions avec Perl 2. C'est la première fois qu'une vidéo est incluse dans le Calendrier de l'Avent Perl, offrant une perspective nouvelle et engageante sur l'histoire du langage.

(perladvent.org)
Développement histoire de la programmation

GreptimeDB : Plongez au cœur de la gestion des erreurs pour les grands projets Rust

2024-12-19

Cet article de blog de GreptimeDB explore en détail ses pratiques de gestion des erreurs dans les grands projets Rust. Il décrit comment ils ont construit une pile d'erreurs moins coûteuse et plus précise pour remplacer les traces de pile système, comment ils organisent les erreurs dans les grands projets et comment ils présentent les erreurs différemment aux journaux et aux utilisateurs finaux. GreptimeDB utilise la crate snafu pour la gestion des erreurs et implémente une "pile d'utilisateur virtuelle". Cette approche s'avère plus efficace et économe en mémoire que les traces de pile système, fournissant des messages d'erreur plus clairs et compréhensibles pour les développeurs et les utilisateurs finaux.

(greptime.com)
Développement

Piccolo OS : Un petit système d’exploitation multitâche pour Raspberry Pi Pico

2024-12-19

Piccolo OS est un petit système d’exploitation multitâche conçu pour le Raspberry Pi Pico, principalement comme outil pédagogique. Il illustre les principes fondamentaux d’un système d’exploitation multitâche coopératif et de l’architecture Arm Cortex-M0+. Les tâches sont planifiées de manière simple, en round-robin, en utilisant les pointeurs de pile MSP et PSP pour le changement de contexte et la transition entre les modes Thread et Handler. Bien que simplifié en termes de fonctionnalités, il illustre clairement les principes centraux d’un système d’exploitation multitâche, ce qui le rend idéal pour apprendre sur les mécanismes internes d’un système d’exploitation.

(github.com)
Développement système d’exploitation

ScyllaDB passe à une licence de code source disponible pour sa base de données

2024-12-19

ScyllaDB a annoncé la transition de son produit phare, ScyllaDB Enterprise, d'une licence propriétaire à une licence de code source disponible, offrant un niveau gratuit avec toutes les fonctionnalités de la version Entreprise. Cela simplifie son processus de double version et apporte plus de valeur à la communauté. À l'avenir, ScyllaDB se concentrera sur un seul flux de version, consolidant les fonctionnalités principales pour améliorer les performances et l'efficacité ; des exemples incluent l'ajout/suppression de nœuds 30 fois plus rapide grâce au streaming basé sur les fichiers et la priorisation de la charge de travail pour équilibrer plusieurs charges de travail sur un seul cluster. Bien que cela puisse déplaire à certains utilisateurs de logiciels libres, ScyllaDB estime que ce changement est bénéfique pour l'entreprise et accélère les progrès sur les jalons de sa feuille de route : Raft pour les données, élasticité optimisée des tablettes et stockage hiérarchisé (S3).

(www.scylladb.com)
Développement Licence de code source disponible Base de données open source

Démythification de la RAM : Optimisation de l'accès à la mémoire

2024-12-19

Cet article remet en question l'idée reçue concernant la mémoire des ordinateurs modernes – le mythe de la RAM – qui suppose que l'accès à la mémoire est toujours aléatoire et uniforme. En analysant des algorithmes de partitionnement de données, l'auteur démontre que les algorithmes linéaires simples sont inefficaces pour les grands ensembles de données en raison de fréquentes erreurs de cache. Pour y remédier, une stratégie optimisée basée sur le tri par base est proposée. Des techniques telles que le pré-tri des données, l'utilisation de générateurs et la préallocation de la mémoire améliorent considérablement l'efficacité du partitionnement des données. Les résultats expérimentaux montrent que l'algorithme optimisé permet une accélération de 2,5 à 9 fois lors du traitement de grands ensembles de données.

(purplesyringa.moe)
Développement optimisation du cache tri par base traitement de données massives

Le compilateur MoonBit est désormais open source : un langage de programmation hautes performances pour WebAssembly

2024-12-19

Après deux ans de développement, le compilateur MoonBit, ainsi que son backend Wasm, sont désormais open source ! MoonBit vise à être un langage de programmation optimisé pour WebAssembly, reconnu pour sa vitesse, sa compacité et sa facilité d'utilisation. Cette version utilise une licence SSPL modifiée, permettant aux utilisateurs de choisir librement la licence de leurs artefacts générés et autorisant les modifications du compilateur à des fins non commerciales. L'équipe a choisi cette licence pour maintenir la stabilité pendant la phase bêta du projet et pour éviter que de grands fournisseurs de cloud ne détournent leurs travaux. À l'avenir, MoonBit prévoit d'open sourcer davantage de composants et de générer des revenus grâce à des services d'hébergement et des SDK matériels, dans le but de construire un écosystème communautaire dynamique.

(www.moonbitlang.com)
Développement Compilateur open source

Intégration de Lua dans Rust pour une analyse statique SQL configurable dans sqleibniz

2024-12-19

sqleibniz, un outil d'analyse statique SQL pour le dialecte SQLite, a été amélioré avec des scripts Lua pour une meilleure configurabilité et extensibilité. L'auteur détail l'intégration en utilisant la librairie mlua dans Rust, couvrant la conversion des structures de données, les appels de fonctions Lua et la gestion des erreurs. Les scripts Lua permettent aux utilisateurs de définir des règles et des hooks personnalisés, permettant une analyse statique flexible, comme des diagnostics personnalisés et des vérifications de style. Cela améliore considérablement l'extensibilité et l'expérience utilisateur de sqleibniz.

(xnacly.me)
Développement Analyse statique

Syntaxe SQL sans base de données : Présentation de Musoq

2024-12-18

Musoq est un projet open source permettant aux développeurs d’interroger diverses sources de données, telles que des fichiers, des répertoires et des images, à l’aide d’une syntaxe de type SQL, sans avoir besoin d’une base de données. Il possède une architecture de plugins prenant en charge diverses sources de données, notamment les systèmes de fichiers, les archives, les référentiels Git, le code C#, les ressources Docker et Kubernetes, et intègre même des modèles d’IA tels qu’OpenAI et Ollama pour des analyses avancées. Musoq vise à simplifier l’interrogation des données, en augmentant l’efficacité des développeurs, en particulier pour les requêtes ad hoc sur des ensembles de données de petite à moyenne taille. Bien qu’il utilise une syntaxe de type SQL, il n’est pas entièrement compatible avec SQL ; il privilégie une syntaxe conviviale et une exécution efficace.

(github.com)
Développement Requête de données Open source

Solaar Open Source : Un gestionnaire de périphériques Linux pour les périphériques Logitech

2024-12-18

Solaar est un gestionnaire de périphériques Linux open source pour de nombreux claviers, souris et autres périphériques Logitech se connectant sans fil via des récepteurs Unifying, Bolt, Lightspeed ou Nano, ainsi que de nombreux périphériques Logitech se connectant via un câble USB ou Bluetooth. Ce n'est pas un pilote de périphérique ; il répond aux messages spéciaux des périphériques qui seraient autrement ignorés par le système d'entrée Linux. Solaar prend en charge l'appairage/dépairage des périphériques avec les récepteurs, la configuration des paramètres des périphériques, la configuration personnalisée des boutons et l'exécution de règles en réponse aux messages spéciaux des périphériques. Les options d'installation incluent des paquets précompilés et la compilation du code source.

(github.com)
Développement

K8s Cleaner : Optimisez vos clusters Kubernetes

2024-12-18

K8s Cleaner est un outil de nettoyage de cluster Kubernetes conçu pour les administrateurs. Il identifie et supprime efficacement les ressources inutilisées pour améliorer les performances du cluster et réduire les coûts opérationnels. Il prend en charge tous les types de ressources, y compris les CRD, et offre des règles prédéfinies et des options personnalisables (basées sur le temps, les étiquettes ou les scripts Lua personnalisés). Des notifications sont envoyées via Slack, e-mail, etc., tandis qu'un mode d'exécution à sec empêche les modifications accidentelles. K8s Cleaner rationalise la gestion des ressources Kubernetes.

(sveltos.projectsveltos.io)
Développement Nettoyage de cluster Gestion des ressources

Java pour les petits programmes : scripts et notebooks

2024-12-18

Cet article explore l’efficacité surprenante de Java pour les petits programmes, notamment les scripts et la programmation exploratoire. L’auteur détaille comment les fonctionnalités de Java, telles que les classes implicites, les enregistrements et les énumérations, simplifient le code, soulignant la facilité d’exécution des scripts Java sans compilation (à l’aide de JEP 330 et JEP 458). La gestion des dépendances externes avec JBang est également abordée. L’article approfondit l’utilisation de Java dans les Jupyter Notebooks, reconnaissant les limites actuelles, mais exprimant l’espoir de futures améliorations de l’écosystème. L’expérience de l’auteur en matière d’automatisation de tâches fastidieuses montre la puissance de Java par rapport à des alternatives telles que les scripts bash et Python, en soulignant les avantages du typage statique et d’une prise en charge robuste des outils.

(horstmann.com)
Développement

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

2024-12-18

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

(github.com)
Développement Asynchrone

GitHub Copilot : Votre assistant de programmation IA

2024-12-18

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

(github.com)
Développement programmation IA assistant de code

Zipshare : Partage d’écran Android simplifié pour les équipes d’assistance

2024-12-18

Zipshare offre un partage d’écran Android simple et efficace, parfait pour les services d’assistance interne auprès des employés de vente ou des employés sur le terrain. Aucun enregistrement ni identifiant de réunion n’est nécessaire pour la personne partageant son écran : un partage instantané, avec la possibilité d’ajouter votre propre chat vocal ou vidéo. Une production de Miso Software.

(www.getzipshare.com)
Développement partage d’écran application Android assistance à distance

ISO 8583 : Le langage secret des cartes de crédit

2024-12-18

Chaque fois que vous utilisez votre carte ou effectuez un paiement en ligne, vous interagissez avec le protocole ISO 8583. Cette norme, définie en 1987, définit le format des messages de transaction en temps réel entre les réseaux bancaires. Elle inclut des champs principaux tels que les indicateurs de type de message, les bitmaps et les éléments de données, mais les réseaux varient dans leurs extensions et leurs méthodes de sérialisation, ce qui entraîne des défis de compatibilité. Cet article explore les complexités de la structure ISO 8583, le codage des champs, la gestion des messages imbriqués et montre comment construire un analyseur ISO 8583 robuste pour gérer les variations de réseau et les scénarios d'erreur.

(increase.com)
Développement paiements par carte de crédit

Mise à jour de Castle Game Engine : cible Web, prise en charge d’IFC et collaboration avec mORMot

2024-12-18

L’équipe de Castle Game Engine a annoncé des mises à jour, notamment une cible Web (utilisant JS+WebAssembly pour l’exécution de jeux dans le navigateur), la prise en charge du format IFC (Industry Foundation Classes) et l’édition collaborative à l’aide de mORMot2. La cible Web gère actuellement les fonctions de base et le support WebGL est en cours d’amélioration. La prise en charge d’IFC permet de charger, de modifier et d’enregistrer des modèles, avec des améliorations futures prévues. L’édition collaborative est encore en développement, mais permet déjà la modification du monde 3D et la synchronisation du serveur.

(castle-engine.io)
Développement moteur de jeu modélisation 3D

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

2024-12-18

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

(github.com)
Développement

Hadrius recrute un(e) designer UI/UX fondateur(trice), jusqu'à 150 000 $

2024-12-18

Hadrius, une startup fintech soutenue par Y Combinator, recrute un(e) designer UI/UX fondateur(trice). Elle utilise l'IA pour automatiser les opérations administratives des entreprises financières, prévenant ainsi les futures crises financières. Le poste est à temps plein à New York, avec un salaire de 80 000 $ à 150 000 $ et des options sur actions de 0,01 % à 0,15 %. Le candidat idéal est un designer hautement qualifié, expérimenté dans une entreprise technologique axée sur le design, maîtrisant Figma, et passionné par la mission de Hadrius. L'équipe comprend des ingénieurs de Google, Chime et d'autres grandes entreprises, et l'entreprise connaît une hypercroissance, doublant son chiffre d'affaires tous les trois mois.

(www.ycombinator.com)
Développement

Outils de puissance pour le leadership : SQL, statistiques et décisions basées sur les données

2024-12-18

Cet article explore comment les leaders en ingénierie peuvent tirer parti de SQL et des méthodes statistiques pour une prise de décision basée sur les données. L’auteur souligne que de nombreux leaders en ingénierie ne sont pas à l’aise pour extraire et interpréter les données, recommandant d’apprendre SQL (par exemple, en utilisant DuckDB) et des outils statistiques. L’article couvre les statistiques descriptives, les distributions, les intervalles de confiance et le raisonnement bayésien, en démontrant comment calculer les intervalles de confiance en analysant les données de suivi des bogues de Firefox, en utilisant des simulations de Monte Carlo pour l’estimation du temps de projet et en appliquant l’inférence bayésienne pour mettre à jour les probabilités d’achèvement du projet. L’article souligne l’importance des compétences en analyse de données pour les leaders en ingénierie, permettant des prédictions et des décisions plus précises.

(matt.blwt.io)
Développement leadership en ingénierie

Canva réduit les temps de build CI de plusieurs heures à moins de 30 minutes

2024-12-18

L'équipe d'ingénierie de Canva a considérablement réduit les temps de build d'intégration continue (CI), passant d'une moyenne de 80 minutes à moins de 30 minutes, voire 15 minutes dans certains cas. Ce résultat a été obtenu grâce à une approche multiforme. Ils ont identifié et résolu des problèmes de cache Bazel, optimisé les structures de pipeline, amélioré les checkouts et le cache du dépôt Git, et utilisé l'exécution de build distante de Bazel (RBE). Des expérimentations approfondies, incluant des tests de différents types d'instances et des ajustements des configurations Bazel, ont joué un rôle crucial. Une série d'améliorations incrémentales ont significativement augmenté l'efficacité de la CI, réduit les coûts et amélioré l'expérience développeur.

(www.canva.dev)
Développement Intégration Continue Optimisation CI

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

2024-12-18

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

(github.com)
Développement Machine de Turing Édition de fichiers Automate d'état
1 3 5 6 7 8