Recharge à chaud en Rust avec Scheme embarqué

2025-01-08

Cet article montre comment intégrer l'interpréteur Scheme léger Stak Scheme dans Rust, un langage compilé, pour modifier dynamiquement le comportement du programme sans redémarrer le processus. Il met en évidence la fonctionnalité de recharge à chaud en intégrant un script Scheme dans un serveur HTTP Rust. En utilisant Stak Scheme et la bibliothèque `stak-build`, la logique du gestionnaire de requêtes HTTP du serveur est modifiée dynamiquement sans recompilation du programme Rust.

Lire plus
Développement Recharge à chaud

Six péchés capitaux des équipes plateforme : éviter les pièges du DevOps

2025-01-08
Six péchés capitaux des équipes plateforme : éviter les pièges du DevOps

Cet article explore six pièges courants que rencontrent les équipes plateforme lors de la mise en œuvre du DevOps. Ces problèmes, apparemment subtils, peuvent gravement limiter l’efficacité d’une équipe plateforme. S’appuyant sur son expérience personnelle, l’auteur approfondit les causes profondes et propose des solutions aux problèmes liés au nommage de l’équipe, au manque d’empathie, au déséquilibre entre l’objectif à court et à long terme, à la confusion entre facilité d’utilisation et simplicité, au traitement des ingénieurs produit comme des clients et à l’expansion excessive de leur domaine. L’article souligne que les équipes plateforme doivent se concentrer sur la résolution de problèmes plutôt que sur des solutions spécifiques, établir une communication et une collaboration solides avec les équipes produit, équilibrer les objectifs à court et à long terme, rechercher la simplicité plutôt que la simple facilité d’utilisation et toujours prioriser la valeur pour le client final.

Lire plus
Développement Équipes plateforme

Remerciements autodérissants de l'auteur du manuel Scsh

2025-01-08

Olin Shivers, auteur du manuel de référence Scsh version 0.6.7, propose une version sombre et humoristique des remerciements. Il satire ses collègues, ses étudiants, ses parents et son chef de département, confessant sa dépendance au Prozac et au Jack Daniel's pour passer la journée, insinuant le stress et l'insatisfaction qu'il a ressentis lors de la création du manuel. L'ensemble des remerciements est empreint de négativité et d'autodérision ; c'est moins un remerciement qu'un commentaire sarcastique sur l'environnement académique et ses circonstances personnelles.

Lire plus

Couplage biparti minimum via optimisation de Riemann

2025-01-08

Cet article présente une nouvelle approche pour résoudre le problème du couplage biparti minimum en utilisant l'optimisation de Riemann. L'auteur transforme le problème d'optimisation combinatoire en un problème d'optimisation sans contrainte sur la variété des matrices doublement stochastiques et le résout en utilisant la descente de gradient de Riemann. Les résultats expérimentaux montrent que cette méthode peut trouver efficacement la solution optimale et présente une bonne convergence. Cette recherche combine intelligemment les mathématiques combinatoires, la géométrie différentielle et l'informatique, offrant une nouvelle perspective pour résoudre de tels problèmes.

Lire plus

Autocorrection QMK : Correction des fautes de frappe sur le clavier

2025-01-08

Le firmware QMK inclut désormais une fonction d'autocorrection, offrant une correction en temps réel des fautes de frappe directement sur votre clavier. Utilisant une structure de données Trie, il corrige efficacement les fautes d'orthographe courantes (par exemple, 'ouput' en 'output') avec une surcharge minimale des ressources (1672 octets pour 71 entrées, ~20 µs par pression de touche). Il ne tient pas compte de la casse, est personnalisable via un dictionnaire et prend actuellement uniquement en charge les caractères alphanumériques et les apostrophes. Bien qu'il soit limité à l'anglais, il améliore considérablement l'efficacité de la frappe pour les programmeurs et les utilisateurs similaires.

Lire plus

Erreur sur le site : problèmes de compatibilité JavaScript et navigateur

2025-01-08
Erreur sur le site : problèmes de compatibilité JavaScript et navigateur

