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. New AI models · Artificial intelligence · Programming & dev tools

   Canva releases its Craft image model with an API

   Canva Craft generates 2K images with planned layouts, text in 55 languages and editable elements. It is available through Dream Lab and a public API.

   Full story at TestingCatalog AI News ↗
2. Cybersecurity · Artificial intelligence · Programming & dev tools

   Malware targets credentials of AI coding tools

   Check Point Research found that the Aokigahara infostealer specifically collects authentication and session data from AI tools like ChatGPT, Claude, Cursor and GitHub Copilot. This highlights developers as a growing target for attackers.

   Full story at blog.checkpoint.com ↗
3. Artificial intelligence · Programming & dev tools · Open source · New AI models

   Claude automatically proves code is correct

   Anthropic had Claude generate about 180 million lines of mathematical proof code verifying correctness for 123 open-source libraries. In the process, the model found bugs that years of testing had missed.

   Full story at The Decoder ↗
4. Artificial intelligence · Programming & dev tools

   JetBrains releases Air Governance generally

   JetBrains Air Governance, formerly JetBrains Central, is now generally available as a management layer for AI agents. It lets organizations control which agents, models and providers teams use, along with spending, across tools like Claude Agent, Codex and Gemini CLI.

   Full story at blog.jetbrains.com ↗
5. Cloud & data centers · Programming & dev tools

   Vercel adds more free domain options

   Eight more top-level domains are now eligible for a free domain under Vercel's Pro plan. This gives developers more choice when naming their projects.

   Full story at Vercel ↗
6. Chips & hardware · Programming & dev tools

   MIT software turns objects into sensing devices

   MIT CSAIL researchers built design software that 3D-prints everyday objects with built-in sensors using conductive materials. These objects can perceive and respond to human motion to complete tasks.

   Full story at MIT News ↗
7. New AI models · Programming & dev tools

   Recursive launches local coding model Flint

   Recursive released Flint, a 40B-parameter open-weight model built for fast local coding. It features a 512k-token context window and an inference engine optimized for Apple Silicon.

   Full story at TestingCatalog AI News ↗

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