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

Popularité des bases de données sur Hacker News : ClickHouse et DuckDB en hausse

2025-07-11
Popularité des bases de données sur Hacker News : ClickHouse et DuckDB en hausse

Une analyse de 18 ans de données de Hacker News révèle la croissance fulgurante des bases de données open source ClickHouse et DuckDB, tandis que les bases de données natives du cloud voient leur popularité diminuer. PostgreSQL conserve sa forte présence, et SQLite se distingue par son fort engagement utilisateur. L'analyse utilise le nombre de titres et les mesures d'engagement (commentaires et points) pour montrer les tendances, soulignant l'essor des bases de données open source et analytiques.

Lire plus
(camelai.com)
Développement

Débit de base de données multiplié par 10 avec io_uring et un WAL double

2025-07-20
Débit de base de données multiplié par 10 avec io_uring et un WAL double

Lors de la construction d'une base de données complexe, l'auteur a expérimenté io_uring et une conception WAL double pour améliorer les performances. Les approches WAL traditionnelles (écrire puis appliquer) créent des goulots d'étranglement. En séparant « l'intention d'écriture » et « l'achèvement de l'écriture » en deux WAL, et en tirant parti des E/S asynchrones d'io_uring, une amélioration du débit de 10 fois a été obtenue. Cette conception écrit l'intention de manière asynchrone, puis les enregistrements d'achèvement ; la récupération applique uniquement les opérations ayant à la fois l'intention et l'achèvement, garantissant la cohérence des données. L'auteur a utilisé Zig et le projet Poro (une base de données clé-valeur expérimentale) pour valider cette approche, soulignant l'importance du parallélisme matériel, du traitement par lots et des modèles de cohérence flexibles.

Lire plus
(blog.canoozie.net)
Développement

Le pari audacieux de Reddit sur le moteur de recherche : une bataille contre Google, alimentée par l’IA

2025-08-01
Le pari audacieux de Reddit sur le moteur de recherche : une bataille contre Google, alimentée par l’IA

Reddit, tirant parti de ses vastes données générées par les utilisateurs, investit massivement dans l’amélioration de ses capacités de recherche, dans le but de devenir un moteur de recherche de premier choix. Le PDG Steve Huffman souligne les centaines de millions d’utilisateurs hebdomadaires de la plateforme qui cherchent des conseils, et les efforts de Reddit pour convertir cela en utilisateurs actifs de sa recherche native. La recherche principale de Reddit compte plus de 70 millions d’utilisateurs actifs hebdomadaires, tandis que son outil de recherche alimenté par l’IA, Reddit Answers, lancé en décembre, a connu une croissance fulgurante, atteignant 6 millions d’utilisateurs hebdomadaires, contre 1 million au premier trimestre. Reddit prévoit d’étendre Reddit Answers à l’échelle mondiale, en l’intégrant profondément dans l’expérience de recherche principale. Ce mouvement est considéré comme une contre-mesure stratégique face à la recherche de plus en plus alimentée par l’IA de Google, qui fournit de plus en plus de réponses directes au lieu de listes de liens. Reddit bénéficie des utilisateurs qui ajoutent « Reddit » aux recherches Google pour obtenir du contenu généré par l’homme.

Lire plus
(www.theverge.com)
Technologie

Mutmut : Un outil puissant de test de mutation pour Python

2025-05-26
Mutmut : Un outil puissant de test de mutation pour Python

Mutmut est un système de test de mutation pour Python facile à utiliser. Il aide les développeurs à identifier les lacunes dans leurs suites de tests, ce qui conduit à une meilleure qualité de code. Les principales fonctionnalités incluent les tests incrémentaux, l'exécution parallèle et une interface utilisateur de terminal interactive. Les utilisateurs peuvent facilement exécuter des tests, parcourir les mutants, appliquer les mutants et configurer divers paramètres tels que les chemins à muter, les répertoires de tests et les fichiers à exclure. Mutmut offre également des optimisations pour les grandes bases de code et de nombreuses options de configuration pour répondre à divers besoins.

