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 pari du service postal américain sur l'e-mail : l'essor et la chute d'E-COM

2025-05-14

Le pari du service postal américain sur l'e-mail : l'essor et la chute d'E-COM

Face à la menace du courrier électronique, le service postal américain a lancé E-COM en 1982, un service qui imprimait les e-mails et les distribuait par la poste. Initialement réussi, E-COM a finalement échoué en 1985 en raison de coûts élevés, de processus lourds et d'un manque de flexibilité, entraînant des pertes de plus de 40 millions de dollars. Cependant, E-COM a popularisé le terme « e-mail » et a mis en lumière les tentatives du service postal pour s'adapter aux changements technologiques.

(buttondown.com)

Technologie E-mail

acmsg : Générateur de messages de commit Git alimenté par l'IA

2025-05-14

acmsg : Générateur de messages de commit Git alimenté par l'IA

acmsg est un outil CLI basé sur Python qui utilise l'API OpenRouter et des modèles d'IA pour générer automatiquement des messages de commit Git. Il analyse les modifications en attente dans votre dépôt Git, génère des messages de commit contextuels, prend en charge plusieurs modèles d'IA et permet de modifier le message généré. L'installation est facile via flake ou un profil autonome ; la première exécution invite à configurer le jeton de l'API OpenRouter.

(github.com)

Développement

Prime de 20 000 $ : Aidez à atteindre la parité entre les décodeurs AV1 rav1d (Rust) et dav1d (C) !

2025-05-14

Prime de 20 000 $ : Aidez à atteindre la parité entre les décodeurs AV1 rav1d (Rust) et dav1d (C) !

Le décodeur AV1 rav1d, écrit en Rust, est actuellement environ 5 % plus lent que son équivalent en C, dav1d. Pour combler ce manque de performance, une prime de 20 000 $ est offerte pour les contributions qui permettront à rav1d d'atteindre la parité de performance avec dav1d. Les améliorations peuvent être apportées à la base de code rav1d, au compilateur Rust ou à la bibliothèque standard Rust, mais les modifications sont soumises à des règles spécifiques (pas de modification de l'assemblage bas niveau, pas de code autre que Rust). La prime sera répartie proportionnellement en fonction des améliorations de performance obtenues.

(www.memorysafety.org)

Développement

Databricks acquiert Neon : Postgres serverless pour l'ère de l'IA

2025-05-14

Databricks acquiert Neon : Postgres serverless pour l'ère de l'IA

Databricks a annoncé l'acquisition de Neon, une société de Postgres serverless axée sur les développeurs. L'équipe de Neon, reconnue pour son expertise en Postgres, a construit une plateforme de base de données réputée pour sa vitesse, son évolutivité et son coût-efficacité, particulièrement attrayante pour les agents d'IA. Cette acquisition renforce la position de Databricks sur le marché des bases de données natives de l'IA, offrant aux développeurs et aux systèmes d'IA une solution de base de données puissante.

(www.databricks.com)

Technologie

Du bois plus résistant que l'acier ? Cette startup le rend possible

2025-05-14

Du bois plus résistant que l'acier ? Cette startup le rend possible

Une technologie révolutionnaire de l'Université du Maryland transforme le bois ordinaire en un matériau plus résistant que l'acier. InventWood, la société licenciée, a levé 15 millions de dollars lors d'un premier tour de financement de série A pour construire sa première usine commerciale. Initialement axée sur les façades de bâtiments, l'entreprise vise à terme à remplacer le béton et l'acier dans la construction, réduisant ainsi considérablement l'empreinte carbone du secteur. Le processus modifie la structure moléculaire du bois et le comprime, ce qui donne un matériau plus de 10 fois plus résistant, avec une résistance accrue au feu et à la pourriture.

(techcrunch.com)

Technologie biomatériau

Simplifier Ethereum : La voie vers un protocole plus robuste et sécurisé

2025-05-14

