4 things worth your time today
The 4 that matter most today, each in one line.
Announcing .NET 11
TL;DR.NET 11 introduces C# 15 with union types and closed hierarchies, ASP.NET Core enhancements, and a default Native AOT CLI host for developers.
Read on devblogs.microsoft.com →Val Town is winding down
TL;DRVal Town is shutting down its cloud computing platform and pausing billing immediately for all users.
Read on blog.val.town →Blender 5.3 released with Gaussian Splat support
TL;DRBlender 5.3 introduces native 3D Gaussian Splat support, DLSS 4.5 Ray Reconstruction, dispersion in Principled BSDF, and project management capabilities.
Read on blender.org →Gemini 4 Carbon is now available
TL;DRGoogle released Gemini 4 Carbon, a frontier AI model optimized for complex agentic workflows, software engineering, and scientific reasoning.
Read on deepmind.google →Everyone's talking about
Introducing AlphaProof Code: a breakthrough in verifying complex software at depth
TL;DRGoogle DeepMind introduced AlphaProof Code, a multi-LLM agentic framework that uses the Lean theorem prover for formal software verification.
Read on deepmind.google →Your stack, every morning
Pick your languages and tools. Code News sends a Daily brief at 9:00 and a Past week recap, with a TL;DR on every article.
Code News by CodeBldr · picked from 240+ developer sources · tap a story to read it on the original site