Xiaomi Redmi 10 en vue, PS5 boostée et Gmail cherche pour vous - tech’spresso
Xiaomi annonce le Redmi 10
Après les Xiaomi 11T et 11T Pro pour le haut de gamme, la marque chinoise annonce le lancement officiel du Redmi 10, son nouveau smartphone entrée de gamme. Et celui-ci vient frapper un grand coup avec une solide fiche technique pour moins de 200 euros.
Gmail : à la poursuite des mails égarés
Sur Android, l’application Gmail accueille un système de filtres plus affiné. Celui-ci s’inspire de la version Web, qui y a droit depuis un certain temps déjà. Une mise à jour va permettre d’ajouter la fonction qui est en cours de déploiement.
PS5 : la mise à jour améliore les performances de la console
La mise à jour majeure de la PS5 a apporté des nouveautés intéressantes la semaine passée. Mais aussi une surprise : un boost de performances dans les jeux, selon Digital Foundry.