برچسب
۱۰ مقاله
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…
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…
Part 1: Parsing, chunking, and vectorization Some time ago, we set out to build the best semantic code search platform we could: a RAG pipeline that gives LLM agents precise, citable evidence from real repositories instead of whatever grep happens to surface. The eventual solution was Air Context. We got it working,…
Learn about the key benefits of sandbox environments with Docker including isolation, definable controls, secrets credential handling, and more.
YOLO mode lets an AI agent run without asking permission. Learn what it is, why it's risky, and how to run it safely.
Air gets a new multiproject view: open several projects in one window and run agents across them in parallel. The sidebar groups tasks by project, so you always see which agent is working on which project – no more window juggling for multirepo work. Markdown files now render as formatted text while you edit – [&…
Part 3 of a series where we take public & 8220;token saver& 8221; add ons for coding agents and run the same paired A/B benchmark against each of them. Part 1 was the caveman skill (advertised −65%, measured −8.5%). Part 2 was rtk (advertised −60–90%, measured +7.6%). We ran 80 paired tasks to test the ponytail skill…
Today, we’re launching JetBrains Context, a new repository intelligence layer that helps coding agents work more efficiently and produce higher quality results on complex codebases. As part of the JetBrains AI for Teams and Organizations rollout, JetBrains Context is now available in early access at no additional…
We’re about to start rolling out a new set of AI capabilities that provide shared context, reusable agentic workflows, organization level governance, and cost control for software production. Developers use different AI tools depending on the task – from JetBrains IDEs to terminal based agents such as Claude Code,…
