Webtagr - Résumé de news de technologie

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

Débogage des feux de frein avec un vibrateur : récit d’un hacker

2025-09-24

Débogage des feux de frein avec un vibrateur : récit d’un hacker

Le développeur à l’origine de BrakeBright, un dispositif amélioré pour les feux de frein de moto, détaille son parcours pour éliminer les faux positifs. Les premières tentatives utilisant des moyennes et des filtres passe-bas n’ont pas réussi à résoudre complètement le clignotement du feu de frein causé par les imperfections de la route et les vibrations du moteur. Il est ensuite passé à un filtrage médian, a ajusté les temps d’échantillonnage et a ajouté du jitter pour éviter la synchronisation avec les impulsions du moteur. De manière ingénieuse, un vibrateur réutilisé a simulé les conditions réelles pour les tests, ce qui a conduit à l’ajout d’un mécanisme intelligent de suppression des rebonds qui a résolu efficacement le problème. L’histoire est pleine d’humour et de rebondissements inattendus, montrant le dévouement du développeur à l’amélioration du produit et à l’expérience utilisateur.

(bikesafe.me)

Matériel Algorithmes logiciels Itération de produit

La vie est-elle une forme de calcul ?

2025-09-24

La vie est-elle une forme de calcul ?

Cet article explore le lien profond entre la vie et le calcul. S'appuyant sur les idées initiales d'Alan Turing et de John von Neumann, qui ont suggéré que la logique de la vie et la logique du code pourraient être une seule et même chose, il examine le modèle d'automate cellulaire auto-réplicant de von Neumann. L'article explique la nature de l'ADN comme un programme, en comparant et en contrastant le calcul biologique et le calcul numérique. Le calcul biologique est massivement parallèle, décentralisé et bruité, tandis que le calcul numérique repose sur l'exécution centralisée et séquentielle des instructions. L'article se termine en introduisant les automates cellulaires neuronaux, qui combinent les réseaux neuronaux modernes, la morphogenèse de Turing et les automates cellulaires de von Neumann pour simuler le comportement cellulaire, montrant comment le calcul peut produire un comportement imitant la vie à différentes échelles.

(thereader.mitpress.mit.edu)

IA

L'essor de l'équipe de nettoyage de l'IA : les humains qui réparent les dégâts de l'IA

2025-09-24

L'essor de l'équipe de nettoyage de l'IA : les humains qui réparent les dégâts de l'IA

L'essor d'outils d'IA comme ChatGPT a entraîné une augmentation du contenu de basse qualité, surnommé « boue d'IA ». Cela inclut du contenu imprécis, peu original et irréaliste sur divers supports. Ironiquement, alors que l'IA supplante les emplois humains, elle crée simultanément une nouvelle industrie : les « concierges numériques » qui corrigent les erreurs de l'IA. Cela souligne les limites de l'IA dans le travail créatif et le rôle irremplaçable des humains pour garantir la qualité et l'authenticité. Nous devons repenser la relation entre l'IA et la créativité humaine pour éviter la prolifération de la boue d'IA et construire un monde numérique plus authentique et durable.

(www.sify.com)

IA qualité du contenu

Journal des mises à jour du projet Vterm : Améliorations continues des performances et des fonctionnalités

2025-09-24

Le développeur de Vterm, Tom Szilagyi, a effectué de nombreux commits récemment, couvrant les optimisations de performances, les corrections de bogues et les nouvelles fonctionnalités. Ces mises à jour incluent des améliorations des performances du GPU, la correction d'un bogue de signe, l'ajout de nouvelles options de ligne de commande et l'amélioration du rendu des caractères et de l'affichage des soulignements. Les améliorations continues du code améliorent la stabilité et l'efficacité de Vterm.

(git.hq.sig7.se)

Développement mises à jour du code

fetch_max de Rust : Plongeon au cœur de l'optimisation du compilateur

2025-09-24

fetch_max de Rust : Plongeon au cœur de l'optimisation du compilateur

