Mistral AI introduces Leanstral 1.5, an open-source code agent for Lean 4 formal proof engineering, now available via Labs ...

Claude Tag Slack AI agent separates itself from every prior assistant by flipping two switches simultaneously: proactive ...

The gadget has three buttons, and it changes context based on what app you are looking at. For instance, in meeting apps and ...

Kaspersky says the attacks use phishing, GitHub-hosted payloads, CVE-2025-9491 LNK abuse, and Go2Tunnel-based tunneling.

AI agents are now taking over repetitive work, identifying issues humans may miss, and helping teams maintain testing speed ...

Part of the SD Times 100 2026 series. See the full SD Times 100 2026 list for every category and honoree. For most of ...

In 2024 or earlier, Microsoft was working on a Copilot-focused operating system codenamed "Aion," which is web-based.

Z.ai has launched ZCode, a free AI coding tool powered by GLM-5.2 that challenges Cursor, Claude Code and GitHub Copilot ...

The unpatched vulnerability could give attackers a pathway from a compromised pod to broader control over Kubernetes ...

June was sweltering, but the summer heat didn’t slow down open-source software developers. Last month delivered a wave of app ...

Introduces a low-rank-based approach to KV cache compression, one of the key bottlenecks in long-context AISpeeds up ...

Engineering teams do not lose most of their time on typing code. They lose it on handoffs, status changes, missing context, waiting for review, failed builds, repeated triage, manual ticket updates, ...