Lire plus
(github.com)
Développement Test de Mutation

Meta gagne un arbitrage et bloque la publication de mémoires explosives

2025-03-13
Meta gagne un arbitrage et bloque la publication de mémoires explosives

Meta a remporté un arbitrage contre Sarah Wynn-Williams, une ancienne responsable politique, empêchant la vente et la promotion de ses mémoires explosives, "Careless People". Le livre détaille la tentative de Zuckerberg d'amener Facebook en Chine et allègue une inconduite du responsable actuel des politiques de Meta. L'arbitre a statué que Wynn-Williams avait violé un accord de non-diffamation. Meta qualifie le livre de "vieilles nouvelles" et a reçu le soutien de plusieurs anciens employés.

Lire plus
(www.engadget.com)
Technologie Lanceur d'alerte Accord de non-diffamation

La viscosité de l'eau froide pourrait avoir déclenché l'émergence de la vie complexe

2025-01-12
La viscosité de l'eau froide pourrait avoir déclenché l'émergence de la vie complexe

Une nouvelle étude propose que la forte viscosité de l'eau de mer froide pendant les périodes de « Terre boule de neige » il y a des milliards d'années aurait pu stimuler l'évolution de la vie multicellulaire. Des expériences montrent que des algues unicellulaires, dans des conditions de forte viscosité, ont spontanément formé des groupes plus importants et coordonnés pour maintenir leur efficacité alimentaire, persistant dans cet état pendant des générations. Cela suggère une nouvelle stratégie évolutive pour la vie primitive afin de s'adapter aux défis environnementaux. Bien que des recherches supplémentaires soient nécessaires, l'étude offre une nouvelle perspective sur l'origine de la multicellularité, soulignant le rôle significatif des facteurs environnementaux physiques dans la configuration de la trajectoire de la vie.

Lire plus
(www.quantamagazine.org)
Technologie Terre boule de neige Multicellularité Viscosité

Android 16 : Personnalisation, intégration de Gemini et avenir de la XR

2025-07-14
Android 16 : Personnalisation, intégration de Gemini et avenir de la XR

Sameer Samat, président de l’écosystème Android chez Google, détaille les principales mises à jour d’Android 16 : le langage de design Material 3 Expressive pour une personnalisation accrue, un lancement simultané avec les téléphones phares Samsung et l’intégration approfondie de Gemini AI pour une recherche et une assistance plus intelligentes. Samat évoque également l’avenir d’Android XR, en soulignant l’IA comme moteur principal, en tirant des leçons de l’expérience Google Glass et en s’associant à des marques de mode pour des lunettes AR élégantes et pratiques.

Lire plus
(www.techradar.com)
Technologie

Intel Battlemage : Plongeon au cœur de l'Arc B580 et de ses défis

2025-02-11
Intel Battlemage : Plongeon au cœur de l'Arc B580 et de ses défis

La nouvelle architecture GPU Battlemage d'Intel arrive avec l'Arc B580, une carte milieu de gamme visant à perturber le marché avec 12 Go de VRAM à 250 $. Cet article explore les améliorations de Battlemage par rapport à Alchemist, notamment des unités Xe Vector plus larges, des mécanismes de cache améliorés et un accès optimisé à la mémoire. Malgré des spécifications inférieures sur le papier, la B580 surpasse étonnamment son prédécesseur, l'A770, lors de tests réels. Cependant, les problèmes de pilotes et la dépendance à Resizable BAR restent des obstacles pour Intel.

Lire plus
(chipsandcheese.com)
Matériel

Pourquoi les performances Web sont-elles sous-estimées ?

2025-08-11

Bien que les consommateurs apprécient la vitesse des sites Web, de nombreuses entreprises négligent les performances Web, ce qui entraîne des sites Web lents et des pertes financières importantes. L'article analyse pourquoi les entreprises B2B et les grandes entreprises B2C négligent l'optimisation en raison des coûts de changement élevés et du manque de mesures de performance, et pourquoi les petites entreprises B2C rencontrent des problèmes de performances liés à des frameworks comme React, qui privilégient l'expérience du développeur plutôt que l'expérience de l'utilisateur. L'auteur suggère que Core Web Vitals et l'augmentation des générateurs de sites Web statiques offrent de l'espoir, mais les entreprises doivent surmonter l'obstacle du changement de piles technologiques.