Une erreur s'est produite lors de l'accès au site web Learning Synths. Le message indique que le navigateur n'est pas pris en charge ou que JavaScript n'est pas activé. Cela est probablement dû à un navigateur obsolète ou à JavaScript désactivé. Il est recommandé d'utiliser un navigateur moderne tel que Chrome, Firefox, Safari, Edge ou Opera, et de s'assurer que JavaScript est activé.

Lire plus

Construire un OS en 1000 lignes de code : Un guide pour débutants

2025-01-08

Ce livre vous guide dans la construction d'un petit système d'exploitation à partir de zéro, étape par étape. Bien que le développement du noyau d'un OS puisse sembler intimidant, les fonctions fondamentales sont étonnamment simples. En utilisant C, vous implémenterez le changement de contexte, la pagination, le mode utilisateur, un shell en ligne de commande, un pilote de disque et des opérations d'E/S de fichiers — le tout en 1000 lignes de code. Le défi ? Le débogage. Vous apprendrez des techniques de débogage essentielles au développement d'OS, en relevant des défis tels que le processus de démarrage et la pagination. Préparez-vous à un voyage passionnant dans le monde du développement d'OS !

Lire plus
Développement Développement OS Langage C

Le responsable de la sécurité de la DEF CON confronté à des factures médicales colossales après une blessure au cou

2025-01-08
Le responsable de la sécurité de la DEF CON confronté à des factures médicales colossales après une blessure au cou

Marc Rogers, responsable de la sécurité de la DEF CON, doit faire face à des dizaines de milliers de dollars de factures médicales après une blessure au cou qui l'a laissé temporairement tétraplégique. Initialement avec des symptômes légers, des retards d'IRM dus à des problèmes d'assurance ont aggravé son état. Il a subi une intervention chirurgicale d'urgence et est maintenant en convalescence. Malgré les coûts médicaux importants, il a partiellement retrouvé ses fonctions et poursuit son travail en cybersécurité. Des amis ont lancé une collecte de fonds pour aider à couvrir les dépenses.

Lire plus
Technologie urgence médicale

Simulation d'automate cellulaire 1D VGA dans le navigateur

2025-01-08

Le projet TinyTapeout '09 d'Alexander Mordvintsev exécute un signal VGA 60 fps 640x480 directement dans votre navigateur. Cette puce unique de 160x100 μm simule une animation défilante de plusieurs règles élémentaires d'automates cellulaires 1D. Le simulateur basé sur WebAssembly, visualisé avec SwissGL, affiche les activations au niveau des portes. Cela démontre une densité de calcul impressionnante, montrant la capacité à intégrer des calculs complexes sur une puce minuscule. Des liens vers le référentiel de conception et la page de démonstration sont fournis.

Lire plus

Concurrency en Python : threads, processus et asyncio – Plongeon en profondeur

2025-01-08
Concurrency en Python : threads, processus et asyncio – Plongeon en profondeur

Cet article résume les forces et les faiblesses de trois approches de la concurrence en Python : les threads, les processus et asyncio. Les threads partagent les ressources et sont faciles à utiliser, mais sont limités par le GIL ; les processus ont des espaces mémoire indépendants, contournant le GIL, mais avec une surcharge plus importante ; asyncio utilise une boucle d’événements monothreadée, gérant efficacement les tâches liées aux E/S, mais exige des opérations non bloquantes et présente une courbe d’apprentissage plus raide. Le choix dépend du type de tâche : les tâches liées au processeur privilégient les processus, les tâches liées aux E/S privilégient asyncio, et les threads conviennent aux autres cas.

Lire plus
Développement concurrency Python

La tentative ratée du gouvernement américain de remplacer les travailleurs agricoles migrants par des lycéens

2025-01-08
La tentative ratée du gouvernement américain de remplacer les travailleurs agricoles migrants par des lycéens

En 1965, après la fin du programme Bracero, le gouvernement américain a lancé le A-TEAM, recrutant des lycéens pour remplacer les travailleurs agricoles migrants mexicains. Face à des conditions de travail brutales et un logement inadéquat, de nombreux étudiants ont démissionné ou ont fait grève. L'échec du programme met en lumière l'exploitation des travailleurs migrants et le manque de compréhension de la nature ardue de leur travail. Cet événement historique offre des informations précieuses sur les complexités des questions d'immigration et de travail.

