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

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

2025-01-19

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.

Lire plus

Cloudflare prévient les conflits DNS grâce à la vérification formelle

2025-01-07

Cloudflare utilise Topaz, un système qui vérifie formellement la correction de son comportement d'adressage DNS interne. Topaz encode les objectifs métier DNS sous forme de programmes déclaratifs, chacun comportant une fonction de correspondance, une fonction de réponse et une configuration. Avant le déploiement, un vérificateur de modèle personnalisé vérifie ces programmes pour détecter les conflits et les bogues, assurant ainsi une configuration DNS fiable et cohérente. Cela améliore la fiabilité d'Internet en évitant les incohérences dans la résolution des adresses IP.

Lire plus