Programming & dev tools

Every day we read hundreds of stories. Only the most important ones are here — short, in our own words, with a link to the original source.

1. Operating systems · Smartphones & apps · Programming & dev tools

   Google releases Android 17 QPR2 for Pixels

   Android 17 QPR2 was released alongside the November Pixel Feature Drop. It brings deeper color and wallpaper customization, new developer APIs for backdrop blur and frosted glass effects, and new status bar, notification and Quick Settings controls.

   Full story at Droid Life ↗
2. Artificial intelligence · Cybersecurity · Programming & dev tools

   AI agents verify Signal's encryption code

   Google DeepMind introduced AlphaProof Code, whose agents wrote three million lines of proofs in Lean. The system was used to verify Signal's core encryption.

   Full story at Google DeepMind ↗
3. Artificial intelligence · Cybersecurity · Programming & dev tools

   AlphaProof Code verifies Signal's crypto core in four weeks

   Google Deepmind's AlphaProof Code mathematically verified Signal's cryptographic core in four weeks, which typically takes years. Agents powered by Gemini Carbon wrote over six million lines of proof code, with about one percent flagged for human review.

   Full story at The Decoder ↗
4. Cybersecurity · Programming & dev tools · Open source

   Git releases fixes for six security vulnerabilities

   The Git project has released new versions addressing six vulnerabilities, including code execution when recursively cloning a malicious repository and memory corruption. The fixes are in Git 2.56.1, with backports for older maintenance series.

   Full story at github.blog ↗
5. Artificial intelligence · New AI models · Programming & dev tools

   Google introduces the Gemini Decisions API

   The Gemini Decisions API is powered by the model Gemini Decision. It is meant to deliver fast, calibrated multimodal decisions.

   Full story at blog.google ↗

An AI writes the short texts from the source's stories.