Lire plus

Le rebondissement des contacts : plus complexe qu'il n'y paraît

2025-01-08

Cet article explore les complexités du rebondissement des contacts des interrupteurs mécaniques. L'auteur a mené des expériences sur 18 types d'interrupteurs différents, révélant des temps de rebondissement allant de quelques nanosecondes à plusieurs centaines de millisecondes, impactés significativement par le type d'interrupteur et la méthode d'activation. Les résultats mettent en évidence l'insuffisance des techniques simples de débruitage logiciel pour tous les scénarios, soulignant la nécessité de solutions matérielles ou logicielles spécifiques au contexte. L'analyse révèle que, outre le rebondissement physique du contact, les transitions de signaux analogiques dans les niveaux logiques TTL contribuent au rebondissement logique. Les résultats remettent en question les hypothèses sur le comportement des interrupteurs et appellent à des stratégies de débruitage plus robustes.

Lire plus

Statut du service Bitwarden : pannes et problèmes de latence récentes

2025-01-08

Le gestionnaire de mots de passe Bitwarden a récemment subi plusieurs pannes de service et problèmes de latence. Le 7 janvier, les services cloud américains et européens, notamment le service d’identité, l’API RESTful et le coffre-fort Web, ont été soumis à une maintenance et ont connu des problèmes d’accès intermittents. Le 8 janvier, les services cloud américains ont également connu une dégradation du service, les utilisateurs rencontrant des erreurs inattendues ou un refus d’accès lors de la connexion. L’équipe Bitwarden surveille activement la situation et résout les problèmes. Il est conseillé aux utilisateurs d’essayer différentes connexions réseau pour résoudre les problèmes d’accès.

Lire plus
Technologie pannes

Les GPU sont si rapides, pourquoi utilisons-nous encore les CPU ?

2025-01-08
Les GPU sont si rapides, pourquoi utilisons-nous encore les CPU ?

Une vidéo virale utilise un duel de peinture pour illustrer la différence de performance entre les CPU et les GPU : un CPU dessine péniblement un visage souriant, tandis qu’un GPU rend instantanément la Joconde. Mais cela ignore un point crucial : les types de programmes. Les CPU excellent dans les instructions séquentielles, tandis que les GPU excellent dans le traitement parallèle. La plupart des applications mélangent du code séquentiel et parallèle ; par exemple, un programme peut être paralellisable à 50 %. Les CPU sont comme des chefs cuisiniers, capables de gérer les événements imprévus ; les GPU sont comme des cuisiniers en ligne, maîtrisant les tâches répétitives. Des puces comme l’Apple M3 intègrent les deux, combinant la flexibilité du CPU et la puissance de calcul du GPU.

Lire plus
Technologie traitement parallèle

Commencez en Jeans : Un Guide pour le Progrès Itératif dans les Startups

2025-01-08
Commencez en Jeans : Un Guide pour le Progrès Itératif dans les Startups

Cet article préconise une approche pragmatique pour aborder les projets, appelée méthode « jeans d'abord ». L'auteur, s'appuyant sur des années d'expérience de randonnée et de startups, plaide pour commencer par des solutions simples et facilement accessibles avant d'investir dans des mises à niveau coûteuses ou longues. Cette approche minimise les coûts et les risques initiaux, permettant des améliorations itératives basées sur l'expérience acquise. Des exemples incluent l'utilisation d'outils de base pour les tests de produits et les commentaires des clients au lieu de déployer immédiatement des solutions sophistiquées.

Lire plus

La Résurrection de Servo : Deux Ans de Progrès chez Igalia

2025-01-08

Deux ans après qu'Igalia a repris la maintenance du projet Servo, des progrès significatifs ont été réalisés. Ils ont corrigé de nombreux bugs, amélioré la stabilité et ajouté le support pour Android et OpenHarmony. La construction active de la communauté et les collaborations ont mené à une augmentation substantielle du nombre de contributeurs et de l'activité du code. Bien qu'il soit encore expérimental, les avantages de performance et de sécurité de Servo le positionnent pour une croissance future significative, pouvant devenir le moteur web idéal pour les systèmes embarqués et les applications Rust.

