A busy mix of real releases and grounded takes: DeepMind’s AlphaProof Nexus pushes agentic theorem proving, while MiniCPM5-1B goes fully open, and Next.js tweaks its caching optimizer in the 16.3 canary. On the ground, engineers are slimming builds with Rust+WASM, wiring agents via GitHub labels, and a kernel CVE from Apple warrants quick patching. Cultural currents even reached the Vatican, with clear-eyed analysis of the new AI encyclical.