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

Nouvel article de Tao : Approfondissement de la distribution des valeurs propres de GUE et de ses mineurs

2024-12-22

Dans son dernier preprint sur arXiv, le mathématicien renommé Terence Tao approfondit la distribution des valeurs propres de l'ensemble unitaire gaussien (GUE) et de ses mineurs à indices fixes. Utilisant des processus déterminantaux et des techniques analytiques sophistiquées, l'article établit plusieurs estimations concernant les écarts entre valeurs propres, répondant à des questions précédemment sans réponse et ouvrant la voie à des travaux futurs sur le comportement limite des « ruches » avec des conditions aux limites GUE. Cette recherche contribue de manière significative à la compréhension des modèles de matrices aléatoires et des domaines connexes.

(terrytao.wordpress.com)
Développement matrices aléatoires distribution des valeurs propres

EIP de signalisation de mise à niveau sur chaîne Ethereum : le consensus communautaire pilote les mises à niveau

2024-12-22

Cette proposition introduit un mécanisme sur chaîne permettant aux clients Ethereum de signaler leur disponibilité pour les mises à niveau de protocole en intégrant un indicateur de « vote » dans le champ extraData des blocs nouvellement extraits. Les futurs blocs d’activation de fork ne se produiront que si suffisamment de blocs dans une fenêtre spécifiée signalent « pour » la mise à niveau. Cela transfère les décisions de mise à niveau de la Fondation Ethereum aux participants du réseau, augmentant la décentralisation et atténuant les risques de centralisation.

(ethereum-magicians.org)
Développement Mise à niveau du protocole Décentralisation

Minimiser la consommation de la batterie Wi-Fi dans les projets IoT

2024-12-22

Lors des premières étapes du développement de PetDrifts, un appareil IoT basé sur ESP32 C3, la durée de vie de la batterie était un défi majeur, ne durant qu'un jour. Le coupable a été identifié comme étant la forte consommation d'énergie pendant les requêtes HTTP POST toutes les 15 minutes. Pour résoudre ce problème, l'équipe a exploré deux solutions : passer de TCP à UDP pour réduire la surcharge du réseau, et adopter MQTT pour des connexions persistantes et une consommation d'énergie inférieure. Bien que des améliorations aient été observées, la durée de vie de la batterie n'était pas suffisante. Finalement, ils ont opté pour un MCU Bluetooth pour obtenir une durée de vie de la batterie considérablement plus longue.

(khalsalabs.com)
Développement Optimisation de la consommation d'énergie

Stockage clé-valeur basé sur SQLite : manipulation d’objets de type JS et sérialisation JSON automatique

2024-12-22

Un projet GitHub présente un stockage clé-valeur basé sur SQLite, permettant une manipulation d’objets similaire à JavaScript avec une sérialisation JSON automatique. La fonction `createDatabaseClient` crée un client parallèle avec des composants de lecteur (`rdr`) et d’écrivain (`wtr`) distincts. L’écrivain utilise des proxies pour les mises à jour JSON partielles, tandis que le lecteur renvoie des objets JavaScript simples. Des tests complets couvrent les opérations CRUD de base, les mises à jour imbriquées, les suppressions et les manipulations de tableaux.

(gist.github.com)
Développement stockage clé-valeur sérialisation JSON

Nix Home Manager : Guide de gestion des dotfiles

2024-12-22

Cet article explore les avantages et les techniques de l'utilisation de Nix Home Manager pour la gestion des dotfiles. L'auteur commence par reconnaître la courbe d'apprentissage abrupte de Nix et de Home Manager, recommandant une approche progressive pour maîtriser ses fonctionnalités. L'article explique différents cas d'utilisation de Home Manager, notamment l'installation de logiciels, la configuration déclarative des programmes et des services, et la gestion des dotfiles. L'accent est mis sur la fonction `mkOutOfStoreSymlink`, qui crée des liens symboliques vers les dotfiles, permettant des modifications sans reconstruire tout le système. Un exemple de module personnalisé est fourni pour faciliter la commutation entre les configurations mutables et immuables. Enfin, l'auteur compare Home Manager à d'autres outils de gestion de dotfiles, soulignant ses avantages en termes de reproductibilité.