Lire plus
Développement Moteur Web

Études sur les solveurs SAT I : Plongez au cœur de la satisfaisabilité booléenne

2025-01-08
Études sur les solveurs SAT I : Plongez au cœur de la satisfaisabilité booléenne

Cet article de blog explore le monde fascinant des solveurs SAT, retraçant leur évolution des approches simples de force brute aux algorithmes sophistiqués comme Davis-Putnam et l'apprentissage de clauses guidé par les conflits (CDCL). Il compare différentes techniques, en soulignant les progrès récents tels que la clôture de congruence, le balayage d'équivalence clausale et l'ajout de variables bornées qui ont considérablement amélioré les performances. L'auteur fournit des exemples de code Python illustrant les solveurs par force brute, basés sur Davis-Putnam et sur la boucle de clauses données. L'article aborde également les techniques d'évaluation partielle et les orientations futures de la recherche, ce qui en fait une lecture captivante pour quiconque s'intéresse aux complexités de la satisfaisabilité booléenne.

Lire plus

Hyperview : Des applications mobiles natives aussi faciles à créer qu'un site web

2025-01-08
Hyperview : Des applications mobiles natives aussi faciles à créer qu'un site web

Hyperview est un nouveau format hypermédia et un client React Native pour développer des applications mobiles pilotées par serveur avec la simplicité de la création d'un site web. Il affiche les écrans en récupérant le contenu Hyperview XML (HXML) d'un serveur, supportant diverses technologies back-end comme Django, Rails ou Node. Les mises à jour sont instantanées grâce aux modifications du back-end, éliminant les longs délais d'examen sur l'app store. Hyperview excelle pour les applications basées sur le réseau (réseaux sociaux, places de marché, navigation multimédia), mais n'est pas idéal pour les applications fortement dépendantes des données hors ligne ou du calcul local.

Lire plus

Sci-Hub héberge 85 % d'articles retirés sans indication

2025-01-08
Sci-Hub héberge 85 % d'articles retirés sans indication

Ars Technica rapporte que le site de partage d'articles de recherche Sci-Hub continue d'héberger un nombre important d'articles retirés, dont 85 % ne portent aucune indication de retrait. Sci-Hub contourne les paywalls en obtenant illégalement des PDF, donnant accès aux chercheurs. Cependant, sa base de données manque d'un mécanisme de mise à jour efficace, ce qui signifie que les articles retirés restent disponibles, pouvant entraîner des citations erronées et un gaspillage de ressources. Les chercheurs exhortent Sci-Hub à mettre à jour sa base de données pour signaler les articles retirés et préserver l'intégrité académique.

Lire plus

Quand allons-nous réparer les logiciels qui dirigent le monde ?

2025-01-08
Quand allons-nous réparer les logiciels qui dirigent le monde ?

Les logiciels sous-tendent le monde moderne, mais leur qualité est étonnamment incohérente. Des industries comme la santé, la vente au détail et le transport aérien dépendent de logiciels anciens et inefficaces, ce qui nuit à la productivité et au potentiel. L'auteur appelle à une attention urgente sur ces domaines négligés, plaidant pour un investissement dans la mise à jour d'outils logiciels cruciaux afin de libérer tout le potentiel des professionnels et de surmonter les systèmes inefficaces et obsolètes.

Lire plus

Comment un navigateur bloque silencieusement l'exécution RWX ?

2025-01-08
Comment un navigateur bloque silencieusement l'exécution RWX ?

Un chercheur en sécurité a découvert un mécanisme similaire à un EDR dans un navigateur populaire qui bloque l'exécution de shellcode RWX. En interceptant l'API BaseThreadInitThunk(), le navigateur vérifie si les attributs mémoire du shellcode sont PAGE_EXECUTE_READ. Sinon, il redirige l'exécution du thread vers un 'puits', empêchant l'exécution de code malveillant. Bien que simple, cette fonctionnalité inattendue souligne les mesures de sécurité proactives d'un navigateur, augmentant significativement la difficulté d'exploiter les régions mémoire RWX.

Lire plus

