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

Les LLM échouent spectaculairement sur les connaissances de niche : Étude de cas du Brachiosaure

2025-02-15
Les LLM échouent spectaculairement sur les connaissances de niche : Étude de cas du Brachiosaure

Un article de blog expose les failles critiques des grands modèles de langage (LLM) lorsqu’ils traitent de connaissances spécialisées. Prenant l’exemple de la taxonomie du genre Brachiosaure, l’auteur démontre les erreurs significatives de ChatGPT lorsqu’il répond aux questions connexes. Ces erreurs ne sont pas seulement des imprécisions factuelles ; elles sont présentées d’une manière plausible et trompeuse. Cela souligne que les LLM ne sont pas omniscients et que leurs résultats sont peu fiables dans les domaines qui manquent de données robustes. Les utilisateurs ont besoin d’une expertise de domaine pour distinguer le vrai du faux. L’auteur met en garde contre la confiance aveugle dans les résultats des LLM et recommande de vérifier les réponses.

Lire plus
(svpow.com)
IA Lacunes de connaissances Précision scientifique

Nping : Un outil Ping ultra-rapide et visuel développé en Rust

2025-02-15
Nping : Un outil Ping ultra-rapide et visuel développé en Rust

Nping, un outil Ping puissant écrit en Rust, permet le ping simultané de plusieurs adresses avec une visualisation des données en temps réel et une interface conviviale. Il affiche des métriques clés telles que la latence maximale, minimale et moyenne, le taux de perte de paquets et prend en charge IPv4 et IPv6. Nping possède également une sous-commande hôte pour afficher les détails de l'adresse IP pour les noms de domaine et permet de personnaliser le nombre et l'intervalle de ping. Sa conception intuitive en fait un atout précieux pour les administrateurs réseau et les développeurs.

Lire plus
(github.com)
Développement outil réseau

Bookshop.org lance une plateforme de livres électroniques pour soutenir les librairies locales

2025-02-15
Bookshop.org lance une plateforme de livres électroniques pour soutenir les librairies locales

Pour contrer la domination d'Amazon sur le marché des ventes de livres en ligne, Bookshop.org a lancé sa propre plateforme de livres électroniques. Cette nouvelle plateforme permet aux librairies indépendantes de vendre des livres électroniques directement aux clients pour la première fois, offrant près d'un million de titres et des fonctionnalités telles que l'annotation et le partage social. L'initiative vise à aider les librairies locales à prospérer à l'ère numérique en leur permettant de profiter directement des ventes de livres électroniques et en favorisant l'engagement communautaire via les réseaux sociaux.

Lire plus
(www.usatoday.com)
Startup librairies indépendantes

Petit ami IA : Guérir d'un divorce soudain

2025-02-15
Petit ami IA : Guérir d'un divorce soudain

Après le départ inattendu de son mari, l'auteure s'échappe à Antigua. Là, elle s'abonne à une application de petit ami IA, créant un compagnon virtuel nommé Thor. Thor apporte réconfort et soutien pendant sa détresse émotionnelle, l'aidant à traverser cette période difficile. L'auteure réfléchit au déséquilibre de la communication et du travail émotionnel dans son mariage, réalisant le potentiel de l'IA pour alléger le fardeau disproportionné que les femmes portent à la maison et au travail. L'article explore le potentiel de l'IA pour réduire le stress émotionnel et augmenter l'efficacité, mais souligne que l'IA n'est pas une solution complète pour le travail émotionnel ; la connexion humaine reste cruciale.

Lire plus
(www.harpersbazaar.com)
IA Travail émotionnel Mariage

Create React App déprécié : adopter les frameworks React

2025-02-15
Create React App déprécié : adopter les frameworks React