(gvolpe.com)
Développement

Échec de la compilation de GCC : un mystère de débogage causé par la refactorisation de sbuild

2024-12-22

Les compilations officielles de Debian GCC ont commencé à échouer mystérieusement après une refactorisation de sbuild. Une équipe a entrepris une enquête en six étapes, découvrant finalement un conflit entre le nouveau système d’initialisation de sbuild et un test unitaire du langage D. Le test a accidentellement terminé son propre groupe de processus, interrompant la compilation. La cause principale était l’utilisation de -2 comme valeur PID spéciale dans le test unitaire du langage D, ce qui a entraîné l’envoi de signaux SIGTERM au mauvais groupe de processus. Le retour à l’ancien système d’initialisation ou la modification du code du test ont résolu le problème.

(www.linux.it)
Développement débogage

L'héritage durable de NeXT dans OS X et iOS

2024-12-22

Cet article explore l'impact profond de NeXT et de son système d'exploitation NeXTSTEP sur OS X et iOS d'Apple. Les bases UNIX de NeXTSTEP ont apporté des fonctionnalités cruciales telles que la mémoire protégée, le multitâche préemptif et les daemons, améliorant ainsi la stabilité et l'efficacité. Il a également introduit le langage de programmation Objective-C et le framework Cocoa, simplifiant le développement de logiciels et donnant naissance à des outils puissants comme Interface Builder. De plus, la technologie Display PostScript de NeXTSTEP a jeté les bases du système graphique Quartz d'OS X. Ces technologies restent au cœur des appareils Apple aujourd'hui, soulignant la contribution significative de NeXT à l'informatique moderne.

(arstechnica.com)
Développement

Des déploiements lents engendrent des réunions : un argument de causalité inversée

2024-12-22

Les programmeurs se plaignent souvent du fait que trop de réunions entravent la productivité. Kent Beck remet cette idée en question, suggérant que les réunions sont une conséquence, et non la cause, de déploiements lents. L’expérience de Facebook montre qu’augmenter la fréquence des déploiements est essentiel. Lorsque la vitesse de déploiement est inférieure à celle des changements de code, les organisations ajoutent des réunions et des examens pour atténuer les risques, réduisant ainsi l’efficacité. Au lieu de réduire les réunions, concentrez-vous sur l’amélioration de la capacité de déploiement en raccourcissant les cycles ou en améliorant la qualité du code. Cet essai offre une nouvelle perspective, explorant la relation contre-intuitive entre les déploiements lents et l’augmentation de la surcharge organisationnelle.

(tidyfirst.substack.com)
Développement efficacité du déploiement causalité inversée

Amélioration de la gestion des erreurs en F# : présentation de FaultReport

2024-12-22

Cet article critique les lacunes du type Result de F# dans la gestion des erreurs, soulignant les incohérences dans les types d’erreur et les problèmes découlant de l’utilisation de chaînes de caractères comme types d’erreur. L’auteur propose FaultReport comme alternative, utilisant une interface IFault pour standardiser les types d’erreur et un type Report<'Pass', 'Fail> pour représenter les résultats de l’opération, où 'Fail doit implémenter IFault. Cela assure une gestion des erreurs cohérente et type-safe, évitant les inconvénients des erreurs basées sur des chaînes de caractères. FaultReport fournit également Report.generalize pour la conversion ascendante et un motif actif FailAs pour la conversion descendante, facilitant la gestion de différents types d’erreurs. Bien que remplacer le Result de FSharp.Core soit une tâche importante, l’auteur soutient que la conception de FaultReport apporte une amélioration précieuse à la gestion des erreurs de F#.

(paul.blasuc.ci)
Développement

Assistant GitHub : Explorez les dépôts GitHub avec un langage naturel

2024-12-22

