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

Le Magique de l'Investissement de Temps Déraisonnable

2025-01-01

Le Magique de l'Investissement de Temps Déraisonnable

Un tour de magie de Teller, impliquant une carte enterrée dans un parc, révèle le secret du succès : un investissement de temps déraisonnable. Il a préalablement enterré des boîtes correspondant à tous les choix de cartes possibles, attendant des mois que l’herbe pousse avant de réaliser le tour. Cela reflète le succès dans d’autres domaines ; ce qui semble être un succès du jour au lendemain résulte souvent d’une quantité extraordinaire de temps et d’efforts. Commencer petit, itérer et accumuler des quantités apparemment impossibles de pratique culmine dans un résultat apparemment magique.

(allenpike.com)

Divers gestion du temps pratique délibérée secrets du succès

Adieu bcachefs : la migration réticente d'un utilisateur

2025-01-23

Après un an d'utilisation du système de fichiers bcachefs, Steinar Gunderson est passé à XFS. La raison ? Un manque de confiance dans l'avenir de bcachefs. Bien qu'il apprécie ses capacités de compression et la possibilité de mélanger SSD et HDD, il a trouvé l'attitude inflexible du développeur, son hostilité envers des distributions comme Debian et de nombreux bogues non corrigés (y compris des bogues de perte de données catastrophiques) insupportables. Signaler les bogues s'est avéré être une expérience frustrante, le développeur privilégiant les discussions avec Debian à la correction des bogues. Il a finalement opté pour la stabilité de XFS, sacrifiant les avantages de la compression, un compromis qu'il juge valable.

(blog.sesse.net)

Développement

Les États-Unis expulsent des étudiants en silence : répression des visas grâce à l'IA

2025-03-30

Les États-Unis expulsent des étudiants en silence : répression des visas grâce à l'IA

L'administration Trump cible secrètement des étudiants pour les expulser, en utilisant une disposition d'immigration rarement utilisée. Ils manipulent la base de données SEVIS pour révoquer le statut des étudiants sans prévenir les étudiants ni les universités, ce qui entraîne des arrestations surprises. Le département d'État a révoqué au moins 300 visas, utilisant apparemment l'IA pour surveiller les médias sociaux pour justifier ces actions. De nombreux étudiants concernés sont originaires du Moyen-Orient et de pays à majorité musulmane, certains déclarant n'avoir eu aucun activisme politique ni de publications incendiaires sur les réseaux sociaux. Cela met en lumière la position ferme de l'administration en matière d'immigration, le mépris des droits individuels et le potentiel d'utilisation abusive de la technologie pour porter atteinte aux libertés.

(zeteo.com)

Technologie politique d'immigration américaine expulsion d'étudiants

Party Squasher : Un capteur intelligent pour prévenir les fêtes dans les locations de courte durée

2025-01-03

Party Squasher : Un capteur intelligent pour prévenir les fêtes dans les locations de courte durée

Party Squasher est un capteur intelligent conçu pour les gestionnaires de locations de courte durée afin de prévenir les fêtes bruyantes. Contrairement aux moniteurs de bruit bruyants et peu fiables, Party Squasher compte discrètement le nombre de téléphones portables dans une propriété, alertant les utilisateurs par SMS ou e-mail lorsque l'occupation dépasse un seuil défini. Cela prévient les fêtes avant même qu'elles ne commencent, protégeant ainsi la propriété et les relations de voisinage. Facile à installer et à entretenir, Party Squasher propose des versions standard et professionnelle pour les gestionnaires de propriétés individuelles et à grande échelle.

(www.partysquasher.com)

Matériel location de courte durée

L'attaque 'Indiana Jones' révèle les failles des LLM existants

2025-02-24

L'attaque 'Indiana Jones' révèle les failles des LLM existants