Cet article explore la nécessité et les méthodes pour simplifier le protocole Ethereum. L'auteur soutient que la simplification améliore la sécurité, réduit les coûts de développement et encourage la participation de la communauté. L'article propose d'atteindre cet objectif en simplifiant à la fois la couche de consensus (par exemple, en utilisant la finalité à 3 slots) et la couche d'exécution (par exemple, en remplaçant l'EVM par RISC-V). De plus, il suggère de partager des composants tels que les codes d'effacement, les formats de sérialisation et les structures d'arbres pour réduire encore la complexité du protocole. L'objectif final est de rendre le code critique d'Ethereum aussi simple que celui de Bitcoin, améliorant ainsi sa maintenabilité et sa sécurité à long terme.

(vitalik.eth.limo)

Développement Simplification du Protocole

Google étouffe la concurrence : restrictions de téléchargement sur l’application Android Nextcloud

2025-05-14

Google étouffe la concurrence : restrictions de téléchargement sur l’application Android Nextcloud

La fonctionnalité de téléchargement de l’application Android Nextcloud est sévèrement limitée par Google, ne permettant que le téléchargement de photos et de vidéos. Google a révoqué une autorisation critique, invoquant des préoccupations de sécurité, mais Nextcloud estime qu’il s’agit d’une tentative délibérée d’étouffer la concurrence. Malgré les appels, Google refuse de rétablir l’autorisation, affectant des millions d’utilisateurs. Nextcloud soutient que cela illustre l’abus de pouvoir des grandes entreprises technologiques pour réprimer les concurrents et appelle à une réglementation plus stricte.

(nextcloud.com)

Technologie

PebbleOS open source continue : la puce SiFli alimente le Core Time 2

2025-05-14

PebbleOS open source continue : la puce SiFli alimente le Core Time 2

Cet article, le premier d'une série sur la construction d'une smartwatch, détaille la sélection de la puce SiFli SF32LB52J pour la smartwatch Core Time 2. L'auteur raconte des expériences passées avec le STM32F2 dans les montres Pebble originales, soulignant les considérations cruciales de compatibilité logicielle, de consommation d'énergie et de coût lors du choix d'une unité de microcontrôleur (MCU). La puce SiFli a finalement gagné en raison de sa SRAM de 512 Ko, de sa PSRAM de 16 Mo, de sa faible consommation d'énergie et de son SDK open source, donnant une nouvelle vie à l'écosystème PebbleOS open source.

(ericmigi.com)

Matériel sélection de puce

Framework Ash : Options prédéfinies pour le développement rapide d'applications

2025-05-14

Ash est un framework de développement d'applications puissant offrant des options prédéfinies pour une création rapide d'applications. Les utilisateurs peuvent choisir des préconfigurations intégrant divers composants tels que Phoenix LiveView, GraphQL et PostgreSQL, avec la possibilité d'ajouter des fonctionnalités ultérieurement, notamment des modules d'IA, de finance et d'automatisation. Même les débutants peuvent facilement démarrer, lançant rapidement des projets via une simple installation en ligne de commande et une base de données PostgreSQL.

(ash-hq.org)

Développement Options prédéfinies

Wise bloque son compte, plus de 60 000 AUD inaccessibles

2025-05-14

Wise bloque son compte, plus de 60 000 AUD inaccessibles

Le compte Wise d'une entreprise, utilisé depuis cinq ans, a été soudainement bloqué, empêchant toute transaction. Plus de 60 000 AUD restent inaccessibles. Malgré la fourniture de tous les documents demandés, y compris les informations sur les actionnaires et les identifiants des propriétaires, le support Wise n'a pas réussi à résoudre le problème, demandant à plusieurs reprises des documents déjà soumis. De nombreux tickets de support et appels n'ont donné aucun résultat, laissant l'entreprise avec une somme importante bloquée.

(hey.paris)

Divers Blocage de compte Sécurité des fonds

GM et LG s'associent pour développer des batteries de VE plus abordables et plus sûres

2025-05-14

GM et LG s'associent pour développer des batteries de VE plus abordables et plus sûres

General Motors s'associe à LG pour développer des batteries riches en manganèse et en lithium (LMR) pour ses camions et SUV électriques. Ces batteries promettent d'être plus sûres, plus denses en énergie et moins coûteuses que la technologie actuelle. GM vise à être le premier constructeur automobile à déployer des batteries LMR commercialement aux États-Unis d'ici 2028, devançant l'objectif 2030 de Ford. L'approche LMR utilise plus de manganèse, réduisant la dépendance au cobalt coûteux et réduisant potentiellement de manière significative les coûts des véhicules électriques. Bien que des défis existent, tels que la perte de capacité, GM est confiante d'avoir atténué ces risques, projetant une autonomie de 400 miles pour les véhicules utilisant cette technologie. Cette initiative est cruciale pour réduire les coûts des véhicules électriques et accélérer leur adoption.

(www.theverge.com)

Technologie batteries VE batteries LMR

EM-LLM : Mémoire épisodique inspirée de l'humain pour les LLMs à contexte infini

2025-05-14

EM-LLM : Mémoire épisodique inspirée de l'humain pour les LLMs à contexte infini

EM-LLM est une nouvelle architecture qui améliore considérablement la capacité des grands modèles de langage (LLM) à gérer des contextes extrêmement longs en imitant la mémoire épisodique humaine et la cognition des événements. Sans réglage fin, EM-LLM organise les séquences de jetons d'entrée en événements épisodiques cohérents et accède aux informations pertinentes via un mécanisme de récupération de mémoire à deux étapes efficace. Dans les benchmarks LongBench et ∞-Bench, EM-LLM surpasse les modèles de récupération de pointe, tels que InfLLM et RAG, surpassant même les modèles à contexte complet dans la plupart des tâches. Il effectue avec succès la récupération sur 10 millions de jetons, ce qui est calculatoirement impossible pour les modèles à contexte complet. La forte corrélation entre la segmentation des événements d'EM-LLM et les événements perçus par les humains offre un nouveau cadre computationnel pour explorer les mécanismes de la mémoire humaine.

(github.com)

IA Mémoire Épisodique Contexte Infini

Articles et billets de blog qui ont changé ma façon de penser sur les langages de programmation

2025-05-14

Cet article de blog liste plusieurs articles et billets de blog qui ont profondément influencé la compréhension de l'auteur sur les langages de programmation et les compilateurs. Les sujets abordés incluent la collecte des ordures, l'optimisation du code, l'allocation des registres, les moteurs d'expressions régulières, l'apprentissage automatique, la forme SSA et la conception des compilateurs. L'auteur souligne les approches perspicaces présentées, telles que l'utilisation de Z3 comme moteur de preuve, l'exploitation du fuzzing pour la détection de bogues et les techniques efficaces d'analyse d'expressions. L'ensemble montre la plongée profonde de l'auteur dans les complexités du design et de l'implémentation des langages de programmation.

(bernsteinbear.com)

Développement

Mycelium : Un nouveau format pour le stockage et le transfert de données

2025-05-14

Mycelium : Un nouveau format pour le stockage et le transfert de données

Mycelium est un format typé pour stocker et transférer des données, prenant en charge les références, les expressions, les fonctions et les types. Sa machine virtuelle, MVM, est conçue pour l'efficacité avec des valeurs immuables et une interaction inter-processus via des ports. MycZip encode les valeurs Mycelium en fichiers uniques, tandis que le protocole réseau Mycelium (MNP), basé sur QUIC, facilite le transfert pair à pair de données et la mise en cache pour l'optimisation. Le langage Spore fournit une interface conviviale pour le MVM.

(github.com)

Développement

Le système de bus à la demande de Shanghai : une révolution impulsée par les usagers

2025-05-14

Le système de bus à la demande de Shanghai : une révolution impulsée par les usagers

Shanghai révolutionne les transports publics avec son nouveau système de bus "DZ" (sur mesure). Les résidents proposent des itinéraires via une plateforme en ligne ; si suffisamment de personnes s'inscrivent (généralement 15 à 20 passagers), l'itinéraire est lancé. Plus de 220 itinéraires DZ fonctionnent déjà dans la ville, offrant une solution flexible et réactive à la demande. Bien que salué pour son efficacité et sa commodité, le système fait face à des défis tels qu'une demande inégale de passagers et une faible sensibilisation du public. Les améliorations futures se concentrent sur la planification des itinéraires, les mises à niveau de la plateforme et une meilleure visibilité.

(www.sixthtone.com)

Technologie transport à la demande ville intelligente

Le génie silencieux de DeepSeek : Liang Wenfeng

2025-05-14

Le génie silencieux de DeepSeek : Liang Wenfeng

Liang Wenfeng, fondateur de la startup d'IA révolutionnaire DeepSeek, peut paraître timide, mais son calme dissimule un esprit vif. Il responsabilise les jeunes chercheurs, s'engageant profondément dans des discussions techniques et encourageant l'innovation. Son approche méticuleuse et sa profonde compréhension des systèmes d'IA ont propulsé DeepSeek vers des succès significatifs dans le domaine.

(www.bloomberg.com)

IA

RPG in a Box : Créez des jeux facilement !

2025-05-14

RPG in a Box vous permet de créer des jeux et des expériences interactives sans aucune connaissance de programmation ou de modélisation. Grâce à des outils intuitifs comme un éditeur de voxels, un éditeur de cartes, un script visuel, un système de dialogue, une personnalisation de l'interface utilisateur et un générateur d'effets sonores, vous pouvez exporter vos jeux sur Windows et macOS. Facile à utiliser, même pour les débutants !

(rpginabox.com)

Jeux

La FCC enquête sur l'utilisation du spectre 2 GHz d'EchoStar suite aux différends avec SpaceX et VTel

2025-05-14

La FCC enquête sur l'utilisation du spectre 2 GHz d'EchoStar suite aux différends avec SpaceX et VTel

Le manque apparent de diligence raisonnable de SpaceX concernant l'utilisation extensive de la bande 2 GHz par EchoStar a conduit à une enquête de la FCC. EchoStar affirme couvrir plus de 80 % de la population américaine avec plus de 23 000 sites 5G déployés. Cependant, VTel Wireless a déposé une requête auprès de la FCC, arguant que l'octroi de plus de temps à EchoStar pour achever son réseau 5G viole les engagements pris lors de la fusion T-Mobile/Sprint. La FCC sollicite désormais des commentaires publics sur l'utilisation du spectre 2 GHz par EchoStar et la requête de reconsidération de VTel.

(arstechnica.com)

Technologie Litige Spectrale

Plongeon en profondeur dans la sélection de niveau de mipmap du GPU

2025-05-14

Cet article explore en détail le mécanisme de sélection du niveau de mipmap lors de l'échantillonnage des textures sur le GPU. En commençant par le problème de l'aliasing des textures, l'auteur explique la technique du mipmapping et le rôle des dérivées de pixels (ddx()/ddy()). En analysant les spécifications GLES3.0 et DirectX 11.3, ainsi que les résultats expérimentaux, l'auteur révèle la complexité de la relation entre la sélection du niveau de mipmap et les dérivées de pixels, ainsi que les différences d'implémentation entre les différents fabricants de GPU. L'article explore également l'impact des transformations elliptiques et du filtrage anisotrope sur la sélection du niveau de mipmap, en fournissant des implémentations logicielles correspondantes et en les comparant aux implémentations matérielles.

(pema.dev)

Développement

Mon cauchemar avec les devoirs à domicile : travail non rémunéré de Kagi Search

2025-05-14

L'auteur relate une expérience épuisante avec une tâche à domicile pour Kagi Search. Malgré la livraison d'une application web de client de messagerie complète et bien documentée, déployée sur AWS, dépassant les exigences initiales vagues, l'auteur a reçu un e-mail de refus générique sans aucun commentaire. Cette expérience met en évidence l'absurdité des tâches longues et non rémunérées dans le processus d'embauche dans le secteur de la technologie et plaide en faveur de méthodes plus efficaces, telles que les examens de code en direct.

(bloggeroo.dev)

Divers processus d'embauche devoirs à domicile

Replicube : Créez vos propres mondes voxel avec du code

2025-05-14

Replicube : Créez vos propres mondes voxel avec du code

Replicube est un jeu de puzzle de programmation ouvert où vous écrivez du code pour reproduire des objets 3D basés sur des voxels. Résolvez des énigmes en faisant correspondre des objets de référence avec votre code – il n'y a pas de bonne réponse unique, obtenez simplement le même objet ! Créez librement votre propre art voxel, et générez même des images 2D et des GIF avec les outils intégrés. Rivalisez au classement, partagez vos créations sur le forum du jeu et exportez votre travail vers d'autres outils 3D. Disponible sur Windows, macOS et Linux.

(store.steampowered.com)

Jeux jeu voxel création de code

Un dispositif IoT signale l'état de la réunion à la famille

2025-05-14

Fatigué des interruptions lors des réunions à domicile ? Ce simple dispositif IoT, 'Tabajara', utilise un ESP32 et le framework Arduino pour signaler l'état de la réunion. Lorsque la webcam est allumée, il change la couleur d'un panneau LED à la porte du bureau (rouge pour réunion, bleu pour non). Un démon Python interroge l'API d'Apple pour vérifier l'utilisation de la webcam et envoie des mises à jour à l'ESP32. Une solution astucieuse pour éviter les interruptions familiales !

(nullonerror.org)

Développement Automatisation domestique

L'humble épingle à nourrice : Une histoire d'Homère au punk rock

2025-05-14

Cet article retrace l'évolution de l'épingle à nourrice de l'Antiquité à nos jours. Des épingles à bijoux mentionnées dans l'Odyssée d'Homère et l'ancienne fibule romaine, à l'invention en 1849 par Walter Hunt de l'épingle à nourrice moderne – un design qui est resté pratiquement inchangé pendant des siècles. Le voyage de l'épingle à nourrice continue, devenant un symbole du punk rock, un outil crucial dans le sport et une nécessité quotidienne dans le monde entier. Son élégance simple et sa signification culturelle en font plus qu'un simple objet utilitaire ; dans certaines cultures, on croit même qu'elle éloigne le mal ou apporte la bonne fortune.

(museumofeverydaylife.org)

Divers épingle à nourrice

La transformation d'Airbnb : des séjours occasionnels à une superplateforme

2025-05-14

La transformation d'Airbnb : des séjours occasionnels à une superplateforme

Airbnb évolue d'une plateforme pour hébergements touristiques occasionnels vers une plateforme complète utilisée plus fréquemment. Son application redessinée présente des icônes intuitives guidant les utilisateurs vers trois sections principales : séjours, services et expériences. Pour renforcer la confiance des utilisateurs, Airbnb vérifie rigoureusement les nouveaux prestataires de services (chefs, masseurs, etc.), effectuant des vérifications d'antécédents et des photos professionnelles. Les projets futurs incluent le développement des profils utilisateurs en IDs internet principaux et l'amélioration des fonctions de messagerie pour créer une plateforme communautaire pour les voyageurs, en évitant la publicité. Cette transformation est motivée par l'admiration du PDG Brian Chesky pour la philosophie de design d'Apple et sa collaboration avec l'ancien designer d'Apple, Jony Ive.

(www.wired.com)

Startup Transformation de plateforme

L'administration Trump va accepter un jet de luxe de 400 millions de dollars : un pari coûteux ?

2025-05-14

L'administration Trump va accepter un jet de luxe de 400 millions de dollars : un pari coûteux ?

L'administration Trump prévoit d'accepter un jet de luxe 747-8 de 400 millions de dollars du Qatar comme Air Force One temporaire. Cependant, sa mise à niveau aux normes de sécurité présidentielles pourrait prendre des années et coûter des centaines de millions de plus. Le projet soulève des inquiétudes juridiques et éthiques, car la propriété sera transférée à la fondation de la bibliothèque présidentielle de Trump après son mandat. Des experts en sécurité mettent en garde contre le fait que la modernisation d'un avion appartenant à un pays étranger est extrêmement coûteuse, longue et pourrait perturber le programme de remplacement de Boeing, déjà retardé. L'Air Force One actuel dispose de systèmes de défense et de communication de pointe ; adapter le jet qatari présenterait des risques de sécurité et des coûts importants, ce qui rendrait l'utilisation continue des avions actuels jusqu'à ce que les remplacements soient prêts une option plus sensée.

(www.theregister.com)

Divers

Moins de viande, empreinte carbone réduite : une analyse basée sur les données

2025-05-14

Moins de viande, empreinte carbone réduite : une analyse basée sur les données

Une analyse complète des systèmes alimentaires mondiaux révèle que la réduction de la consommation de viande est considérablement plus efficace que la concentration sur la production de viande durable pour réduire l'empreinte carbone de l'alimentation. Même les viandes ayant le plus faible impact environnemental ont des émissions nettement plus élevées que les sources de protéines végétales telles que les haricots et le tofu. Cette conclusion est tirée d'une méta-analyse de plus de 38 000 exploitations agricoles commerciales dans 119 pays, tenant compte des variations des méthodes de production et de la situation géographique. Bien que la production de viande durable soit essentielle, pour les particuliers, réduire leur consommation de viande ou opter pour des options à faible impact comme le poulet et le porc est le moyen le plus efficace de réduire leur empreinte carbone.

(ourworldindata.org)

Technologie empreinte carbone consommation de viande

Archives des affiches VIH/SIDA de Harvard : Une histoire visuelle de la communication en santé publique

2025-05-14

Les archives numériques de la bibliothèque Harvard, contenant plus de 3 000 affiches sur l'épidémie du VIH/SIDA, révèlent l'évolution de la communication en santé publique. Les premières affiches privilégiaient des visuels simples et percutants, ainsi qu'un message unique, émotionnellement résonnant, avec un appel à l'action clair (numéro de téléphone, site web, désormais code QR). Les campagnes ultérieures ont diversifié les messages pour différents publics, passant d'approches basées sur la honte à des approches positives et affirmatives. Les chercheurs soulignent la co-création de messages avec les publics cibles pour un meilleur impact. Les archives mettent en évidence les progrès réalisés grâce à la prévention et aux traitements modernes (PrEP, antiviraux), dans le but de mettre fin à la transmission du VIH et de prévenir d'autres décès, contrastant les limites du passé avec les capacités actuelles pour éliminer les nouvelles infections.

(news.harvard.edu)

Technologie Communication en santé

Une question d'enfant mène à une découverte inattendue : le mystère des doigts ridés

2025-05-14

Une question d'enfant mène à une découverte inattendue : le mystère des doigts ridés

Le professeur Guy German de l'université de Binghamton et son équipe ont étudié pourquoi les doigts se rident après une immersion prolongée dans l'eau. Contrairement à la croyance populaire, ils ont découvert que les rides ne sont pas dues au gonflement de la peau, mais à la contraction des vaisseaux sanguins sous la peau. De manière remarquable, des expériences répétées ont montré que les motifs des rides restent constants après plusieurs immersions, liés à la position relativement stable des vaisseaux sanguins. La recherche a même découvert de manière inattendue que les personnes atteintes de lésions du nerf médian ne présentent pas ces rides. Cette découverte pourrait avoir des applications médico-légales, telles que l'amélioration des techniques d'identification des empreintes digitales.

(www.binghamton.edu)

Technologie peau science médico-légale

Audible révolutionne la production de livres audio grâce à l'IA

2025-05-13

Audible révolutionne la production de livres audio grâce à l'IA

Audible d'Amazon révolutionne l'industrie du livre audio avec sa nouvelle technologie de production basée sur l'IA. Cela permet aux éditeurs de convertir facilement les livres en livres audio en utilisant une variété de voix générées par l'IA avec différents accents et langues. Un nouvel outil de traduction IA étendra encore l'accès mondial, traduisant entre l'anglais, l'espagnol, le français, l'italien et l'allemand. Les éditeurs peuvent choisir entre un service entièrement géré par Audible ou une option en libre-service. Cette innovation promet d'augmenter significativement la production de livres audio et l'accessibilité mondiale.

(www.theverge.com)

Technologie Livre audio

Assistant de preuve mathématique interactif construit avec Python et SymPy

2025-05-13

Un développeur a créé un assistant de preuve mathématique interactif utilisant Python et la bibliothèque SymPy. Il prouve semi-automatiquement les estimations asymptotiques impliquant des fonctions scalaires. Imitant l'assistant de preuve Lean, l'outil prend en charge l'arithmétique linéaire et l'arithmétique log-linéaire, permettant aux utilisateurs de guider le processus de preuve en fournissant des tactiques de haut niveau. Actuellement fonctionnant en mode interactif Python, une interface utilisateur graphique est prévue pour l'avenir. Le développeur a l'intention d'étendre l'outil pour gérer un éventail plus large de tâches mathématiques, telles que l'estimation des normes d'espaces fonctionnels.

(terrytao.wordpress.com)

Développement

← Previous 1 2 … 238 239 240 241 242 243 244 245 246 … 595 596 Next →