Lire plus
(blaines-blog.com)
Développement performances web

Les Barrières Invisibles Qui Vous Retenent

2025-08-16
Les Barrières Invisibles Qui Vous Retenent

L'histoire d'un chien confiné par une clôture électrique défaillante met en lumière les barrières invisibles que nous créons dans nos vies. Ces limitations auto-imposées, souvent enracinées dans des blessures passées ou un conditionnement social, nous empêchent de nous connecter aux autres. L'auteur soutient que tendre la main, malgré la peur de paraître nécessiteux ou faible, est un signe de force et de courage. Se libérer ne demande que vingt secondes de bravoure pour envoyer un message, passer un appel ou exprimer de l'affection — un petit geste au pouvoir libérateur significatif.

Lire plus
(soonly.com)
Divers

TikTok contourne l'interdiction aux États-Unis : encourage les utilisateurs Android à installer l'APK en sideload

2025-02-11
TikTok contourne l'interdiction aux États-Unis : encourage les utilisateurs Android à installer l'APK en sideload

Face à la menace d'interdictions aux États-Unis, TikTok a mis en place une solution de contournement. Bien qu'un décret présidentiel de Donald Trump ait temporairement suspendu une interdiction, TikTok encourage les utilisateurs Android à télécharger l'application directement depuis son site web sous forme de fichier APK, en contournant le Google Play Store. Cela permet à TikTok de contourner temporairement les interdictions des stores d'applications, bien qu'une option similaire ne soit pas encore disponible pour les utilisateurs iOS.

Lire plus
(techcrunch.com)
Technologie Sideload APK

Lisp-Stat : Un système de calcul statistique basé sur Common Lisp

2025-06-16
Lisp-Stat : Un système de calcul statistique basé sur Common Lisp

Lisp-Stat est conceptuellement similaire à R et sera familier à la plupart des utilisateurs de cet écosystème. Il convient à la fois à l'analyse exploratoire des données et aux déploiements de production en première ligne. Common Lisp est actuellement utilisé chez Google dans plusieurs systèmes transactionnels à haute disponibilité et à fort volume. Le choix de Common Lisp s'explique par sa capacité à répondre aux exigences d'un environnement exploratoire propice à l'analyse et à l'IA, sa robustesse suffisante pour fonctionner en environnement de production d'entreprise et sa disponibilité sous une licence sans restriction de code source. L'article cite un travail de Ross Ihaka, l'un des créateurs du langage R, sur les lacunes de R et son incapacité à compiler en code machine (entre autres problèmes). Il en va de même pour Python. Dans cet article, il plaide en faveur de Lisp comme remplacement de R.

Lire plus
(lisp-stat.dev)
Développement Calcul Statistique Analyse de Données

Violation massive de données : 184 millions de comptes exposés

2025-05-28
Violation massive de données : 184 millions de comptes exposés

Le chercheur en sécurité Jeremiah Fowler a découvert une base de données Elastic exposée contenant 184 millions d'enregistrements, incluant des identifiants de connexion pour Apple, Facebook, Google et des comptes liés à de nombreux gouvernements. La base de données ne contenait aucune information identifiant son propriétaire ou son origine, soulignant l'ampleur et la portée de la violation. Un échantillon a révélé des comptes compromis sur diverses plateformes telles que Facebook, Google, Instagram et Roblox, ainsi que des adresses e-mail gouvernementales. Fowler a signalé la violation au fournisseur d'hébergement, World Host Group, ce qui a entraîné une fermeture rapide de l'accès. Cet incident souligne les graves risques liés à la compilation négligente de données sensibles, pouvant entraîner de futures catastrophes de cybersécurité.

Lire plus
(www.wired.com)
Technologie