Des chercheurs ont mis au point une nouvelle technique de jailbreak, baptisée 'Indiana Jones', qui contourne avec succès les filtres de sécurité des grands modèles de langage (LLM). Cette méthode utilise trois LLM coordonnés pour extraire itérativement des informations potentiellement dangereuses, telles que des instructions sur la manière de devenir des personnages historiques malfaisants, qui auraient dû être filtrées. Les chercheurs espèrent que leurs résultats conduiront à des LLM plus sûrs grâce à une meilleure filtration, des techniques d'oubli machine et d'autres améliorations de sécurité.

(techxplore.com)

IA Vulnérabilités de Sécurité

La fonction monstrueuse qui a brisé le calcul

2025-01-24

La fonction monstrueuse qui a brisé le calcul

Au XIXe siècle, Karl Weierstrass a révélé une fonction qui a secoué la communauté mathématique. Continue partout mais nulle part différentiable, elle ressemblait à un peigne à dents infiniment dentelé, défiant l'intuition et remettant en question les fondements du calcul. Ses propriétés apparemment paradoxales ont forcé les mathématiciens à redéfinir rigoureusement la continuité et la différentiabilité, aboutissant au développement de l'analyse moderne. Ce « monstre mathématique » a non seulement une signification théorique, mais trouve également des applications pratiques dans des domaines comme le mouvement brownien, démontrant les possibilités illimitées des mathématiques.

(www.quantamagazine.org)

Mathématiques fonction de Weierstrass analyse mathématique

Le modèle o3 d'OpenAI trouve une faille zero-day dans le noyau Linux

2025-05-22

Le modèle o3 d'OpenAI trouve une faille zero-day dans le noyau Linux

Ce billet détaille comment l'auteur a découvert une vulnérabilité zero-day (CVE-2025-37899) dans le noyau Linux en utilisant le modèle o3 d'OpenAI. En auditant ksmbd, l'auteur a utilisé o3 pour analyser le code, identifiant avec succès une vulnérabilité use-after-free dans le gestionnaire de commandes SMB 'logoff'. o3 a compris la logique complexe des connexions concurrentes et du partage d'objets, pointant ainsi le défaut. De plus, o3 a redécouvert une autre vulnérabilité, CVE-2025-37778. L'auteur soutient que o3 représente un progrès significatif dans la capacité de raisonnement sur le code, offrant aux chercheurs en vulnérabilités un nouvel outil puissant pour augmenter considérablement leur efficacité.

(sean.heelan.io)

Développement

L'API de citations d'Anthropic combat les hallucinations de Claude

2025-01-28

L'API de citations d'Anthropic combat les hallucinations de Claude

Anthropic a lancé une nouvelle API de citations qui intègre la génération augmentée par la récupération (RAG) directement dans ses modèles Claude. Cela permet de lutter contre les hallucinations de l'IA en liant directement les réponses aux documents sources. Les développeurs peuvent ajouter des documents au contexte de Claude, ce qui lui permet de citer des passages spécifiques utilisés pour générer des réponses. Des tests internes ont montré une amélioration de 15 % de la précision du rappel. Les premiers utilisateurs, tels que Thomson Reuters et Endex, rapportent des résultats positifs, notamment une réduction des confabulations et une augmentation du nombre de références. Bien que des recherches supplémentaires soient nécessaires, cela représente une étape importante vers une IA plus fiable.

(arstechnica.com)

IA

L'échec de la Fintech à bouleverser les grandes banques

2025-01-26

L'échec de la Fintech à bouleverser les grandes banques