Lors d'un récent entretien d'embauche pour un poste d'ingénieur, un candidat a utilisé une seule ligne de code Rust pour résoudre un problème classique de concurrence : suivre la valeur maximale sur plusieurs threads producteurs. Cela a suscité la curiosité de l'auteur : comment fonctionne réellement fetch_max de Rust ? L'article explore en profondeur le processus de compilation, du code Rust à l'assemblage, en révélant les couches d'optimisation impliquant des macros, la représentation intermédiaire LLVM, les intrinsèques du compilateur et les spécificités de l'architecture cible. Sur x86-64, fetch_max se compile en une boucle compare-and-swap (CAS) ; sur ARM, il utilise directement l'instruction max atomique du matériel. Cet article démontre la puissance des compilateurs modernes et les détails de bas niveau derrière les abstractions de haut niveau.

(questdb.com)

Développement

Val Town réécrit l'intégration TypeScript pour des performances fulgurantes

2025-09-24

Val Town réécrit l'intégration TypeScript pour des performances fulgurantes

Val Town a entièrement réécrit l'intégration TypeScript de son éditeur en ligne, remplaçant l'implémentation précédente côté client basée sur Web Worker par un serveur de langage Deno basé sur des conteneurs cloud. Cela résout les problèmes d'importations lentes de paquets NPM et d'incompatibilité entre TypeScript et Deno dans l'ancien système, atteignant des vitesses de déploiement de 100 ms à la sauvegarde. Le nouveau système utilise les conteneurs Cloudflare pour garantir l'isolation de la charge de travail de l'utilisateur et les limites de ressources, et tout le code est open source, offrant aux développeurs une expérience de développement TypeScript plus fluide et efficace.

(blog.val.town)

Développement Éditeur en ligne

Du Hype de l'IA aux Chaînes de Markov : Un Retour aux Fondamentaux

2025-09-24

Du Hype de l'IA aux Chaînes de Markov : Un Retour aux Fondamentaux

L'auteur raconte son parcours à travers les quatre étapes du cycle d'engouement pour l'IA concernant les grands modèles de langage : émerveillement initial, frustration ultérieure, confusion persistante et ennui final. Fatigué du flux constant de nouveaux modèles, l'auteur a décidé de revenir aux fondamentaux et d'explorer les chaînes de Markov. L'article détaille comment construire une fonction d'autocomplétion de texte à l'aide de chaînes de Markov, en couvrant la construction de matrices de transition, les calculs de probabilité et l'application à la génération de texte. Cet article explore non seulement les principes des chaînes de Markov, mais reflète également les réflexions de l'auteur sur l'état actuel du développement de l'IA et son désir d'explorer des technologies plus fondamentales.

(elijahpotter.dev)

IA

Preuves à connaissance zéro en espace sous-linéaire : une percée majeure

2025-09-24

Preuves à connaissance zéro en espace sous-linéaire : une percée majeure

Des chercheurs ont développé SSZKP, un système de preuve à connaissance zéro en espace sous-linéaire avec une implémentation en Rust utilisant KZG/BN254. Il atteint une utilisation de la mémoire O(√T) pour une trace de longueur T, en utilisant des IFFTs par blocs et des accumulateurs en streaming. SSZKP utilise des engagements KZG standard sans tamponner les polynômes entiers, offrant une approche très efficace pour construire des systèmes zk évolutifs. Le projet inclut des outils CLI complets pour le prouveur et le vérificateur, ainsi que des scripts de test de bout en bout.

(github.com)

Développement

L'avenir des langages de programmation : la popularité est-elle terminée ?

2025-09-24

L'avenir des langages de programmation : la popularité est-elle terminée ?

Les classements des langages de programmation 2023 sont sortis, Python étant une fois de plus en tête. Cependant, l'essor de l'IA est en train de bouleverser le paysage. Les outils de codage assistés par IA comme ChatGPT et Cursor réduisent la dépendance des programmeurs à des langages spécifiques, rendant même le concept de popularité d'un langage ambigu. Les programmeurs se soucient moins des détails syntaxiques et se concentrent davantage sur l'architecture des programmes et la conception d'algorithmes. Cela rend plus difficile l'émergence de nouveaux langages, et la popularité des langages pourrait devenir aussi obscure que la popularité relative des écartements de voie ferrée. Les programmeurs de demain auront besoin de solides bases en informatique, plutôt que d'une maîtrise d'un langage particulier.

