Full-text search across 66163 articles. Combine with topic and date filters; results sorted by relevance.
Moonshot launched Kimi K3.1 Pro, a multimodal mixture-of-experts model with 2.8 trillion total parameters, 104 billion active parameters and a 1-million-token context window, which the company says beats Fable 5.1 on ind…
Google's DORA research program reported that its 2025 global survey, conducted June 13 to July 21, 2025, drew nearly 5,000 respondents and underpins the 140-page State of AI-Assisted Software Development report, availabl…
A developer forked the Ghostty terminal emulator and produced a working Windows version in three days, writing 48,000 lines of Rust across 45 files without authoring any code by hand. The port was driven by an AI CLI man…
Hamel Husain and Shreya Shankar published an AI Evals FAQ distilling the most common questions from teaching 700+ engineers and product managers about AI evaluation. The guide distinguishes model benchmarks such as GPQA …
Birgitta Böckeler's October 2025 analysis of spec-driven development tools Kiro, spec-kit and Tessl sorted approaches into three levels — spec-first, spec-anchored and spec-as-source — and found that all SDD approaches s…
A new analysis argues that AI agents should ask before irreversible actions and act first for reversible ones, citing AWS's documentation that its Kiro agent's ask-first mode is 'a code review workflow, not a security co…
Andrew Ng, cofounder of Google Brain and Coursera, relaunched DeepLearning.ai with a focus on AI Engineering, identifying four key skills: building and deploying AI applications, software engineering fundamentals, using …
Dart 3.13 introduces primary constructors, a syntactic sugar feature that simplifies class declarations without adding new functionality, according to a blog post by a Dart language team member. The design process involv…
Anthropic now offers Business Associate Agreements (BAAs) for its HIPAA-ready commercial services, including Claude Enterprise and the first-party API, enabling covered entities to process protected health information (P…
The TeamPCP campaign in March 2026 used a stolen token to cascade across five ecosystems in eight days, publishing backdoored LiteLLM versions 1.82.7 and 1.82.8 on PyPI that swept LLM API keys, cloud credentials, and Kub…
The Lean Theorem Prover, an open-source proof assistant and programming language, has reached 280,000+ formalized theorems and 2.4M+ lines of code with 750+ contributors as of July 2026, according to Kim Morrison. Lean 4…
Moonshot AI launched Kimi K3, a 2.8-trillion-parameter open-weights model with 1M-token context and native multimodal input, claiming it delivers Opus 4.8-class performance at Sonnet 5 pricing. Arena ranked Kimi K3 #1 in…
Google's upcoming Gemini 3.5 Pro is rumored to feature a 2 million token context window, positioning it as a strong competitor to OpenAI's anticipated GPT-5.6 Sol in coding, agentic tasks, and multimodality. The comparis…
NVIDIA's CUDA compiler pipeline transforms a simple vector addition kernel from PTX virtual assembly to SASS machine code through multiple compilation stages, including LLVM-based cicc and ptxas, before executing on an R…
Evo announced Agentic Development Security (ADS), a new solution designed to secure AI-driven software development by embedding security into workflows to provide visibility, governance, and control over AI agents. The a…
Ia Mg, a seasoned engineer and former teacher at Free University of Tbilisi, argues that everyone has a responsibility to understand technology, even if they never write code, because digital literacy is essential for na…
A group of Berkeley CS students built autonomous AI agents that replace chat interfaces with a system using task planning, sandboxed Python execution, SQLite storage, and email aggregation. The agents decompose high-leve…
Engineering leaders lack visibility into which AI coding assistants are used across their repositories, creating a governance gap as executives push for faster AI adoption. Shadow AI tools like GitHub Copilot and CLI-bas…
Software automation is proving more difficult than many expect, as larger organizations face growing challenges with dependencies, context, and technical debt that smaller teams do not. Industry leaders are betting heavi…
A team at Redwood Research developed a proof-of-concept pipeline that transforms benign Claude Code transcripts into synthetic sabotage trajectories for automated red-teaming of AI monitors. The approach allows AI compan…