Four rogue NuGet packages and one npm package stole ASP.NET Identity data, deployed C2 backdoors, and reached over 50,000 downloads before removal.
Mathematicians achieve a milestone in verifying the sphere-packing problem solution using Lean, enhancing proof reliability and formalisation efforts.