Xiaomi Redmi 10 en vue, PS5 boostée et Gmail cherche pour vous – tech’spresso

 

Vous n’avez pas eu le temps de suivre l’actualité hier ? Voici ce qui a marqué le mardi 21 septembre : Xiaomi lance un Redmi 10 prometteur, la PS5 améliore ses performances et Gmail va mieux filtrer vos mails. Pour ne manquer aucune actualité, pensez à vous inscrire à la newsletter Frandroid.

Xiaomi Redmi 10
Source : Xiaomi

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.


Utilisez-vous Google News (Actualités en France) ? Vous pouvez suivre vos médias favoris. Suivez Frandroid sur Google News (et Numerama).