Actualités des hackers : Au cœur des opérations d’une bande de phishing vocal prolifique

2025-01-08

Un article de KrebsOnSecurity révèle le fonctionnement interne d’un groupe de phishing vocal très actif. Ce groupe abuse des services légitimes d’Apple et de Google, utilisant des numéros de téléphone falsifiés, des e-mails de phishing et des messages système pour escroquer ses victimes. Il exploite même une ligne d’assistance téléphonique officielle d’Apple pour envoyer des messages de confirmation et gagner leur confiance. Le groupe est organisé avec une division du travail claire : appelants, opérateurs, vidangeurs et propriétaires. L’article explique comment il utilise les fuites de données et les outils automatisés pour cibler ses victimes, et détaille les conflits internes et les trahisons. Cet incident souligne l’importance de la cybersécurité et expose le fonctionnement complexe des groupes de cybercriminalité.

Lire plus
Technologie phishing vocal

Lenovo dévoile la console portable Legion Go S avec SteamOS

2025-01-08

Lenovo a officiellement annoncé la console portable Legion Go S au CES, la première console portable officiellement licenciée par Valve pour SteamOS au monde. Préchargée avec le système d'exploitation SteamOS de Valve, basé sur Arch Linux, elle offre des fonctionnalités telles que les sauvegardes dans le cloud, le jeu à distance et un accès complet au Steam Store et à la bibliothèque de jeux. La Legion Go S utilise le processeur AMD Ryzen Z1 Extreme et les graphismes Radeon 700M, possède un écran LCD de 8 pouces avec une résolution de 1200p, jusqu'à 32 Go de RAM et jusqu'à 1 To de stockage SSD. Au prix de départ de 500 USD, elle sera disponible en mai. Il est à noter qu'elle utilise le Ryzen Z1 Extreme, et non le Ryzen Z2 annoncé récemment par AMD.

Lire plus

Benchmark d'algorithmes de comptage de chiffres décimaux

2025-01-08
Benchmark d'algorithmes de comptage de chiffres décimaux

Ce code implémente une suite de benchmarks pour comparer différents algorithmes de comptage de chiffres décimaux. Il génère des entiers aléatoires, puis utilise cinq méthodes différentes (y compris log10, la manipulation de bits et des méthodes de table de recherche) pour compter le nombre de chiffres dans ces entiers et comparer leurs performances. Les tests couvrent les entiers 32 bits et 64 bits, révélant des différences de performances significatives entre les algorithmes, certains algorithmes basés sur la manipulation de bits montrant des performances supérieures.

Lire plus
Développement comparaison d'algorithmes

Tests d'accessibilité automatisés chez Slack : défis et réussites

2025-01-08
Tests d'accessibilité automatisés chez Slack : défis et réussites

L'équipe d'ingénierie de Slack détaille son parcours dans la mise en œuvre de tests d'accessibilité automatisés. Les tentatives initiales d'intégration d'Axe dans sa bibliothèque de tests React et son framework Jest ont échoué en raison de complexités. Ils ont opté pour Playwright, utilisant des fonctions et des stratégies personnalisées pour automatiser avec succès les vérifications d'accessibilité et les intégrer à CI/CD. Bien qu'ils n'aient pas pu masquer complètement les vérifications automatisées, ils ont minimisé la surcharge des développeurs en simplifiant les flux de travail, en améliorant les rapports et en établissant des processus clairs. Les plans futurs incluent une optimisation supplémentaire et l'exploration de tests assistés par IA.

Lire plus

Lenovo fait sensation au CES 2025 avec un ordinateur portable à écran enroulable et une console portable SteamOS

2025-01-07
Lenovo fait sensation au CES 2025 avec un ordinateur portable à écran enroulable et une console portable SteamOS

Lenovo a marqué les esprits au CES 2025 avec plusieurs produits innovants. Le plus remarquable est le ThinkBook Plus Gen 6, un PC IA avec un écran OLED enroulable de 14 pouces qui s'étend à 16,7 pouces, augmentant considérablement l'espace d'affichage. La Legion Go S a également été présentée, une console portable disponible en deux versions : Windows et SteamOS (la première console portable SteamOS officiellement licenciée). Enfin, l'ordinateur tout-en-un ThinkCentre M90a Pro Gen 6 intègre la technologie Lenovo Focus Sound, un son directionnel pour une meilleure confidentialité. Malgré l'innovation, ces appareils sont proposés à un prix élevé.