La Lucid Air établit un nouveau record du monde d'autonomie pour les véhicules électriques : 749 miles avec une seule charge

2025-07-13
La Lucid Air établit un nouveau record du monde d'autonomie pour les véhicules électriques : 749 miles avec une seule charge

Lucid Motors a dépassé les attentes en établissant un record du monde Guinness pour la plus longue distance parcourue par un véhicule électrique avec une seule charge. Sa Lucid Air Grand Touring a effectué un trajet de 1 205 km (749 miles) de Saint-Moritz, en Suisse, à Munich, en Allemagne, sans s'arrêter pour recharger. Cet exploit impressionnant, réalisé grâce à des conditions favorables et au freinage régénératif, souligne les progrès significatifs de la technologie des véhicules électriques et répond directement à l'anxiété liée à l'autonomie. La Grand Touring dispose d'une autonomie WLTP de 960 km (596 miles), d'une architecture électrique de 900 volts permettant une charge rapide DC de 300 kW et d'un prix de départ de 112 650 $. Ce record représente un bond énorme pour l'avenir de la technologie des véhicules électriques.

Lire plus
(newatlas.com)
Technologie Record du monde

Observabilité 2.0 : Au-delà des trois piliers, l’adoption des événements larges

2025-04-25
Observabilité 2.0 : Au-delà des trois piliers, l’adoption des événements larges

Charity Majors de Honeycomb a introduit le concept d’« Observabilité 2.0 », représentant une évolution du paradigme traditionnel des « métriques, journaux et traces ». L’Observabilité 2.0 se concentre sur les « événements larges » comme source unique de vérité : des données d’événements à haute cardinalité et haute dimensionalité, riches en contexte. Cela permet la dérivation rétroactive des métriques, des journaux et des traces, en résolvant des problèmes tels que les silos de données et les limitations de la préagrégation. Cependant, cette transition présente des défis en matière de génération d’événements, de transport de données, de stockage et de requête. GreptimeDB, une base de données d’observabilité analytique open source, vise à surmonter ces obstacles. Elle prend en charge le format OpenTelemetry, dispose d’un moteur de transformation intégré, d’une ingestion de données en temps réel à haut débit, d’API de requête en temps réel et de vues matérialisées, fournissant une infrastructure robuste pour l’Observabilité 2.0.

Lire plus
(greptime.com)
Développement Événements larges

Python à la vitesse de Rust : Un nouveau compilateur

2025-04-12
Python à la vitesse de Rust : Un nouveau compilateur

Cet article présente Function, un compilateur Python qui compile du code Python en code natif, augmentant considérablement la vitesse d'exécution. En utilisant la multiplication matricielle comme exemple, il montre comment le traçage symbolique construit un graphe de représentation intermédiaire (IR), qui est ensuite abaissé en code natif (par exemple, C). Cela permet d'obtenir des performances comparables à celles de Rust. Bien qu'il s'agisse encore d'une preuve de concept, Function alimente déjà des applications de production, telles que l'estimation de profondeur monoculaire et la détection de pose en temps réel. Les objectifs futurs incluent l'inférence de LLM sur les appareils.

Lire plus
(blog.fxn.ai)
Développement

Le programme Gaganyaan de l'Inde franchit une étape importante : succès des tests à chaud du SMPS

2025-07-13
Le programme Gaganyaan de l'Inde franchit une étape importante : succès des tests à chaud du SMPS

L'ISRO a annoncé la réussite de deux tests à chaud du système de propulsion du module de service Gaganyaan (SMPS). Ces tests, d'une durée de 30 et 100 secondes, ont validé la configuration du système et démontré avec succès le fonctionnement simultané de tous les propulseurs du système de contrôle de réaction (RCS) et des moteurs d'apogée liquide (LAM). Il s'agit d'une étape cruciale du programme spatial habité Gaganyaan, visant à démontrer la capacité de l'Inde à lancer un vaisseau spatial habité en orbite terrestre basse. L'ISRO prévoit un test à chaud de pleine durée prochainement.