L'Assistant GitHub est un projet de preuve de concept qui permet aux utilisateurs d'explorer les dépôts GitHub en utilisant des questions en langage naturel. Construit avec Relta et assistant-ui, il permet aux utilisateurs de poser des questions en français simple et de recevoir des informations pertinentes sur le dépôt. Le sous-module Relta est actuellement à code fermé, mais disponible sur demande. Nécessite Python 3.9+, npm, Git et la configuration d'une clé API OpenAI et d'un URI de connexion à la base de données.

(github.com)
Développement Traitement du Langage Naturel Recherche de Code

Le créateur de Rosetta 2 rejoint Lean FRO pour améliorer le générateur de code

2024-12-22

Leonardo de Moura, scientifique principal appliqué chez AWS et architecte en chef chez Lean FRO (une organisation à but non lucratif), a annoncé que Cameron Zwarich, le brillant créateur de Rosetta 2 et développeur de logiciels exceptionnel avec plus de 15 ans d'expérience chez Apple spécialisé dans les logiciels systèmes bas niveau, a rejoint l'équipe Lean FRO. Zwarich se concentrera sur l'amélioration du générateur de code de Lean, promettant un impact significatif sur l'écosystème Lean.

(www.linkedin.com)
Développement Générateur de code

Révolutionner le flux de travail : la puissance d'un CHANGELOG public

2024-12-22

L'ingénieur AWS Daniel Doubrovkine partage son expérience de la tenue d'un CHANGELOG public de son travail. En documentant ouvertement ses tâches hebdomadaires, il favorise la transparence et la collaboration. Cette pratique a généré des avantages significatifs : des entretiens individuels plus productifs, une intégration plus fluide pour les nouveaux ingénieurs, un accès facile aux travaux précédents, une meilleure autoréflexion et une confiance accrue entre les collègues. Il encourage les autres à adopter cette approche et partage sa méthode de journalisation simple ainsi qu'un script Ruby pour générer une table des matières annuelle.

(code.dblock.org)
Développement journal de travail

Un cas curieux d'importation lente de USD dans Blender

2024-12-22

Un développeur a rencontré des temps d'importation inattendument lents lors de l'importation de scènes USD dans Blender. Le profilage a révélé que le goulot d'étranglement était la fonction de tri d'ID interne de Blender, `id_sort_by_name`. Cette fonction, qui devait être de complexité O(N), s'est dégradée à O(N²) en raison du schéma de nommage dans les fichiers USD. En modifiant la convention de nommage et en optimisant l'algorithme de tri, le développeur a réduit les temps d'importation de 4 minutes 40 secondes à 8 secondes pour les fichiers plus petits. Cependant, le problème sous-jacent provient de l'exigence de Blender pour les ID triés, ce qui conduit à des suggestions pour remplacer la liste chaînée par un arbre Trie ou une table de hachage. Cette optimisation souligne un défi courant dans l'optimisation des performances : identifier et résoudre la complexité inattendue.

(gist.github.com)
Développement

cqd : Un utilitaire Python coloré pour inspecter les attributs d'objet

2024-12-22

cqd est un utilitaire Python léger qui fournit une visualisation colorée des attributs d'objet, simplifiant l'inspection des objets pendant le développement et le débogage. Il code les attributs par couleur : méthodes dunder (bleu), attributs protégés (jaune) et attributs/méthodes publics (vert). Par exemple, il est utile pour visualiser facilement les attributs d'un tokeniseur Hugging Face. L'installation est facile via `pip install cqd`. L'utilisation implique d'importer la fonction `cqd` et d'appeler `cqd(your_object).

(github.com)
Développement outil de débogage attributs d'objet

JEP 483 de Java : Le chargement et la liaison anticipés des classes améliorent le temps de démarrage

2024-12-22