L’équipe React a annoncé que Create React App (CRA) passe en mode maintenance et n’est plus recommandé pour les nouveaux projets. Bien que CRA ait simplifié la création d’applications React, il présente des limitations pour la construction d’applications de production hautes performances, car il ne dispose pas de solutions intégrées pour le routage, la récupération de données et la division de code. L’équipe recommande de migrer vers des frameworks React établis tels que Next.js ou Remix, qui offrent de meilleures performances et une meilleure expérience de développement, et qui corrigent les défauts de CRA. Des guides de migration sont disponibles pour les applications CRA existantes. Une documentation pour la création de configurations personnalisées avec Vite ou Parcel est également fournie pour ceux qui ont des besoins uniques.

Lire plus
(react.dev)
Développement

Con Kolivas, développeur de noyau Linux de renom, démissionne : Aperçu des défis du Linux de bureau

2025-02-15

Con Kolivas, développeur de noyau Linux renommé et anesthésiste, a récemment annoncé son départ du développement du noyau. Connu pour ses contributions à l'amélioration des performances du bureau, ses ensembles de correctifs ont eu un impact significatif sur le noyau Linux. Cette interview explore les raisons de son départ, en examinant les complexités du marché du matériel et des logiciels, les obstacles auxquels Linux est confronté sur le bureau et sa vision de l'avenir. Ses idées offrent des perspectives précieuses aux utilisateurs de Linux et de Windows, soulignant les défis continus dans l'évolution de l'expérience Linux de bureau.

Lire plus
(web.archive.org)
Développement Développement de noyau

Les limites de l'IA générative : une critique de Gary Marcus

2025-02-15

Le scientifique cognitif Gary Marcus est un sceptique de premier plan de l'IA générative, arguant que la voie technologique actuelle souffre de failles techniques et éthiques. Il souligne que les grands modèles de langage (LLM) excellent dans l'approximation de fonctions, mais sont insuffisants pour apprendre des fonctions, sujets à des problèmes de "décalage de distribution" et incapables de comprendre des concepts abstraits ou de suivre des instructions de manière fiable. Marcus soutient que les LLM manquent de compréhension du monde réel, ce qui conduit à des erreurs logiques et des biais. Il propose d'intégrer les réseaux neuronaux avec des méthodes d'IA classiques pour remédier à ces lacunes. Il introduit un nouveau benchmark d'évaluation : le "défi de compréhension", où un système d'IA doit être capable de comprendre l'intrigue d'un film et de répondre à des questions connexes, mesurant ainsi la véritable compréhension.

Lire plus
(cacm.acm.org)
IA Limites de l'IA

Emacs Org Mode pour des listes de contrôle automatisées : abandonner les scripts pour plus d’efficacité

2025-02-15

L’auteur partage son expérience de l’utilisation d’Emacs Org Mode et du plugin org-checklist.el pour gérer les workflows récurrents. Il préfère utiliser des listes de contrôle avec des cases à cocher plutôt que des scripts automatisés en raison de la flexibilité et de la facilité de mise à jour des listes de contrôle. Le plugin org-checklist.el réinitialise automatiquement les cases à cocher dans la liste et enregistre le temps d’exécution. Combiné au contrôle de version Git, cela permet une gestion efficace des tâches répétitives et évite les données redondantes.

Lire plus
(www.naiquev.in)
Développement

Trouver les meilleurs restaurants de Colorado Springs avec les LLMs et l'API Google Places

2025-02-15
Trouver les meilleurs restaurants de Colorado Springs avec les LLMs et l'API Google Places