Lire plus
(www.thehindu.com)
Technologie Vol spatial habité

Lappverk : Un nouvel outil pour simplifier la gestion des correctifs Git

2025-08-18

Dans le développement de logiciels, nous avons souvent besoin de modifier du code créé par d'autres. Les flux de travail Git traditionnels deviennent lourds lorsqu'il s'agit de gérer des correctifs destinés à une maintenance à long terme. Cet article présente Lappverk, un nouvel outil qui utilise les commandes `format-patch` et `am` de Git, ainsi que des conventions personnalisées, pour rationaliser la création, la gestion et l'application des correctifs. Lappverk permet aux développeurs de maintenir et de mettre à jour facilement les correctifs localement, puis de les intégrer au projet principal, évitant ainsi la surcharge des forks importants. Sa fonctionnalité principale repose sur l'importation et l'exportation d'ensembles de correctifs vers Git, ce qui rend la gestion des correctifs efficace et intuitive, similaire à l'utilisation de fichiers de correctifs directement dans un environnement Git.

Lire plus
(natkr.com)
Développement Gestion des Correctifs

Apple poursuit un YouTuber pour fuite de secrets iOS 26

2025-07-18
Apple poursuit un YouTuber pour fuite de secrets iOS 26

Apple poursuit le YouTuber Jon Prosser pour avoir prétendument divulgué des informations confidentielles sur iOS 26. Apple affirme que Prosser et Michael Ramacciotti ont conspiré pour accéder à un iPhone de développement appartenant à l'employé d'Apple Ethan Lipnik, obtenant des secrets commerciaux d'iOS 26 et créant des vidéos. Lipnik a été licencié pour violation des politiques de l'entreprise. Apple demande une injonction pour empêcher de nouvelles divulgations et des dommages et intérêts. Prosser nie la conspiration, affirmant ignorer la situation.

Lire plus
(www.macrumors.com)
Technologie Fuite

Prospérer dans l'obscurité : le long chemin vers la maîtrise créative

2025-06-02
Prospérer dans l'obscurité : le long chemin vers la maîtrise créative

La plupart des projets créatifs mettent des années à porter leurs fruits. Même les créateurs les plus accomplis ont passé des années, voire des décennies, à produire du contenu dans l'obscurité. L'article utilise l'exemple du musicien Mike Posner, dont les premiers travaux sont passés inaperçus jusqu'à ce qu'un seul morceau devienne un succès inattendu. Il encourage les créateurs à persévérer, à publier même en l'absence de public, en constituant une « banque de contenu » pour les futurs fans. Le message principal : continuez à faire ce que vous aimez ; le monde finira par vous suivre.

Lire plus
(www.jeetmehta.com)
Design persévérance

Incohérence inattendue dans les enregistrements C# : un problème avec l’opérateur `with`

2025-07-22
Incohérence inattendue dans les enregistrements C# : un problème avec l’opérateur `with`

L'auteur a découvert une incohérence inattendue lors de l'utilisation d'enregistrements C#. Lors de la mise à jour d'enregistrements contenant des données dérivées avec l'opérateur `with`, les données dérivées ne sont pas recalculées, ce qui entraîne des incohérences. Cela provient du fait que l'opérateur `with` n'appelle pas le constructeur, mais utilise un constructeur de copie pour créer une copie, puis modifier les propriétés. Plusieurs solutions sont proposées, notamment éviter l'utilisation de `with` sur les enregistrements complexes, écrire un analyseur Roslyn pour détecter le problème, utiliser `Lazy` pour le calcul différé des propriétés et demander une modification du langage. Cet article souligne un piège potentiel dans les enregistrements C#, mettant en garde les développeurs contre l'utilisation de l'opérateur `with`, en particulier avec des données dérivées.

Lire plus
(codeblog.jonskeet.uk)
Développement Enregistrements opérateur with

Un porte-voitures coule dans le Pacifique après un incendie

2025-06-25
Un porte-voitures coule dans le Pacifique après un incendie