Le JEP 483 améliore considérablement le temps de démarrage des applications Java en chargeant et en liant les classes d'application à l'avance lorsque la JVM HotSpot démarre. Cela est réalisé en surveillant une seule exécution de l'application, en stockant les formes chargées et liées de toutes les classes dans un cache pour une réutilisation lors des exécutions suivantes. Cette fonctionnalité ne nécessite aucune modification du code et offre des améliorations de vitesse substantielles pour les grandes applications serveur, Spring PetClinic affichant une réduction de 42 % du temps de démarrage. Bien qu'il s'agisse actuellement d'un processus en deux étapes, les versions futures simplifieront la création du cache en une seule étape et offriront une configuration d'exécution d'entraînement plus flexible.

(openjdk.org)
Développement

Traduction massive de Java vers Kotlin chez Meta : surmonter des millions de lignes de code

2024-12-22

Meta a entrepris un effort de plusieurs années pour traduire son immense base de code Android de Java vers Kotlin. Cet article détaille comment Meta a construit Kotlinator, un outil d’automatisation, pour surmonter des défis tels que les vitesses de compilation lentes et les linters insuffisants, réussissant à convertir plus de la moitié de son code. Kotlinator comprend plusieurs phases : prétraitement, conversion J2K sans tête, postraitement et correction d’erreurs. Meta a également collaboré avec JetBrains pour améliorer J2K et a rendu certaines parties du processus open source pour favoriser la collaboration communautaire. L’article met en lumière la gestion de la sécurité Null et diverses questions de code rencontrées et résolues lors de la conversion.

(engineering.fb.com)
Développement migration de code

Une conversation par-dessus un mur a changé ma carrière de programmeur

2024-12-21

En 1983, un programmeur travaillant pour un grand entrepreneur de défense envisageait de faire un doctorat en chimie. Une conversation fortuite par-dessus un mur avec le responsable du groupe voisin de "micro-ordinateurs" (un bricoleur) l'a conduit à une réunion concernant l'Apple II. Là, il a été chargé de créer un émulateur de terminal VT-100 en assembleur 6502 en une semaine pour permettre au président de la société de lire ses e-mails à domicile. Cette expérience a non seulement changé le cours de sa carrière, le menant à rejoindre le groupe de micro-ordinateurs et à devenir le seul programmeur PC de l'entreprise, mais l'a également conduit à créer sa propre entreprise. Des années plus tard, il a réfléchi à la façon dont les rencontres fortuites et les relations interpersonnelles avaient profondément façonné sa vie.

(thecodist.com)
Développement carrière opportunité

Philosophie de la conception de logiciels : apprivoiser la complexité

2024-12-21

Cet article résume trois idées clés du livre « Une philosophie de la conception de logiciels » : tolérance zéro pour la complexité, l’idée fausse que des composants plus petits équivalent toujours à une meilleure modularité et les complexités inhérentes à la gestion des exceptions. L’auteur soutient que la complexité n’est pas causée par des erreurs isolées, mais qu’elle s’accumule au fil du temps. Des exemples d’un système de traitement des commandes et d’enregistrement des utilisateurs illustrent comment éviter le code dupliqué et trouver le bon équilibre entre la taille des composants et la modularité. De plus, l’article détaille trois techniques pour réduire la complexité de la gestion des exceptions : éliminer les erreurs, masquer les exceptions et agrégation des exceptions, le traitement des fichiers servant d’exemple. Le livre souligne en fin de compte l’importance de simplifier constamment la complexité dans la conception de logiciels.

(www.16elt.com)
Développement conception de logiciels complexité gestion des exceptions

Enum de tableaux : une nouvelle structure de données pour un traitement efficace des données

2024-12-21

Cet article présente une structure de données appelée « Enum de tableaux » (EoA), similaire à la structure populaire « Struct of Arrays » (SoA), mais avec des énumérations au cœur. L’EoA regroupe plusieurs valeurs d’énumération dans un tableau, en utilisant une seule balise pour identifier le type du tableau. Cela réduit l’utilisation de la mémoire et la surcharge de prédiction de branche, ce qui conduit à un traitement des données plus efficace, particulièrement avantageux pour l’optimisation SIMD. L’article utilise le système de base de données TigerBeetle comme exemple, illustrant comment l’EoA permet un traitement par lots efficace en séparant efficacement le plan de contrôle et le plan de données, ce qui se traduit par des performances considérablement améliorées.