Malgré des années d'efforts, les entreprises de Fintech n'ont pas réussi à perturber de manière significative les grandes banques. Un examen des résultats du quatrième trimestre 2024 des principales banques américaines révèle leur force continue. Bien que la Fintech ait progressé dans des domaines tels que les paiements et les prêts aux petites entreprises, les fonctions bancaires essentielles (la réception de dépôts et l'octroi de prêts) restent largement intactes. Les grandes banques ont investi massivement pour rattraper leur retard technologique, maintenir une rentabilité élevée et même dépasser la Fintech en nombre d'utilisateurs mobiles. L'auteur se demande si cette perturbation se produira un jour, suggérant qu'elle pourrait nécessiter plus de temps, des changements générationnels ou un modèle de coexistence.

(www.popularfintech.com)

Technologie Banques

Optimisation du GPU MacOS : gaspillage de ressources pour la vitesse

2024-12-15

Le développeur d'Anukari a rencontré un goulot d'étranglement lors de l'optimisation des performances du GPU sous MacOS. En raison du contrôle limité du système sur les performances du GPU, le mécanisme de régulation des performances du GPU d'Apple a affiché de mauvaises performances dans le cas d'utilisation d'Anukari, entraînant des problèmes audio. Le développeur a mis en œuvre une solution de contournement : consacrer un warp de threadgroup du GPU à des calculs inutiles pour « tromper » le système et augmenter la fréquence d'horloge du GPU, réduisant ainsi considérablement la latence audio et améliorant les performances. Bien que grossière, cette méthode s'est avérée efficace pour résoudre les problèmes de performances sous MacOS. Cependant, les améliorations de performances ont varié considérablement entre les différents DAW (Ableton et GarageBand), nécessitant une optimisation supplémentaire.

(anukari.com)

Développement Optimisation du GPU Goulot d'étranglement des performances

Les publicités dévorent la moitié de vos données mobiles ?

2025-01-05

Les publicités dévorent la moitié de vos données mobiles ?

Une étude révèle que les publicités en ligne consomment en moyenne près de la moitié des données mobiles utilisées pour charger une page web. Les chercheurs ont testé huit sites d'actualité populaires et ont constaté que les publicités représentaient de 18 % à 79 % du transfert de données. Cela explique pourquoi de nombreux utilisateurs épuisent leurs données mobiles avant la fin du mois. Bien que les publicités soient une source de revenus essentielle pour les sites web, leur forte consommation de données soulève des inquiétudes quant à leur efficacité, ce qui incite les utilisateurs à explorer des solutions telles que les bloqueurs de publicités.

(www.nextpit.com)

Technologie données mobiles publicités consommation de données

Baisse sans précédent de la consommation de drogue chez les adolescents continue de surprendre les experts

2024-12-20

Baisse sans précédent de la consommation de drogue chez les adolescents continue de surprendre les experts

Une nouvelle étude révèle une baisse continue et inattendue de la consommation de drogue chez les adolescents en 2024, atteignant des niveaux historiquement bas. La baisse, qui a commencé pendant la pandémie de COVID-19, ne s'est pas inversée malgré la levée des restrictions. Les taux de consommation d'alcool, de marijuana et de nicotine chez les élèves de 8e, 10e et 12e année ont tous chuté drastiquement. Les chercheurs enquêtent maintenant sur les facteurs ayant contribué à cette tendance sans précédent et prévoient des interventions pour maintenir ces faibles taux.

(arstechnica.com)

Santé consommation de drogue chez les adolescents impact de la pandémie

Intuition Géométrique du Théorème des Fonctions Inverses et de la Transformation de Legendre

2025-05-05

Cet article fournit une explication intuitive et géométrique du théorème des fonctions inverses et de la transformation de Legendre. Évitant les dérivation de formules arides, l'auteur utilise des méthodes visuelles telles que les transformations de graphes et les réflexions pour éclairer la relation entre la dérivée d'une fonction inverse et sa fonction originale, et comment la transformation de Legendre résout les intégrales de fonctions inverses. En utilisant arctan x comme exemple, l'article explique clairement l'application de ces outils mathématiques importants, soulignant leur large utilisation dans des domaines tels que la physique.

(tobylam.xyz)

Développement théorème des fonctions inverses transformation de Legendre

Kate's App : Collaboration Médicale Sécurisée et Privée

2025-01-09

Kate's App est conçu pour soutenir les soignants médicaux et les personnes dont ils s'occupent. Il permet le partage et la coordination sécurisés d'informations médicales, permettant aux utilisateurs de partager en privé des ordonnances, des détails sur les médecins, des rendez-vous, et plus encore. Des fonctions de contrôle d'accès garantissent la confidentialité, tandis que des notifications tiennent les utilisateurs informés des modifications des enregistrements et des nouveaux messages. Que ce soit pour gérer un traitement contre le cancer ou un simple rhume, Kate's App facilite une meilleure gestion des informations médicales et la collaboration avec les proches.

(katesapp.org)

Technologie Sécurité des données Travail d'équipe

Nordic dévoile VPR : son premier processeur RISC-V

2024-12-26

Nordic dévoile VPR : son premier processeur RISC-V

Nordic Semiconductor a lancé VPR, son premier processeur RISC-V, intégré aux nouveaux SoC nRF54H et nRF54L. VPR, un processeur RV32EMC fonctionnant jusqu'à 320 MHz, est conçu pour les périphériques définis par logiciel. L'article détaille l'architecture de VPR, le processus d'initialisation et la collaboration avec le processeur Arm Cortex-M33. Le sysbuild de Zephyr simplifie la création et le déploiement d'applications VPR, permettant le calcul hétérogène pour des performances et des fonctionnalités améliorées.

(danielmangum.com)

Matériel Calcul hétérogène

Interdiction de TikTok : les données révèlent une forte baisse du trafic et un passage rapide aux alternatives

2025-01-19

Interdiction de TikTok : les données révèlent une forte baisse du trafic et un passage rapide aux alternatives

L'interdiction de TikTok aux États-Unis est entrée en vigueur le 19 janvier 2025. Les données de Cloudflare montrent un impact significatif après 3h30 UTC, avec une baisse du trafic DNS vers les domaines liés à TikTok allant jusqu'à 85 %, et une baisse du trafic du réseau de ByteDance allant jusqu'à 95 %. Simultanément, des alternatives comme RedNote (Xiaohongshu) ont connu une augmentation massive du trafic, avec une hausse de 74 % aux États-Unis et une hausse impressionnante de 500 % au Mexique. Cela souligne les préoccupations de sécurité nationale des États-Unis et la rapide adaptation des utilisateurs à des plateformes alternatives.

(blog.cloudflare.com)

Technologie Données de trafic

Une cour d'appel annule les règles de neutralité du net de la FCC

2025-01-02

Une cour d'appel annule les règles de neutralité du net de la FCC

Une cour d'appel américaine a annulé les règles de neutralité du net de la Federal Communications Commission (FCC). Ces règles imposaient un traitement égal de tout le trafic internet par les fournisseurs de bande passante, interdisant tout traitement préférentiel. La décision du tribunal s'appuie en partie sur l'arrêt de la Cour suprême de l'année dernière dans l'affaire Loper Bright, qui a limité le pouvoir des agences de réglementation en annulant la doctrine Chevron. La présidente de la FCC a appelé le Congrès à légiférer pour inscrire la neutralité du net dans le droit fédéral, tandis qu'un autre commissaire a salué cette décision comme une inversion de la mainmise réglementaire de l'administration Biden.

(www.tvtechnology.com)

Technologie

DeepSeek : Le géant silencieux qui mène la course à l'IA en Chine

2024-12-31

DeepSeek : Le géant silencieux qui mène la course à l'IA en Chine

DeepSeek, une start-up chinoise d'IA discrète, est devenue une force majeure, son modèle R1 surpassant celui d'OpenAI sur plusieurs benchmarks de raisonnement. Entièrement financée par le fonds spéculatif quantitatif High-Flyer, DeepSeek privilégie la technologie fondamentale aux applications commerciales, s'engageant à rendre ses modèles open source et déclenchant une guerre des prix en Chine avec ses API abordables. Ceci est alimenté par l'accès aux vastes ressources informatiques de High-Flyer. L'objectif ambitieux de DeepSeek est d'atteindre l'Intelligence Artificielle Générale (AGI), en se concentrant sur des innovations architecturales et algorithmiques révolutionnaires comme l'attention latente multi-têtes (MLA) et le mélange d'experts sparse (DeepSeekMoE), réduisant considérablement les coûts d'inférence. Son succès provient d'une innovation globale dans l'architecture des modèles et d'une utilisation efficace des talents nationaux, contrastant fortement avec de nombreuses entreprises chinoises axées sur la commercialisation et la réplication. Le fondateur Liang Wenfeng, un idéaliste technologique, privilégie les principes aux profits, en stimulant l'innovation originale et en visant à positionner la Chine comme un contributeur significatif au progrès technologique mondial.

(www.chinatalk.media)

IA

Ingénierie inverse : Décryptage d’un appareil d’apprentissage pour enfants

2025-04-06

Ingénierie inverse : Décryptage d’un appareil d’apprentissage pour enfants

Cet article de blog détaille le premier projet d’ingénierie inverse de l’auteur : un appareil d’apprentissage pour enfants (LeapFrog LeapStart/VTech MagiBook). Le processus commence par l’acquisition du firmware à partir des fichiers cache du logiciel VTech. Les fichiers clés identifiés incluent « System » et « FileSys ». « FileSys » est une image de système de fichiers FAT32 contenant des données d’applications, audio et livres. « System » semble être un fichier binaire ARM, contenant des informations C++, des journaux et des informations sur le noyau (uC/OS-II). Les étapes suivantes consistent à analyser plus en profondeur ces fichiers, afin de comprendre le code de reconnaissance des points et le code de lecture audio, et éventuellement d’ajouter de l’audio personnalisé.

(leloubil.prose.sh)

Développement analyse de firmware

Décompilation Complète de LEGO Island (1997)

2024-12-23

Décompilation Complète de LEGO Island (1997)

Le projet isle a réalisé une décompilation fonctionnellement complète du jeu classique LEGO Island (version 1.1, anglaise) sorti en 1997. L'objectif est de créer une représentation précise du code original du jeu, en faisant correspondre les instructions recompilées au code machine original. ISLE.EXE et LEGO1.DLL sont entièrement décompilés et fonctionnellement identiques aux originaux. Les travaux futurs se concentrent sur l'amélioration de la précision du code, de la nomenclature, de la documentation et de la structure. Bien que quelques bogues puissent persister, le jeu est jouable. Le projet utilise CMake et recommande Microsoft Visual C++ 4.2 pour la compilation afin d'obtenir une précision optimale.

(github.com)

Jeux décompilation de jeux ingénierie inverse

Le succès fou de SpaceX : l’algorithme Haywood en action

2025-01-10

Le succès fou de SpaceX : l’algorithme Haywood en action

Cette critique du nouveau livre d’Eric Berger, *Reentry : SpaceX, Elon Musk, and the Reusable Rockets that Launched a Second Space Age*, détaille l’extraordinaire histoire de succès de SpaceX. L’auteur attribue les réussites de SpaceX à l’adhésion extrême d’Elon Musk à « l’algorithme Haywood » : établir une liste de tout ce qui est nécessaire pour réussir, puis tout faire. SpaceX a surmonté d’innombrables obstacles techniques et politiques, révolutionnant l’industrie aérospatiale par ses innovations audacieuses et son exécution quasi-folle, réalisant des fusées réutilisables et réduisant considérablement les coûts de lancement. La critique utilise des anecdotes sur les exploits audacieux de SpaceX, du transport de fusées et de la construction de sites de lancement à la gestion de crises imprévues, pour souligner sa culture d’entreprise unique et sa quête incessante d’innovation malgré les contretemps. En fin de compte, l’auteur soutient que le triomphe de SpaceX provient de son engagement indéfectible envers ses objectifs, de son exécution tenace et du style de leadership non conventionnel de Musk.

(www.thepsmiths.com)

Technologie Fusées

Un iPhone SE 3 transplanté dans un Nokia Lumia 1020 !

2025-02-17

Un iPhone SE 3 transplanté dans un Nokia Lumia 1020 !

Un utilisateur de Reddit a réussi l'exploit incroyable de transplanter les composants internes d'un iPhone SE 3 dans le boîtier d'un Nokia Lumia 1020. Étonnamment, des composants clés comme l'appareil photo 12MP, le moteur Taptic et le capteur Touch ID ont été conservés. Même la connectivité 5G et le bouton emblématique de l'obturateur de l'appareil photo Lumia sont fonctionnels. Malgré l'absence de prise casque, le projet remplace intelligemment le port MicroUSB par un port Lightning et déplace le Touch ID à l'arrière. C'est une démonstration d'ingéniosité et un fascinant mélange de nostalgie et de technologie moderne.

(9to5mac.com)

Matériel Modification matérielle

DECUServe : Une communauté en ligne florissante pour OpenVMS

2025-01-28

DECUServe est une communauté en ligne dynamique pour les utilisateurs d'OpenVMS, offrant une multitude de ressources et d'assistance. Bénéficiant d'une base de connaissances immense sur les problèmes et les solutions, elle a organisé de nombreuses conférences techniques (plus de cinquante!). Les utilisateurs accèdent aux conférences, aux bibliothèques et aux pages web personnelles via la ligne de commande, un navigateur ou un lecteur de news. Avec un accès SSH, SFTP et DCLinabox, la collaboration est simplifiée. Un environnement d'entraide entre pairs, DECUServe est une ressource inestimable pour la communauté OpenVMS.

(decuserve.org)

Développement Support technique

Publicités Discord : CPM élevés, mais encore expérimental

2025-01-31

Publicités Discord : CPM élevés, mais encore expérimental

Les produits publicitaires de Discord utilisent actuellement un modèle de prix fixe basé sur les projections de portée, de fréquence, d'augmentation de la notoriété de la marque et d'engagement des utilisateurs. Les CPM de l'inventaire premium se situent entre environ 25 et 30 $, selon le format, la région et la portée. Discord utilise les prix au CPM au lieu du CPA car les vues et l'engagement apportent tous deux de la valeur, et c'est le bon modèle économique pour eux, compétitif dans le segment des inventaires premium mais inférieur aux plateformes les plus chères. Bien que la publicité soit prometteuse, elle reste une unité commerciale relativement expérimentale pour Discord en 2025 ; la majeure partie des revenus provient de son service d'abonnement Discord Nitro.

(nowtoknow.com)

Jeux Publicités Discord Prix CPM Plateforme sociale de jeu

Atlas Shrugged : La nouvelle tendance ?

2025-01-18

Atlas Shrugged : La nouvelle tendance ?

Cette discussion de podcast explore la résurgence surprenante d'Atlas Shrugged d'Ayn Rand. Deux invités analysent l'intrigue captivante du roman, ses personnages mémorables et ses commentaires perspicaces sur les problèmes sociétaux contemporains. Ils soutiennent qu'Atlas Shrugged transcende sa réputation de manifeste politique, offrant une exploration nuancée de la rationalité, des réussites individuelles et de la responsabilité sociale, le rendant pertinent aujourd'hui encore. La conversation met en lumière l'attrait durable du roman et son influence sur des personnalités importantes dans les mondes de la technologie et de la politique.

(www.commonreader.co.uk)

Divers Analyse du roman

srsRAN : Radio logicielle 4G/5G open source

2025-01-05

srsRAN : Radio logicielle 4G/5G open source

srsRAN est un ensemble d'applications radio logicielles 4G et 5G open source développées par SRS. Implémenté en C++ portable avec un minimum de dépendances tierces, srsRAN fonctionne sous Linux avec du matériel informatique et radio standard. Le projet srsRAN comprend un CU+DU 5G RAN natif O-RAN complet, et une implémentation réseau 4G full-stack couvrant UE, eNodeB et EPC. Le projet est hébergé sur GitHub avec une documentation complète et un forum communautaire actif.

(github.com)

Développement radio logicielle

Tailwind CSS v4.0 : Vitesse fulgurante et flexibilité incroyable

2025-01-23

Tailwind CSS v4.0 : Vitesse fulgurante et flexibilité incroyable

Tailwind CSS v4.0 est arrivé ! Cette version est une refonte complète du framework, offrant des améliorations de performances considérables et une flexibilité accrue. Les builds complets sont jusqu'à 5 fois plus rapides, et les builds incrémentaux plus de 100 fois plus rapides. Tirant parti des fonctionnalités CSS de pointe telles que les couches en cascade, les propriétés personnalisées et la fonction `color-mix()`, la v4.0 est conçue pour le web moderne. La configuration est simplifiée avec moins de dépendances, aucune configuration requise et une seule ligne de CSS. Une nouvelle configuration priorisant le CSS permet la personnalisation directement dans votre CSS, ainsi que des variables de thème CSS, des valeurs d'utilitaires dynamiques et des variantes. Parmi les autres ajouts importants, citons une palette de couleurs P3 modernisée, les requêtes de conteneur, de nouveaux utilitaires de transformation 3D, des API de dégradés étendues et la prise en charge de `@starting-style`. Cette version améliore considérablement l'efficacité des développeurs et l'expérience utilisateur.

(tailwindcss.com)

Développement

Le chemin difficile de l'arithmomètre vers le succès : de l'obscurité au standard industriel

2025-03-22

Cet article raconte l'histoire de l'arithmomètre de Charles Xavier Thomas de Colmar. Bien qu'il ne soit pas la première machine à calculer, sa conception robuste et sa capacité de production de masse ont conduit à son succès final. L'article retrace le parcours de la machine depuis sa première apparition publique en 1820 jusqu'à son adoption généralisée dans les années 1870, en examinant son développement mécanique, ses stratégies de marketing et les expériences des utilisateurs. L'arithmomètre a subi des remaniements importants, son design et son positionnement sur le marché étant constamment ajustés. Malgré une adoption initiale lente et des revers face à la concurrence lors d'expositions, des améliorations constantes et des efforts promotionnels ont finalement conduit à une acceptation généralisée et à son rôle crucial dans l'industrie informatique.

(www.mhs.ox.ac.uk)

Technologie histoire de la calculatrice ingénierie mécanique

Ajouter des types de raffinement à Rust : une étude de faisabilité

2024-12-24

Cet article explore la faisabilité d'ajouter des types de raffinement au langage de programmation Rust. S'appuyant sur l'expérience avec YAIOUOM, un analyseur statique utilisant des types de raffinement pour vérifier les unités de mesure, l'auteur examine les approches pour implémenter des types de raffinement au sein du système de types de Rust. Plusieurs options sont proposées, notamment des modifications de la résolution de traits, l'unification des variables de type et l'introduction d'un mécanisme de mot-clé branchable pour la vérification de types post-compilation. Une approche optimiste — ignorant les informations sur les unités en début de compilation et vérifiant plus tard — est jugée plus pratique. La conception de l'API et la gestion des messages d'erreur sont discutées. Les travaux futurs comprennent la collecte de commentaires, l'écriture d'un pilote rustc prenant en charge les plugins et l'implémentation de plusieurs types de raffinement, potentiellement incluant une nouvelle version de YAIOUOM et des sous-ensembles de Flux ou Liquid Haskell.

(yoric.github.io)

Développement Types de raffinement Système de types

Bolt3D : Génération de scènes 3D en quelques secondes

2025-03-19

Bolt3D : Génération de scènes 3D en quelques secondes

Bolt3D, fruit d'une collaboration entre Google Research, VGG et Google DeepMind, génère des scènes 3D réalistes en seulement 6,25 secondes sur une seule GPU. Le modèle utilise un modèle de diffusion multi-vues pour générer l'apparence et la géométrie de la scène, puis régresse des images de projection à l'aide d'une tête gaussienne. Enfin, il combine des gaussiennes 3D provenant de plusieurs images de projection pour former la scène 3D complète. Prenant en charge une ou plusieurs images d'entrée, Bolt3D génère des régions de scène non observées sans mécanismes de reprojection ou de peinture, marquant un progrès significatif dans la vitesse de génération de scènes 3D.

(szymanowiczs.github.io)

IA Modèle de diffusion

← Previous 1 2 … 559 560 561 562 563 564 565 566 567 … 595 596 Next →