DeepCoder-14B: The Open-Source AI Model Enhancing Developer Productivity and Innovation

Artificial Intelligence (AI) is changing how software is developed. AI-powered code generators have become vital tools that help developers write, debug, and complete code more efficiently. Among thes [...]

Google releases open-source Gemini CLI to bring Gemini AI into developer workflows

Google launches Gemini CLI, an open-source tool that brings Gemini AI directly to the command line.<br /> The article Google releases open-source Gemini CLI to bring Gemini AI into developer wor [...]

The EU’s €2T budget overlooks a key tech pillar: Open source

On July 16, the European Commission proposed a €2tn seven-year budget – the largest in the EU’s history – to boost autonomy, competitiveness, and resilience. The spending plan addresses cyber [...]

Moonshot AI’s Kimi K2 Thinking sets new agentic reasoning records in open-source LLMs

Chinese AI company Moonshot AI has unveiled Kimi K2 Thinking, a new open-source language model the company calls the "best open-source thinking model."<br /> The article Moonshot AI’ [...]

Qwen3-Coder-Next offers vibe coders a powerful open source, ultra-sparse model with 10x higher throughput for repo tasks

Chinese e-commerce giant Alibaba's Qwen team of AI researchers has emerged in the last year as one of the global leaders of open source AI development, releasing a host of powerful large language [...]

Endor Labs launches free tool AURI after study finds only 10% of AI-generated code is secure

Endor Labs, the application security startup backed by more than $208 million in venture funding, today launched AURI, a platform that embeds real-time security intelligence directly into the AI codin [...]

NVIDIA is reportedly working on its own open-source AI agent platform

NVIDIA is reportedly working on its own open-source AI agent platform, according to Wired. The chipmaker has been pitching the product to enterprise software companies. Reporting indicates it's g [...]

Mistral's Small 4 consolidates reasoning, vision and coding into one model — at a fraction of the inference cost

Enterprises that have been juggling separate models for reasoning, multimodal tasks, and agentic coding may be able to simplify their stack: Mistral’s new Small 4 brings all three into a single open [...]

Mistral's open-source Leanstral 1.5 aces formal math benchmarks and catches real bugs in code

Mistral AI released Leanstral 1.5, an open-source model for formal verification in Lean 4. Beyond math, the model found five previously unknown bugs while scanning 57 open-source repositories.<br / [...]