Briefing du dimanche 5 juillet 2026
3 sujets · 4 thématiques · 3 sources · lecture ~8 min
À retenir si tu n'as qu'une minute
- ADimanche calme côté Angular : aucune release notable d'Angular, AnalogJS ou TypeScript sur les dernières 24-48 h.
- #Rien de neuf côté runtime .NET sur 24-48 h : Preview 5 reste la référence, Preview 6 attendue courant juillet, et la prochaine fenêtre de servicing tombe au Patch Tuesday du 14…
- AILe signal frais du jour est Leanstral 1.5 de Mistral (3 juillet), un open-weight Apache 2.0 spécialisé dans la preuve formelle en Lean 4.
- ⌘Deux histoires de sécurité côté développeur dominent le week-end.
3 sujets du jour
AILeanstral 1.5 (Mistral) — un open-weight Apache 2.0 taillé pour la preuve formelle en Lean 41⌘JetBrains — cascade de failles critiques dans tout l'écosystème IDE (IntelliJ, Rider, GoLand, Hub/YouTrack)2⌘SimpleHelp CVE-2026-48558 — bypass d'authentification OIDC (CVSS 10) exploité, chaîne d'approvisionnement MSP3
Les sujets déjà couverts dans les 30 derniers jours sont exclus par la routine.