Lire plus
Matériel écran enroulable

Streets GL : Un moteur de carte 3D en temps réel open source

2025-01-07

Streets GL est un puissant moteur de carte 3D en temps réel open source offrant aux développeurs les outils nécessaires pour construire des mondes virtuels époustouflants. Tirant parti de WebGL, il offre des performances exceptionnelles, rendant en douceur des ensembles de données géographiques massifs et prenant en charge les matériaux, l'éclairage et les effets personnalisés. Que ce soit pour créer des simulateurs de villes, des cartes de jeux ou des applications de RV immersives, Streets GL gère tout. Sa nature open source en fait une ressource précieuse pour la communauté, constamment mise à jour et améliorée.

Lire plus
Développement Carte 3D Moteur open source

Nvidia dévoile les GPU RTX 50 Blackwell : RTX 5090 à 2000$, RTX 5080 à 1000$ et plus

2025-01-07
Nvidia dévoile les GPU RTX 50 Blackwell : RTX 5090 à 2000$, RTX 5080 à 1000$ et plus

Nvidia a dévoilé sa série GeForce RTX 50 très attendue au CES 2025, avec la nouvelle architecture Blackwell et la technologie DLSS 4. La gamme comprend la RTX 5090 à 2000$, la RTX 5080 à 1000$, la RTX 5070 Ti à 749$ et la RTX 5070 à 549$. Bien qu'Nvidia affirme que la RTX 5070 atteint les performances de la RTX 4090 avec le DLSS 4, des benchmarks réels sont nécessaires. Les nouvelles cartes graphiques possèdent plus de cœurs CUDA, une bande passante mémoire plus élevée et une capacité VRAM plus importante, mais aussi une consommation d'énergie nettement plus importante. La génération multi-images du DLSS 4 soulève des questions sur la latence et la qualité de l'image. En résumé, la série RTX 50 présente des améliorations de performances et un rapport qualité-prix raisonnables, bien que l'écart de performances entre le modèle haut de gamme et les autres soit important, et les 12 Go de VRAM de la RTX 5070 pourraient être limitants.

Lire plus
Matériel

Ingénierie inverse de l'âge de pierre : le laboratoire d'un archéologue expérimental

2025-01-07
Ingénierie inverse de l'âge de pierre : le laboratoire d'un archéologue expérimental

Metin Eren, archéologue à la Kent State University, dirige un laboratoire d'archéologie expérimentale où lui et son équipe recréent et testent des technologies anciennes. Leurs travaux vont de la taille du silex et du lancer de javelots à l'analyse des marques de ricochet de balles et à la découpe de bisons avec des outils anciens. Eren met l'accent sur la rigueur scientifique de ses expériences apparemment ludiques, publiant de nombreux articles chaque année. Ses recherches mettent en lumière les limites de l'archéologie traditionnelle et la valeur de l'expérimentation pratique pour comprendre les cultures et les technologies du passé. Le laboratoire se concentre sur l'utilisation de l'archéologie expérimentale pour comprendre l'évolution culturelle et les limites du registre archéologique.

Lire plus

50 ans du SNL : L'histoire non racontée d'une designer

2025-01-07
50 ans du SNL : L'histoire non racontée d'une designer

Le magazine PRINT a interviewé Marlene Weisman, une designer qui a travaillé pendant sept saisons sur Saturday Night Live (SNL) dans les années 1980. Elle raconte son incroyable parcours en créant des graphismes pour des sketchs emblématiques à une époque pré-informatique, en utilisant la calligraphie, le Letraset, la photocomposition et le collage. Weisman détaille les collaborations avec des stars comme Mike Myers et le rythme effréné de la production du SNL. L'article offre un aperçu des coulisses du SNL et un aperçu fascinant du voyage créatif d'une designer au milieu des changements technologiques.

Lire plus
Design design rétro
1 2 536 537 538 540 542 543 544 595 596