人工智能安全公司Anthropic近日推出了Claude Code Security的有限研究预览版，标志着AI驱动的代码安全分析领域迈出了重要一步。该系统能够对代码库进行自动化扫描，精准识别依赖于上下文的复杂安全漏洞，并针对性地...

OpenAI与知名加密投资及研究机构Paradigm近日联合推出了名为“EVMbench”的全新基准测试。该基准旨在系统性地评估人工智能（AI）代理在检测、修补以及利用高严重性智能合约漏洞方面的综合能力。智能合约作为区块链生态...

Deno公司近日正式推出Deno Sandbox平台，这是一项专为安全执行不可信代码设计的前沿基础设施服务，尤其针对当前大语言模型（LLM）生成代码的安全运行难题提供了创新解决方案。该平台的核心技术在于采用轻量级Linux微...

近日，一位开发者在参与为期12天的Advent of Code编程挑战时，深度体验了新兴编程语言Gleam，并对其赞不绝口。Advent of Code是每年一度的编程谜题挑战活动，吸引全球开发者参与，常被用作评估新语言或工具的实际场...

随着AI编程系统的广泛应用，其生成的代码可能潜藏严重缺陷与安全漏洞，因此对AI产出的代码进行有效验证变得至关重要。OpenAI近期提出了一种规模化代码验证的实用方法，并优化了其代理式代码审查员。该方案旨在以较低...

谷歌Android安全团队近日发布技术报告，宣布在Android系统中大规模推进Rust编程语言的应用。这一战略转型旨在从根本上解决内存安全漏洞问题——据统计，近年来Android系统中约70%的高危安全漏洞源于内存安全问题。通过...

随着人工智能技术深度渗透软件开发领域，团队如何在享受AI编程效率红利的同时，规避安全风险和技术债累积成为行业焦点。Sonar最新发布的电子书《高效AI编程的七大习惯》系统性地提出了解决方案：首先强调工程生产力...

人工智能安全与研究公司Anthropic正式推出基于浏览器的Claude Code测试版本，标志着AI编程助手进入云端协作新阶段。该平台突破性地支持用户直接连接GitHub仓库，实现跨多个代码库的并行任务处理能力。每个编程会话均...