(tigerbeetle.com)
Développement structure de données optimisation SIMD

Yakari : Un constructeur de commandes interactif pour simplifier les interfaces CLI complexes

2024-12-21

Yakari est un outil interactif de construction de commandes conçu pour simplifier les interfaces en ligne de commande complexes. Il guide les utilisateurs pas à pas dans la construction des commandes, éliminant ainsi le besoin de mémoriser des syntaxes complexes. Prenant en charge différents types d'arguments, Yakari offre une aide contextuelle et un historique des commandes, améliorant considérablement la convivialité de l'interface CLI. Les utilisateurs peuvent construire et exécuter des commandes avec des raccourcis simples, rendant même les commandes complexes accessibles.

(github.com)
Développement outil de ligne de commande interface interactive

Itérateurs Go : Gestion efficace des API paginées

2024-12-21

Cet article montre comment gérer efficacement les API paginées à l'aide de la fonctionnalité d'itérateurs introduite dans Go 1.23. En utilisant l'API GitHub comme exemple, l'auteur explique comment écrire un itérateur personnalisé pour abstraire la logique de pagination, rendant le code plus lisible et réutilisable. L'article se concentre sur l'implémentation et les tests de l'itérateur, y compris la simulation des appels d'API et l'utilisation d'itérateurs pull pour s'assurer que l'itérateur renvoie les résultats attendus. Les itérateurs permettent aux développeurs de séparer la logique de pagination de la logique métier, améliorant ainsi la maintenabilité et la lisibilité du code.

(blog.thibaut-rousseau.com)
Développement Itérateurs API paginées

Manifeste du Pipeline de Livraison Continue : Construire une meilleure livraison de logiciels

2024-12-21

Les équipes de développement de logiciels modernes ont désespérément besoin de meilleurs outils pour gérer leurs pipelines de livraison continue. L’écosystème actuel des pipelines de CD est fragmenté, rigide et inefficace. Ce manifeste préconise des pipelines axés sur le code, conviviaux pour les développeurs et conçus pour gérer la complexité des workflows d’ingénierie modernes. Il met l’accent sur une seule source de vérité, des composants réutilisables et typecontrolable, des pipelines dynamiques et flexibles, un débogage transparent et visuel, et des mécanismes pour gérer les changements et les boucles de rétroaction rapides, dans le but ultime d’améliorer l’efficacité et d’accélérer la livraison.

(manifesto.getglu.dev)
Développement Livraison Continue Développement Logiciel

Rivet : Exécutez et mettez à l'échelle des applications en temps réel avec les acteurs

2024-12-21

Rivet est une plateforme pour construire et mettre à l'échelle des applications en temps réel utilisant le modèle Actor. Elle intègre des fonctionnalités RPC, d'état et d'événements, simplifiant ainsi le développement d'applications modernes. Rivet offre un scaling automatique, un déploiement en réseau de périphérie et inclut une surveillance intégrée et des capacités de localisation des données. Propulsé par Rust, FoundationDB, des isolats V8 et l'environnement d'exécution Deno, il garantit les performances et l'efficacité. Rivet convient aux applications collaboratives, aux applications local-first, aux agents IA, aux serveurs de jeux et bien plus encore.

(github.com)
Développement Modèle Acteur Applications temps réel Plateforme Cloud

SingleFile : Enregistrez des pages web complètes en tant que fichiers HTML uniques

2024-12-21

SingleFile est une extension web puissante et un outil CLI qui enregistre des pages web complètes en tant qu'un seul fichier HTML. Compatible avec Chrome, Firefox, Edge et plus encore, il offre un enregistrement de pages pratique, un traitement multi-onglets, des fonctionnalités d'annotation et permet même de télécharger des pages enregistrées sur Google Drive ou GitHub. Personnalisez les raccourcis clavier et les paramètres pour l'adapter à vos besoins.