(spectrum.ieee.org)

Développement

Webshell cachée : fichiers PHP avec hash MD5 identique

2025-09-24

Webshell cachée : fichiers PHP avec hash MD5 identique

Deux fichiers PHP partagent le même hachage MD5, mais l'un d'eux est une webshell. Cette technique permet aux attaquants de contourner la détection des webshells mises en cache. Un hexdump révèle de subtiles différences entre les fichiers, ce qui entraîne des hachages MD5 identiques malgré des fonctionnalités très différentes. Cela souligne l'insuffisance de se fier uniquement au hachage MD5 pour les vérifications de sécurité ; une stratégie de sécurité plus complète est nécessaire.

(github.com)

Développement collision MD5 détection de sécurité

Lancement de libghostty, la bibliothèque d'émulateur de terminal embarquable de Ghostty

2025-09-24

Le projet Ghostty a publié libghostty, une bibliothèque intégrable permettant à n'importe quelle application d'intégrer un émulateur de terminal moderne et rapide. La première version, libghostty-vt, est une bibliothèque sans dépendances (pas même libc !) fournissant une API pour analyser les séquences de terminal et maintenir l'état du terminal, extraite directement du cœur de Ghostty. Une API Zig est disponible pour les tests dès maintenant, et une API C arrivera bientôt. libghostty vise à résoudre les lacunes courantes des implémentations existantes d'émulateurs de terminal : incomplétude, bogues et lenteur, offrant aux développeurs une solution stable et réutilisable. Les projets futurs incluent l'extension des fonctionnalités avec la gestion des entrées, le rendu GPU et plus encore.

(mitchellh.com)

Développement bibliothèque embarquable

Baldur's Gate 3 sur Steam Deck : version native, migration des sauvegardes et des mods

2025-09-24

Baldur's Gate 3 sur Steam Deck : version native, migration des sauvegardes et des mods

