Skip to content

Tag

#AI

73 articles

AI says you’re right, formal methods say you’re wrong

Ryan is joined by Gabriela Moreira, CEO at Quint, about why formal specification languages like TLA+ are essential for catching system design flaws before writing code, how Quint brings developer friendly syntax and executability to formal methods, and the ways trace validation and model based testing can verify AI…

AI & ML1 min read
JAJetBrains AI

Mellum2.1 Gets to Work: A Fast Open Model for Coding Agents

Trained with reinforcement learning in real environments, Mellum2.1 is built for coding agents and fast sub agents that run on your own hardware. Today, we& 8217;re releasing Mellum2.1, the next version of the 12B mixture of experts model we open sourced in June. The architecture hasn& 8217;t changed since version 2:…

AI & ML3 min read

Secret protection must scale with software

Developers aren’t becoming more careless; they’re being outpaced. The tools that let developers create more software should also take on more of the work of protecting it. The post Secret protection must scale with software appeared first on The GitHub Blog .

AI & ML7 min read
Cloudflare Blog

Introducing Web Search API via AI Gateway

Cloudflare AI Gateway now supports native web search API integration in partnership with Ceramic.ai, Exa, and Linkup. Developers can now inject real time web context into model inference calls via AI Gateway, REST APIs, or Workers bindings.

AI & ML5 min read
JAJetBrains AI

A New Agentic Experience: JetBrains Air in IDEs – EAP Now Open

Last week, we shared our point of view on where we think agentic development is headed and introduced JetBrains& 8217; answer to it: JetBrains Air, an open system of products for agentic development. Today, we& 8217;re launching the Early Access Program for Air in JetBrains IDEs. It& 8217;s available now as a plugin…

AI & ML7 min read
KBKotlin Blog

The State of Kotlin in 2026 Report

In 2026, Kotlin turned fifteen. Over those fifteen years, Kotlin has built a mature ecosystem, been adopted by companies around the world, and established a large and active developer community. Fifteen years is long enough to understand which technology trends lasted and which didn’t. This report looks back at…

AI & ML2 min read