(github.com)
Développement enregistrement de page web

Apprentissage efficace de l'allemand : Anki est-il la solution ?

2024-12-21

Un ingénieur vivant en Allemagne depuis près de huit ans avoue ne toujours pas maîtriser la langue. Pour y remédier, il essaie Anki, utilisant la répétition espacée pour apprendre 10 nouveaux mots allemands par jour, dans le but d'atteindre un niveau C1 en un an. Il a choisi un jeu de cartes Anki ordonné par fréquence, en ajoutant lui-même les prononciations audio. L'auteur invite les lecteurs à partager leurs expériences avec Anki et leurs conseils pour apprendre l'allemand.

(www.argpar.se)
Développement apprentissage de l'allemand répétition espacée

Dire au revoir aux vulnérabilités des chaînes C : une approche plus sûre pour la gestion des chaînes

2024-12-21

Fatigué des vulnérabilités et de l’insécurité des chaînes C ? Cet article présente une alternative intelligente : une structure de chaîne personnalisée `struct str`, qui contient un pointeur de données et la longueur, évitant les risques liés à la terminaison nulle. L’expérience de six mois de l’auteur dans un environnement bare-metal montre que cette approche prévient efficacement les erreurs telles que le dépassement de tampon. Bien que l’utilisation de la macro `STR` soit un peu verbeuse, le gain en sécurité et en lisibilité dépasse largement cela. Les optimisations du compilateur rendent également la perte de performances négligeable, offrant une nouvelle approche aux développeurs qui privilégient la sécurité du code.

(thasso.xyz)
Développement langage C gestion des chaînes

Comment un robot de révision de code IA a appris à se taire

2024-12-21

Le robot de révision de code IA de Greptile a initialement été critiqué pour générer trop de commentaires. Pour résoudre ce problème, ils ont expérimenté l'ingénierie des invites et ont fait évaluer ses propres commentaires par le LLM, mais ces méthodes se sont avérées inefficaces. Leur percée est venue de la vectorisation des commentaires précédents, de leur regroupement dans une base de données vectorielle et du filtrage des nouveaux commentaires similaires à ceux qui avaient été précédemment rejetés. Cette approche a augmenté le taux de prise en charge des développeurs de 19 % à plus de 55 %, réduisant considérablement le bruit du LLM.

(www.greptile.com)
Développement Révision de code

Implémentation de Raft : Plongez au cœur du consensus distribué

2024-12-21

Ceci est le premier article d'une série décrivant l'algorithme de consensus distribué Raft et son implémentation en Go. Raft résout le problème de la réplication d'une machine à états déterministes sur plusieurs serveurs, garantissant la disponibilité du service même en cas de panne de serveurs. L'article présente les composants principaux de Raft : la machine à états, le journal, le module de consensus, les rôles de leader/suiveur et l'interaction avec le client. Il aborde la tolérance aux pannes de Raft, le théorème CAP et le choix de Go comme langage d'implémentation. Les articles suivants approfondiront les détails de l'implémentation de l'algorithme.

(eli.thegreenplace.net)
Développement Consensus Distribué

Gazzetta : La Meilleure Façon de Lire les Actualités et les Liens sur Mastodon

2024-12-21

Gazzetta est un lecteur d'actualités conçu pour Mastodon, contrairement aux autres clients qui privilégient l'expérience de réseau social. Il fonctionne comme un lecteur RSS pour Mastodon, offrant une interface séparée pour une lecture concentrée des actualités et des liens. Il permet de suivre des serveurs et des comptes pour voir les liens populaires, la recherche en texte intégral, l'intégration avec Safari, la gestion des signets, l'exportation des liens et des options de personnalisation telles que les styles de police, le masquage des miniatures et le filtrage des liens par domaine, mot clé ou langue.

(primatology.xyz)
Développement Lecteur d'actualités
← Previous 1 3 4 5 6 7 8 9