La mise à jour de Baldur's Gate 3 sur Steam Deck inclut une version native, améliorant les performances. Cependant, les emplacements des sauvegardes et des mods changent. Les sauvegardes cloud Steam seront migrées automatiquement ; sinon, copiez manuellement les sauvegardes vers `/home/deck/.local/share/Larian Studios/Baldur's Gate 3/PlayerProfiles/Public`. La migration des mods dépend de votre compte Larian et de la connexion à mod.io ; copiez manuellement les mods si vous n'êtes pas connecté.

(larian.com)

Jeux Version Native

Consommation énergétique de l'IA : un autre cri au loup ?

2025-09-23

Consommation énergétique de l'IA : un autre cri au loup ?

Des prédictions récentes concernant l'énorme consommation d'énergie de l'IA générative ont suscité l'alarme, certains prédisant que l'IA consommera jusqu'à 25 % de l'électricité américaine d'ici 2032. Cependant, l'histoire montre que des prédictions similaires de fin du monde, des ordinateurs personnels au cloud computing, ont systématiquement échoué. La part du secteur des TI dans la consommation d'électricité est restée relativement faible, bien inférieure à celle de secteurs comme la production de ciment. Bien que l'IA soit en croissance rapide, les améliorations d'efficacité compenseront les augmentations de consommation d'énergie, et l'IA ne représente actuellement qu'une petite partie des budgets informatiques des entreprises. En fin de compte, la peur suscitée par la consommation d'énergie de l'IA provient en grande partie d'intérêts particuliers, de préoccupations concernant la croissance économique et d'inquiétudes générales concernant la technologie, plutôt que d'une menace réelle.

(johnquigginblog.substack.com)

Technologie

Trois bogues du compilateur C++ : une histoire de fonctionnalités obscures

2025-09-23

Trois bogues du compilateur C++ : une histoire de fonctionnalités obscures

L'ingénieur principal Michael Gibson raconte la découverte d'un bogue du compilateur clang++ résultant de la combinaison de trois fonctionnalités C++ rarement utilisées. Lors de l'implémentation d'une assertion REACHABLE dans son SDK C++, il a utilisé l'initialisation statique, des paramètres de modèle non typés et des espaces de noms anonymes. Cependant, un nouveau pipeline d'optimisation dans clang++ 17+ est entré en conflit avec cette combinaison, entraînant des erreurs de déduplication de symboles. Cela souligne le risque de bogues obscurs provenant d'interactions de fonctionnalités inhabituelles dans les systèmes complexes et montre la puissance des tests automatisés pour découvrir de tels problèmes.

(antithesis.com)

Développement Bogue du Compilateur Métaprogrammation de Modèles

MrBeast et Feastables sous le feu des critiques pour leurs pratiques publicitaires envers les enfants

2025-09-23

MrBeast et Feastables sous le feu des critiques pour leurs pratiques publicitaires envers les enfants

La star de YouTube, MrBeast, et sa marque de chocolat, Feastables, sont sous le feu des critiques de la Children's Advertising Review Unit (CARU) pour violation de la Children's Online Privacy Protection Act (COPPA) et des lignes directrices publicitaires de la CARU. La CARU a constaté que la chaîne YouTube de MrBeast manquait d'identifiants publicitaires clairs, que les publicités de Feastables faisaient des affirmations trompeuses, que les promotions de concours ne divulguaient pas clairement les modalités de participation gratuites et les restrictions d'âge, et que le consentement parental vérifiable n'avait pas été obtenu avant la collecte de données sur les enfants. Le site Web de Feastables a également eu des problèmes avec la collecte de données sur les enfants sans le consentement des parents. Bien que l'équipe de MrBeast ait pris des mesures pour corriger les problèmes, elle n'est pas d'accord avec certaines des conclusions de la CARU.

(bbbprograms.org)

Technologie publicité enfantine

Stratégie à l'ère des ressources limitées : une approche équilibrée

2025-09-23

Stratégie à l'ère des ressources limitées : une approche équilibrée

Cet article explore l'art de concevoir et d'être perçu comme stratégique, notamment dans le contexte actuel de ressources limitées. L'auteur soutient que la stratégie ne consiste pas simplement à définir l'objectif final, mais plutôt une série d'objectifs progressifs, adaptables aux conditions changeantes du marché. Quatre éléments clés sont mis en évidence : le temps, le contexte, l'orientation et l'expertise. À l'aide d'analogies convaincantes, l'auteur montre comment équilibrer ces éléments, en évitant les pièges tels que la focalisation uniquement sur les apparences ou les détails. En fin de compte, une stratégie efficace nécessite l'intégration des stratégies produit, technique, équipe et personnelle pour réussir en période de contraintes.

(cate.blog)

Startup

Zig : Un choix plus pratique que Rust pour les outils CLI du monde réel

2025-09-23

Zig : Un choix plus pratique que Rust pour les outils CLI du monde réel

Cet article explore les avantages pratiques de Zig par rapport à Rust pour la création d'interfaces en ligne de commande. L'auteur illustre les différences à travers un outil CLI simple de gestion de notes. Bien que le vérificateur d'emprunts de Rust garantisse la sécurité mémoire, sa complexité et sa formalité s'avèrent lourdes pour les CLIs simples. Zig offre une approche plus directe de la gestion de la mémoire, combinant les instructions `defer` et les allocateurs pour faciliter la création de code efficace et sûr avec moins de surcharge du compilateur. Pour les petits outils CLI, la nature légère, rapide et directe de Zig le rend plus pratique. La sécurité mémoire est importante, mais le code maintenable et l'efficacité du développeur sont tout aussi critiques.

(dayvster.com)

Développement

Vaincre la fatigue JavaScript : MESH, un framework SSR modulaire basé sur HTMX

2025-09-23

Le développement web est confronté à la « fatigue JavaScript » et à la « fatigue des frameworks ». Cet article explore l’utilisation d’HTMX, une approche déclarative du développement web utilisant des attributs HTML, comme solution. Cependant, le manque de structure d’HTMX a conduit l’auteur à créer le framework MESH, un framework modulaire de rendu côté serveur (SSR). MESH utilise un modèle « un composant, un point de terminaison », tirant parti de Go et de Web Components pour le SSR et l’hydratation. Les défis liés à l’incapacité d’HTMX à traverser les limites de Shadow DOM ont été surmontés grâce à des solutions ingénieuses. La collaboration en temps réel avec les Server-Sent Events (SSE) a également été implémentée. Enfin, l’auteur a même supprimé HTMX complètement, en utilisant un JS plus propre pour obtenir la même fonctionnalité, et réfléchit aux lacunes et aux orientations futures d’HTMX.

(ajmoon.com)

Développement

WebKit d'Apple : Plongeon au cœur de la participation aux standards du Web

2025-09-23

WebKit d'Apple : Plongeon au cœur de la participation aux standards du Web

Cet article propose une analyse approfondie de la participation d'Apple aux standards du Web, utilisant des données et des graphiques pour illustrer le retard d'adoption et le manque de collaboration d'Apple sur des API Web cruciales telles que Web MIDI, Web USB et Web Bluetooth. L'auteur soutient qu'Apple invoque fréquemment des préoccupations de « confidentialité et de sécurité » pour rejeter ou retarder l'implémentation de ces fonctionnalités, sans toutefois fournir de preuves suffisantes à l'appui de ses affirmations. Au contraire, les données suggèrent qu'Apple rattrape principalement son retard par rapport aux autres navigateurs, plutôt que de participer activement à la conception collaborative. L'article remet en question l'engagement d'Apple envers les standards du Web et suggère que ses actions pourraient être liées à la protection des intérêts commerciaux de son App Store.

(infrequently.org)

Développement

oLLM : Exécution de LLMs à grand contexte sur des GPU grand public

2025-09-23

oLLM : Exécution de LLMs à grand contexte sur des GPU grand public

oLLM est une bibliothèque Python légère permettant l'inférence de LLMs à grand contexte tels que gpt-oss-20B et qwen3-next-80B sur des GPU grand public avec 8 Go de VRAM (par exemple, une Nvidia 3060 Ti à 200 $), gérant jusqu'à 100 000 contextes. Ceci est réalisé sans quantification, en déchargeant les poids des couches et le cache KV sur un SSD et en utilisant des techniques telles que FlashAttention-2 et des MLP segmentées. Prenant en charge divers LLMs, oLLM offre une API conviviale pour les tâches de traitement de texte à grande échelle, telles que l'analyse de contrats, la synthèse de littérature médicale et le traitement de fichiers journaux volumineux.

(github.com)

Développement Inférence LLM Ressources Limitées

Les ventes de Tesla en Europe chutent malgré l'essor du marché des véhicules électriques

2025-09-23

Les ventes de Tesla en Europe chutent malgré l'essor du marché des véhicules électriques

Alors que le marché européen des véhicules électriques est en plein essor, avec une augmentation de 26 % des ventes en août par rapport à l'année précédente, Tesla connaît un ralentissement de ses ventes en Europe. Les données révèlent des baisses significatives des ventes du Model Y (34 %) et du Model 3 (29 %). Bien que Tesla reste parmi les 10 principaux fabricants de véhicules électriques en Europe, sa part de marché est érodée par des marques comme Volkswagen, qui a enregistré une augmentation de 45 % de ses ventes en août par rapport à l'année précédente. Malgré les difficultés de Tesla, le marché global des véhicules électriques en Europe reste robuste, avec des ventes d'août atteignant 154 582 unités, soit 20 % des ventes de voitures neuves – suffisamment pour atteindre les objectifs d'émissions de l'UE pour 2025-2027.

(www.notebookcheck.net)

Technologie

Michigan City : Un coin tranquille de la résilience américaine

2025-09-23

Michigan City : Un coin tranquille de la résilience américaine

Une semaine passée à Michigan City, Indiana, révèle une ville qui produit discrètement des biens industriels vitaux et une vie étonnamment paisible. Bien que apparemment banale, la ville fabrique des produits industriels importants – des outils de découpe pour les emballages aux solutions de drainage – des rouages invisibles de la machinerie du monde moderne. Les interactions avec les habitants montrent la simplicité et la chaleur de leur vie, un contraste saisissant avec l'environnement en ligne souvent toxique. Cette expérience incite à la réflexion sur l'équilibre entre l'engagement politique et une perspective équilibrée, soulignant la force tranquille de la ville comme pierre angulaire d'une société saine.

(walkingtheworld.substack.com)

Divers ville américaine industrie manufacturière

arXivLabs : Collaboration communautaire sur les nouvelles fonctionnalités d'arXiv

2025-09-23

arXivLabs est un cadre expérimental permettant aux collaborateurs de développer et de partager de nouvelles fonctionnalités d'arXiv directement sur le site web. Les individus et les organisations qui travaillent avec arXivLabs ont adopté et accepté nos valeurs d'ouverture, de communauté, d'excellence et de confidentialité des données des utilisateurs. arXiv est engagé envers ces valeurs et ne travaille qu'avec des partenaires qui les respectent. Vous avez une idée de projet qui apportera une valeur ajoutée à la communauté arXiv ? En savoir plus sur arXivLabs.

(arxiv.org)

Développement

Image Docker qBittorrent infectée mine secrètement des cryptomonnaies

2025-09-23

Lors de la migration de serveurs, l'auteur a découvert un processus suspect, netservlet, consommant des ressources CPU excessives dans un conteneur Docker hotio/qbittorrent. L'enquête a révélé que netservlet est un mineur de cryptomonnaie furtif, probablement XMRig ou une variante. L'analyse d'un vidage de mémoire a révélé des chaînes de caractères liées à l'extraction de cryptomonnaie (par exemple, cryptonight, ethash_calculate_dag_item) et une adresse de pool de minage (auto.c3pool.org:19999). Cela souligne l'importance de ne pas faire confiance aux images Docker aléatoires, de surveiller régulièrement les ressources système et d'auditer les hôtes et les conteneurs pour éviter les failles de sécurité.

(apogliaghi.com)

Développement Sécurité Docker minage de cryptomonnaie

Les surfaces intérieures agissent comme des éponges chimiques massives, retenant des COV nocifs pendant un an

2025-09-23

Les surfaces intérieures agissent comme des éponges chimiques massives, retenant des COV nocifs pendant un an

Des chercheurs de l'UCI ont découvert que les surfaces intérieures, telles que le bois, le ciment et la peinture, agissent comme des réservoirs étonnamment efficaces pour les composés organiques volatils (COV), les retenant jusqu'à un an. Ces COV, provenant de sources telles que les insecticides, la fumée de cigarette et la fumée d'incendies de forêt, présentent des risques importants pour la santé. L'étude révèle que ces surfaces absorbent des quantités beaucoup plus importantes de COV qu'on ne le pensait auparavant, agissant comme des éponges massives. Même après l'élimination de la source, les COV se dégagent lentement dans l'air ou se transfèrent aux humains par contact. Une simple ventilation est insuffisante ; un nettoyage régulier est crucial pour éliminer ces polluants persistants.

(news.uci.edu)

Technologie composés organiques volatils

StringZilla v4 : Lancement de la bibliothèque de traitement de chaînes SIMD avec accélération CUDA

2025-09-23

StringZilla v4 : Lancement de la bibliothèque de traitement de chaînes SIMD avec accélération CUDA

StringZilla v4 est arrivé ! Cette bibliothèque de traitement de chaînes SIMD prend désormais en charge CUDA, ce qui signifie qu’elle est extrêmement rapide, non seulement sur les CPU, mais aussi sur les GPU ! La version 4 offre de nombreuses nouvelles fonctionnalités, notamment des algorithmes de programmation dynamique accélérés par GPU, plusieurs fonctions de hachage (dont une nouvelle fonction basée sur AES) et l’empreinte digitale de bio-séquences à l’aide d’entiers 52 bits. Les benchmarks montrent que StringZilla v4 atteint plus de 500 GCUPS dans les calculs de distance de Levenshtein, surpassant d’autres bibliothèques de dizaines, voire de centaines de fois. La bibliothèque est sous licence Apache 2.0 et est gratuite pour un usage commercial.

(ashvardanian.com)

Développement bio-informatique

YAML : Le fichier de configuration infernal ?

2025-09-23

Cet article critique la complexité des fichiers de configuration YAML, arguant que son apparente simplicité cache de nombreux pièges. L’auteur utilise plusieurs exemples pour illustrer les incohérences entre les versions de YAML, les résultats d’analyse imprévisibles et les risques de sécurité potentiels, tels que les problèmes liés aux nombres sexagésimaux, aux balises et à l’analyse booléenne. L’auteur recommande des alternatives plus simples comme TOML ou la génération de JSON pour éviter les problèmes de YAML, suggérant des options plus puissantes comme Nix et Python pour les configurations complexes.

(ruudvanasseldonk.com)

Développement

Metalentille multicouche pour focalisation multicolore : une avancée dans l’optique miniaturisée

2025-09-23

Metalentille multicouche pour focalisation multicolore : une avancée dans l’optique miniaturisée

Des chercheurs de l’Australian National University et de l’université Friedrich Schiller de Iéna ont mis au point une nouvelle métalentille multicouche utilisant des métamatériaux capables de focaliser simultanément une gamme de longueurs d’onde provenant d’une source non polarisée, surmontant ainsi une limitation majeure des métalentilles classiques. Ce design présente un faible rapport hauteur/largeur, ce qui le rend facile à fabriquer et insensible à la polarisation. Ses applications potentielles incluent des systèmes optiques miniaturisés, peu coûteux et performants pour les appareils portables tels que les téléphones et les drones. À l’aide d’un algorithme de conception inverse et d’une optimisation de forme, l’équipe a créé des éléments de métamatériaux aux formes étonnamment variées, permettant des motifs de focalisation arbitraires. Bien qu’actuellement limitée à environ cinq longueurs d’onde, cette technologie recèle un potentiel immense pour les futurs systèmes d’imagerie portables.

(www.sciencedaily.com)

Technologie métalentille

Compilation d'un petit langage fonctionnel vers LLVM : exemple de calculatrice simple

2025-09-23

Cet article détaille le processus de compilation d'un petit langage fonctionnel vers LLVM. En commençant par un langage de calculatrice basique, l'auteur construit progressivement un analyseur lexical, un analyseur syntaxique et un générateur de code LLVM. L'article explique minutieusement chaque étape, notamment l'analyse avec la bibliothèque megaparsec, la génération de code LLVM IR à l'aide des bibliothèques llvm-hs-pure et llvm-hs-pretty, et enfin la compilation et l'exécution du résultat. Grâce à cet exemple, les lecteurs peuvent apprendre à traduire les caractéristiques des langages fonctionnels (comme la correspondance de motifs) en LLVM IR et à utiliser LLVM pour la génération et la compilation de code.

(danieljharvey.github.io)

Développement Langage fonctionnel

Arrêt de l'application de serrure intelligente Kevo : il est temps de mettre à niveau

2025-09-23

ASSA ABLOY a annoncé l'arrêt de l'application et du portail Web de la serrure intelligente Kevo le 14 novembre 2025. Cela signifie que la fonctionnalité à distance pour toutes les serrures Kevo (marques Kwikset, Weiser et Baldwin) cessera. Les utilisateurs peuvent toujours utiliser des clés physiques ou des porte-clés. Pour faciliter la transition, ASSA ABLOY offre des rabais importants sur les serrures intelligentes de remplacement. Les utilisateurs américains peuvent obtenir jusqu'à 130 $ de réduction sur certaines serrures via le site Web de Level, tandis que les utilisateurs canadiens peuvent appeler le service client de Weiser. Cette offre expire le 14 décembre 2025.

(www.kwikset.com)

Matériel serrure intelligente arrêt de l'application

← Previous 1 2 3 4 5 6 7 8 9 … 595 596 Next →