Le Morning Midas, un porte-voitures transportant environ 3 000 véhicules (dont 800 véhicules électriques), a coulé dans l'océan Pacifique après un incendie. L'incendie, qui a commencé début juin, a d'abord produit de la fumée provenant du pont transportant les véhicules électriques. Les mauvaises conditions météorologiques ont aggravé les dégâts, entraînant des inondations et le naufrage final du navire. L'incident met en évidence les risques maritimes liés aux batteries lithium-ion des VE, notamment sur les grands porte-voitures. L'intervention a été entravée par la distance du navire par rapport à la terre (environ 360 miles).

Lire plus
(www.ttnews.com)
Technologie accident maritime

Expérience YouTube : Vidéos uniquement avec DRM à la TV ?

2025-03-10
Expérience YouTube : Vidéos uniquement avec DRM à la TV ?

Des rapports indiquent que YouTube expérimente un déploiement limité où les vidéos normales n'offrent que des formats protégés par DRM sur le client Innertube TV (TVHTML5). Cela affecte non seulement yt-dlp, mais aussi les clients officiels YouTube TV (PS3, navigateur web, Apple TV), qui ne fournissent également que des formats DRM. Des tests montrent que les comptes concernés ne peuvent accéder qu'aux versions protégées par DRM. Cela suggère un changement potentiel dans la stratégie de protection des droits d'auteur de YouTube, ce qui pourrait avoir un impact sur la façon dont les utilisateurs regardent et téléchargent des vidéos.

Lire plus
(github.com)
Technologie Téléchargement de Vidéos

Kraken déjoue la candidature d'un pirate nord-coréen

2025-05-10
Kraken déjoue la candidature d'un pirate nord-coréen

Kraken, une plateforme d'échange de cryptomonnaies américaine, a déjoué la tentative d'infiltration d'un agent nord-coréen se faisant passer pour "Steven Smith" qui postulait à un poste d'ingénieur logiciel. Smith avait falsifié un CV avec des références impressionnantes, incluant un diplôme universitaire prestigieux et une longue expérience. Des doutes sont apparus lors de l'entretien, où Smith a démontré une profonde méconnaissance de la culture américaine et même de son lieu de résidence supposé. Cet incident met en lumière la menace croissante des pirates nord-coréens qui s'infiltrent dans des entreprises étrangères pour voler des fonds, finançant ainsi leurs programmes d'armement grâce à de multiples emplois et un accès interne. L'incident souligne l'importance de mesures robustes de cybersécurité et de vérifications d'antécédents approfondies.

Lire plus
(www.yahoo.com)
Technologie

Mercedes-Benz teste des véhicules électriques avec des batteries à semi-conducteurs offrant une autonomie de plus de 600 miles

2025-07-25
Mercedes-Benz teste des véhicules électriques avec des batteries à semi-conducteurs offrant une autonomie de plus de 600 miles

Mercedes-Benz repousse les limites de la technologie des véhicules électriques en testant sur route des prototypes équipés de batteries à état solide, offrant une autonomie supérieure à 600 miles. Développées en collaboration avec Factorial Energy et utilisant un prototype EQS modifié, ces batteries promettent une amélioration de 25 % de l'autonomie par rapport aux modèles actuels. Bien qu'un lancement complet sur le marché soit prévu pour 2030, Mercedes vise une production en série avant la fin de l'année. Cette avancée significative, utilisant un électrolyte solide à base de sulfure plus sûr et plus efficace, positionne Mercedes à l'avant-garde de la révolution des batteries à état solide, aux côtés d'autres acteurs majeurs tels que Hyundai, Stellantis et même ceux qui produisent déjà des véhicules électriques en masse.

Lire plus
(electrek.co)
Technologie batterie à état solide

Test de conservation des données sur SSD après deux ans : Résultats inattendus

2025-04-19
Test de conservation des données sur SSD après deux ans : Résultats inattendus