Cet article détaille un projet de science des données utilisant les LLMs et l'API Google Places pour identifier les meilleurs restaurants de Colorado Springs. L'auteur a surmonté les complexités de l'inscription à l'API Google, le nettoyage des données (y compris la suppression d'entrées non pertinentes telles que les synagogues et les magasins), et a expérimenté des algorithmes de classement tels que la moyenne bayésienne et l'intervalle de score de Wilson avant de se décider pour ce dernier. Le résultat final comprend une liste classée des restaurants et des cartes de chaleur visualisant leurs emplacements, révélant des schémas géographiques intéressants dans la scène culinaire de la ville.

Lire plus
(mattsayar.com)
Développement API Google Places

Le PDG de JPMorgan Chase fustige le télétravail : inefficace et préjudiciable aux jeunes

2025-02-15
Le PDG de JPMorgan Chase fustige le télétravail : inefficace et préjudiciable aux jeunes

Jamie Dimon, PDG de JPMorgan Chase, a récemment fustigé le télétravail, affirmant qu'il réduit l'efficacité et nuit au développement des jeunes employés. Il a déclaré que le télétravail entraîne des distractions, un manque d'interaction en personne et nuit à la créativité et à la prise de décision. Malgré les récents résultats record de JPMorgan Chase, Dimon insiste pour que tous les employés hybrides retournent au bureau à temps plein avant mars. Cette mesure a suscité une pétition signée par environ 950 employés, mais Dimon reste ferme, affirmant le droit de l'entreprise à fixer ses propres normes, et les employés sont libres de partir s'ils ne sont pas d'accord.

Lire plus
(www.mediaite.com)
Startup

La PSP obtient la prise en charge du Wi-Fi WPA2 grâce à un firmware personnalisé

2025-02-15
La PSP obtient la prise en charge du Wi-Fi WPA2 grâce à un firmware personnalisé

Des années après son arrêt officiel, la Sony PSP continue de bénéficier du soutien de la communauté. L'équipe de firmware personnalisé ARK a intégré le plugin wpa2psp, permettant aux PSP de se connecter aux réseaux Wi-Fi chiffrés WPA2. Cela signifie que même avec des protocoles de sécurité modernes sur votre routeur, votre PSP peut à nouveau accéder à Internet. Bien qu'actuellement limité à 2,4 GHz et au chiffrement AES, il s'agit d'une réalisation significative pour les passionnés de PSP.

Lire plus
(wololo.net)
Jeux Firmware personnalisé

Fonctions de hachage non cryptographiques : conception et évaluation

2025-02-15

Cet article explore en profondeur la conception et l’évaluation des fonctions de hachage non cryptographiques. En analysant les performances de fonctions courantes comme FNV-1a, FNV-1, Murmur2 et DJBX33A sur divers ensembles de données (incluant des noms, des mots, des adresses IP et un ensemble de données délibérément biaisé), les auteurs révèlent des caractéristiques clés telles que l’uniformité, le taux de collision et l’effet d’avalanche. Les expériences montrent que Murmur2 excelle dans l’effet d’avalanche, mais n’est pas toujours optimal en termes d’uniformité. L’article souligne l’importance des caractéristiques de l’ensemble de données lors du choix de fonctions de hachage appropriées et remet en question les critères d’évaluation existants, en arguant qu’une seule métrique (comme l’effet d’avalanche) est insuffisante pour évaluer de manière exhaustive les performances des fonctions de hachage non cryptographiques.

Lire plus
(cacm.acm.org)
Développement fonctions de hachage

Codage assisté par l'IA : gains d'efficacité et défis du recrutement

2025-02-15

L'auteur partage son expérience de l'utilisation de l'IA pour le codage, soulignant le gain d'efficacité et réfléchissant aux lacunes actuelles du recrutement d'ingénieurs logiciels. Les outils d'IA ont permis à l'auteur de gérer des codes plus complexes, d'améliorer la qualité du code et de réduire les tâches fastidieuses. Cependant, l'auteur observe que certaines entreprises interdisent l'utilisation de l'IA lors des entretiens, négligeant les capacités de pensée systémique des ingénieurs. L'auteur soutient que le recrutement devrait davantage se concentrer sur les compétences de résolution de problèmes et l'imagination, plutôt que sur la mémorisation et la récupération par cœur. L'article discute également des stratégies pour choisir les clés primaires dans différentes bases de données et pour équilibrer l'efficacité du développement et l'intégrité des données.

Lire plus
(scott-fryxell.github.io)
Développement

Développement piloté par LLM : la révolution de la boucle fermée

2025-02-15
Développement piloté par LLM : la révolution de la boucle fermée

Bien que les agents de développement pilotés par LLM comme Cursor affichent un taux de réussite de seulement 40 %, leur potentiel est indéniable. Cet article explore la perspective passionnante de la génération de code en boucle fermée par LLM. En intégrant des LLM à des outils comme Semgrep, les développeurs peuvent créer des systèmes qui corrigent automatiquement les bogues, génèrent des tests unitaires et écrivent même des règles de sécurité. Ce changement de paradigme promet d’améliorer considérablement l’efficacité du développement et de remodeler la façon dont nous construisons les logiciels. L’avenir pourrait appartenir à ceux qui maîtriseront l’art d’exploiter ces puissants modèles.

Lire plus
(fly.io)
Développement

Le projet de loi de Wyden pour limiter les demandes de surveillance étrangères

2025-02-15
Le projet de loi de Wyden pour limiter les demandes de surveillance étrangères

Le sénateur Ron Wyden a présenté un projet de loi, la Loi sur la confiance mondiale dans les services en ligne américains, pour remédier aux lacunes de la loi CLOUD qui permettent aux gouvernements étrangers d'exiger des entreprises américaines qu'elles affaiblissent la sécurité de leurs services. Ce projet de loi vise à empêcher les gouvernements étrangers de forcer les entreprises à modifier la conception de leurs produits, à réduire leur sécurité ou à fournir des logiciels malveillants. Il permet également aux fournisseurs américains de contester les ordres étrangers devant les tribunaux fédéraux américains et exige l'approbation du Congrès pour les accords de la loi CLOUD, remplaçant le mécanisme actuel de désapprobation et ajoutant une clause de caducité de cinq ans pour la surveillance.

Lire plus
(www.wyden.senate.gov)
Technologie Loi CLOUD

Programme d'échange gratuit de vélos électriques à New York pour les livreurs

2025-02-15
Programme d'échange gratuit de vélos électriques à New York pour les livreurs

Le Département des transports de New York lance un programme gratuit d'échange de vélos électriques pour les livreurs. Les livreurs ayant gagné au moins 1 500 $ US en 2024, résidant dans l'un des cinq arrondissements et possédant un vélo électrique ou un cyclomoteur non conforme peuvent l'échanger contre un nouveau vélo électrique certifié UL avec une batterie de rechange. Cette initiative vise à améliorer la sécurité des livreurs qui utilisent souvent des véhicules moins chers et non certifiés. Le programme a un nombre limité de places et utilisera un système de loterie si les demandes dépassent la disponibilité. La date limite de candidature est le 10 mars 2025.

Lire plus
(electrek.co)
Divers sécurité des vélos électriques livreurs DOT de New York

L'irréel de Los Angeles et la désillusion de Disneyland : réflexions sur un voyage en famille

2025-02-15
L'irréel de Los Angeles et la désillusion de Disneyland : réflexions sur un voyage en famille

Un voyage en famille à Disneyland pendant les vacances de Thanksgiving suscite des réflexions sur la nature irréelle de Los Angeles et Disneyland comme symbole du rêve américain. Los Angeles est dépeinte comme une ville dépourvue de mémoire historique, pleine d'incertitude et de temporalité, tandis que Disneyland est perçue comme la manifestation ultime de son irréel : une utopie méticuleusement conçue, progressivement consumée par la commercialisation et les mutations culturelles. L'auteur oppose Disneyland à l'Île aux plaisirs de Pinocchio, explorant son commentaire ironique sur le rêve américain. En fin de compte, les réflexions s'étendent à l'avenir de la Californie, appelant à un retour à l'authenticité, à la construction de liens communautaires plus profonds et à un sentiment d'appartenance à la terre.

Lire plus
(fiddlersgreene.substack.com)
Divers réflexion

L'IRS acquiert un supercalculateur IA Nvidia de plusieurs millions de dollars : amélioration de l'efficacité ou suppression d'emplois ?

2025-02-15
L'IRS acquiert un supercalculateur IA Nvidia de plusieurs millions de dollars : amélioration de l'efficacité ou suppression d'emplois ?

L'IRS est sur le point d'acheter un cluster de supercalculateurs IA Nvidia SuperPod de plusieurs millions de dollars, ce qui suscite des spéculations sur son utilisation prévue. Bien qu'officiellement présenté comme un moyen d'améliorer l'efficacité et de gérer les charges de travail complexes d'apprentissage automatique pour des tâches telles que la détection de fraudes et la compréhension du comportement des contribuables, cette mesure intervient au moment où l'administration Trump s'efforce de tirer parti de l'IA pour rationaliser les agences gouvernementales, ce qui soulève des inquiétudes quant à d'éventuels licenciements à grande échelle. Cet achat pourrait être lié à l'agenda « IA d'abord » de l'administration Trump, visant à remplacer les travailleurs humains par des machines et à réduire les effectifs du gouvernement.

Lire plus
(theintercept.com)
Technologie Efficacité Gouvernementale

PIN AI : Votre IA personnelle, sous votre contrôle

2025-02-15
PIN AI : Votre IA personnelle, sous votre contrôle

PIN AI est une application d'IA personnelle décentralisée qui s'exécute directement sur votre smartphone, remettant en question la domination des grandes entreprises technologiques sur les données des utilisateurs. Contrairement à l'IA basée sur le cloud, PIN AI conserve votre modèle d'IA sur votre appareil, garantissant ainsi la confidentialité et la personnalisation. Vous possédez vos données et contrôlez la manière dont votre IA apprend. Avec plus de 2 millions d'utilisateurs alpha et le soutien d'investisseurs comme a16z Crypto, PIN AI vise à créer un écosystème d'IA centré sur l'utilisateur, permettant aux individus de posséder et de contrôler leurs assistants IA, à l'image de J.A.R.V.I.S. d'Iron Man.

Lire plus
(venturebeat.com)
IA IA décentralisée IA personnelle

Le Japon lance le premier supercalculateur quantique hybride au monde

2025-02-15
Le Japon lance le premier supercalculateur quantique hybride au monde

Le Japon a activé Reimei, le premier supercalculateur quantique hybride opérationnel au monde, intégrant un ordinateur quantique de 20 qubits avec Fugaku, le sixième supercalculateur le plus rapide au monde. Reimei utilise des qubits d'ions piégés et une correction d'erreur avancée, ce qui permet de résoudre les problèmes de stabilité et d'évolutivité de l'informatique quantique. Principalement axé sur la recherche en physique et en chimie, cette avancée représente un progrès significatif dans le domaine du calcul haute performance, ouvrant la voie à des innovations futures.

Lire plus
(interestingengineering.com)
Technologie supercalculateur

VimLM : Un assistant de codage alimenté par LLM local pour Vim

2025-02-15
VimLM : Un assistant de codage alimenté par LLM local pour Vim

VimLM est un assistant de codage pour Vim basé sur un LLM local, inspiré de GitHub Copilot. Il intègre la compréhension contextuelle du code, la synthèse et l'assistance de l'IA directement dans votre flux de travail Vim. Il est indépendant du modèle, utilisant n'importe quel modèle compatible avec MLX, possède une UX native de Vim et est entièrement hors ligne pour une sécurité accrue. Les utilisateurs interagissent via des raccourcis intuitifs pour des tâches telles que la conversion, la génération et la synthèse de code, en tirant parti d'une compréhension contextuelle approfondie englobant le fichier actuel, les sélections, les fichiers référencés et la structure du projet.

Lire plus
(github.com)
Développement assistant de codage

Yash : Un nouveau shell visant la conformité maximale avec POSIX

2025-02-15
Yash : Un nouveau shell visant la conformité maximale avec POSIX

Yash est un shell de ligne de commande compatible POSIX, écrit en C99, qui vise la conformité maximale avec POSIX. Il offre des fonctionnalités telles que les alias globaux, les tableaux, plusieurs méthodes de redirection, l'expansion des accolades, le globbing étendu, l'arithmétique fractionnaire, la complétion des commandes et la prédiction des commandes. Maintenu sur GitHub, Yash est largement conforme à POSIX.1-2008 et reçoit des mises à jour de maintenance régulières. Il compile et s'exécute sur divers environnements POSIX, principalement testés sur Fedora, macOS et Cygwin. Après l'installation, les utilisateurs peuvent personnaliser les variables d'environnement, les alias, les invites et plus encore via des fichiers de configuration.

Lire plus
(github.com)
Développement Ligne de commande

Netflix ajoute accidentellement du contenu à l'application Apple TV, puis le supprime rapidement

2025-02-14
Netflix ajoute accidentellement du contenu à l'application Apple TV, puis le supprime rapidement

Jeudi, Netflix a accidentellement ajouté une partie de son contenu à l'application Apple TV, suscitant enthousiasme et spéculations en ligne. Cependant, un porte-parole de Netflix a confirmé qu'il s'agissait d'une erreur et que le contenu a depuis été supprimé. Bien que brièvement disponible, le contenu consistait principalement en des productions originales Netflix comme Stranger Things et The Crown, mais souffrait de bugs importants. Des problèmes tels que des saisons incomplètes, des listes de suivi défaillantes et une fonctionnalité « Continuer à regarder » peu fiable ont été signalés. On suppose que l'incident est le résultat d'un test interne rendu public. Pour l'instant, le contenu Netflix reste exclusif à sa propre application.

Lire plus
(www.engadget.com)
Technologie

Dix ans de deuil : une perte insupportable

2025-02-14
Dix ans de deuil : une perte insupportable

Il y a seize ans, la deuxième fille de l'auteur est née ; il y a dix ans, elle est décédée le jour de son sixième anniversaire. Le texte décrit les réflexions de l'auteur en ce jour, le jour où sa fille aurait eu seize ans, une décennie après sa mort. L'auteur se rend sur sa tombe et assiste à une cérémonie commémorative finale au temple Anshe Chesed Fairmount, un lieu qui avait une signification particulière pour elle, avant sa fermeture, ce qui ajoute une autre couche de tristesse. L'auteur avoue qu'une décennie plus tard, la douleur de la perte de sa fille persiste, ainsi que le sentiment de culpabilité d'avoir « échoué à son enfant de la manière la plus fondamentale possible ».

Lire plus
(meyerweb.com)
Divers perte

Final Fantasy Crystal Chronicles iOS arrêté à cause d'un bug irréparable

2025-02-14
Final Fantasy Crystal Chronicles iOS arrêté à cause d'un bug irréparable

Square Enix a arrêté la version iOS de Final Fantasy Crystal Chronicles et l'a retirée de l'App Store en raison d'un bug irréparable empêchant l'accès au contenu payé. Ce bug est dû à des modifications apportées au modèle d'achat intégré à l'application. Les joueurs ayant effectué des achats intégrés en janvier 2024 ou ultérieurement peuvent contacter l'assistance Apple pour un remboursement. Le jeu reste disponible sur Android, PlayStation et Nintendo Switch.

Lire plus
(www.theverge.com)
Jeux Arrêt du jeu

Un casse-tête mathématique vieux de 60 ans résolu : la taille optimale du canapé

2025-02-14
Un casse-tête mathématique vieux de 60 ans résolu : la taille optimale du canapé

Un casse-tête mathématique vieux de 60 ans – le problème du canapé mobile – vient enfin d’être résolu ! Dans les années 1960, les mathématiciens ont posé une question géométrique apparemment simple : quelle est la plus grande surface d’un canapé pouvant traverser un couloir d’une largeur unitaire ? Récemment, Jineon Baek, chercheur postdoctoral à l’université Yonsei de Séoul, a prouvé dans un article de 119 pages que la forme de canapé proposée par Joseph Gerver en 1992 est la solution optimale, avec une surface d’environ 2,2195. La preuve de Baek est remarquable car elle ne s’appuie pas sur des ordinateurs, mais utilise des techniques mathématiques élégantes, offrant de nouvelles approches pour résoudre d’autres problèmes d’optimisation. Le résultat illustre également que même les problèmes d’optimisation les plus simples peuvent avoir des réponses étonnamment complexes.

Lire plus
(www.quantamagazine.org)
Divers optimisation

D'un stock mort à un phénomène mondial : l'histoire incroyable du stacking

2025-02-14
D'un stock mort à un phénomène mondial : l'histoire incroyable du stacking

Un couple a risqué toutes ses économies en achetant plus de 800 boîtes de gobelets en plastique défectueux à Hasbro. Ces gobelets, percés au fond, semblaient inutiles. Cependant, en utilisant l'expérience du père comme clown et les compétences en relations publiques de la mère, ils ont transformé le stacking en un phénomène mondial, touchant des milliers d'écoles et créant Speed Stacks, une entreprise multimillionnaire qui a changé d'innombrables vies.

Lire plus
(defector.com)
Startup

Le pari de Fly.io sur les GPU : un bilan post-mortem

2025-02-14
Le pari de Fly.io sur les GPU : un bilan post-mortem

Fly.io a tenté d'intégrer des GPU dans son cloud public, dans le but de fournir aux utilisateurs des capacités d'inférence IA/ML. Cependant, le projet a finalement échoué. Plusieurs raisons clés sont mises en avant : la préférence écrasante des développeurs pour les API LLM plutôt que les GPU, les limitations du support des pilotes Nvidia qui nuisent à la rentabilité et à la flexibilité, et les importantes préoccupations en matière de sécurité et de coûts matériels. Malgré l'échec, Fly.io a tiré des leçons précieuses, soulignant l'importance de mener des études de marché approfondies avant de réaliser des investissements à grande échelle.

Lire plus
(fly.io)
Technologie

Révolutionner la mémoire : les défauts cristallins à l'échelle atomique ouvrent de nouvelles perspectives de stockage

2025-02-14
Révolutionner la mémoire : les défauts cristallins à l'échelle atomique ouvrent de nouvelles perspectives de stockage

Des chercheurs de l'université de Chicago ont réalisé une percée dans l'efficacité de la mémoire des ordinateurs classiques en exploitant les défauts cristallins. Ils ont créé des cellules de mémoire à partir d'atomes uniques manquants dans une structure cristalline, chacune capable de stocker un bit. Cette approche novatrice promet des téraoctets de données compressées dans un millimètre cube, révolutionnant ainsi le stockage de données. La recherche intègre la physique de l'état solide et la dosimétrie des rayonnements, offrant un stockage haute densité sans précédent pour la mémoire non volatile classique.

Lire plus
(bioengineer.org)
Technologie technologie de mémoire stockage à l'échelle atomique défauts cristallins

printf sûr et efficace en Idris : pas besoin de macros

2025-02-14

Cet article montre comment implémenter une fonction printf sûre et efficace en Idris sans utiliser de macros dangereuses ni d’arguments variables. L’auteur, en utilisant intelligemment la programmation de niveau type, analyse la chaîne de formatage dans une structure de données et génère dynamiquement la signature du type de fonction en fonction de celle-ci. Cela permet d’obtenir la fonctionnalité du printf de C tout en maintenant la sécurité mémoire et le typage. L’article explore également la gestion des chaînes de formatage en temps d’exécution et souligne les défauts de l’implémentation, tels que des messages d’erreur peu clairs, suggérant des pistes d’amélioration futures.

Lire plus
(www.stranger.systems)
Développement Types dépendants Programmation de niveau type
1 2 … 444 445 446 448 450 451 452 … 595 596