Le TechTuber HTWingNut a mené une expérience de deux ans pour tester la conservation des données à long terme sur des SSD. Quatre SSD SATA de 128 Go ont été utilisés, deux neufs et deux fortement utilisés (dépassant leur classification TBW). Après deux ans, les SSD neufs ont montré une intégrité des données, mais une augmentation significative des codes de correction d'erreurs, indiquant des problèmes potentiels ; tandis que les SSD usagés ont subi une corruption de fichiers et une dégradation des performances. Cela souligne le risque de perte de données sur les SSD même lorsqu'ils sont débranchés pendant de longues périodes et souligne l'importance des sauvegardes régulières.

Lire plus
(www.tomshardware.com)
Matériel Conservation des données Intégrité des données

OnePlus dévoile la touche Plus Key et l'IA Plus Mind

2025-05-27
OnePlus dévoile la touche Plus Key et l'IA Plus Mind

OnePlus a annoncé sa stratégie d'IA, axée sur la nouvelle touche Plus Key et la fonction IA Plus Mind. La touche Plus Key, qui remplace le curseur d'alerte, est un bouton physique personnalisable qui lance l'appareil photo, le traducteur ou l'enregistreur et, plus important encore, active l'IA Plus Mind. Cette fonction capture et extrait des informations du texte et des images à l'écran (horaires, détails d'événements, etc.), les enregistrant dans un espace Mind Space consultable. La touche Plus Key et l'IA Plus Mind feront leurs débuts sur le OnePlus 13s en Asie, puis seront déployés sur les autres appareils de la série OnePlus 13 via une mise à jour logicielle. Les futurs téléphones OnePlus seront équipés de la touche Plus Key. De plus, OnePlus développe AI VoiceScribe, AI Translation, AI Search et AI Best Face 2.0.

Lire plus
(www.engadget.com)
Technologie

Polystate : Machines d’état finies composables en Zig

2025-06-23
Polystate : Machines d’état finies composables en Zig

Polystate est une bibliothèque Zig pour construire des machines d’état finies composables par composition de types. Elle impose des conventions de programmation, enregistrant l’état de la machine d’état au niveau du type et obtenant la composabilité par composition de types. Cela améliore l’exactitude des structures de programmes impératifs et encourage la refonte de l’état du programme du point de vue des types et de la composition, améliorant ainsi la composabilité du code. Polystate génère automatiquement des diagrammes d’état, permettant aux utilisateurs de comprendre intuitivement le comportement du programme. Des exemples montrent comment construire des machines d’état simples et complexes par composition de types, comme limiter les tentatives de saisie de code PIN sur un distributeur automatique de billets et réutiliser la mécanique de sélection dans un jeu raylib.

Lire plus
(github.com)
Développement Machine d'état finie Composabilité

Simulateur interactif du mouvement des eaux souterraines : à la découverte des mystères des aquifères

2025-01-20

Cette simulation scientifique interactive permet aux apprenants d'explorer le mouvement des eaux souterraines. En ajustant les paramètres de perméabilité, ils observent comment l'eau circule à travers différentes couches, suivent la trajectoire d'une goutte d'eau et découvrent la formation des aquifères. Les utilisateurs peuvent également forer des puits, expérimentant l'extraction d'eau durable et non durable pour comprendre la gestion des ressources en eaux souterraines. Ce jeu fait partie de la leçon "Y aura-t-il assez d'eau douce ?"

Lire plus
(has.concord.org)
Technologie eaux souterraines simulation scientifique

Le Point de Vue d'un Poisson : Reconsidérer le Monde sous la Surface

2025-03-12
Le Point de Vue d'un Poisson : Reconsidérer le Monde sous la Surface

Dans son ouvrage de 1919, *Vie Animale Sous-Marine*, le photographe Francis Ward décrit une perspective unique : depuis le lit de la rivière, la surface de l’eau agit comme un vaste miroir reflétant le fond de la rivière. Le monde terrestre n’est visible qu’à travers une « fenêtre » circulaire, le point de réfraction entre l’air et l’eau. C’est, écrit Ward, le « point de vue d’un poisson ».

Lire plus
(publicdomainreview.org)
Divers
1 2 … 164 165 166 168 170 171 172 … 595 596