Claude，算是一个让人又爱又恨的模型了。 一方面是真的好用，另外一方面就是国内的各种不友好。 但是，它的新功能真是的层出不穷。 比如远程控制： 比如这个代码安全功能，对安全圈估又是一个大的打击，后面不知道有多少团队受此影响。

前两天有个朋友问我最近在忙什么。我说翻了两本书。一本回忆录，542 页。一本讲 OpenAI 和 DeepMind 的，350 ...

对开发者而言：一套由Claude ...

继 ChatGPT 和 Claude 网页版相继推出语音交互后，AI 编程领域也迎来了“动嘴”革命。当地时间3月3日，AI 巨头 Anthropic 宣布为其面向开发者的命令行工具 Claude Code 正式引入语音模式。这意味着开发者现在可以跳过键盘，直接通过语音指令让 AI 执行复杂的编程任务。

当Anthropic、OpenAI等国际 人工智能 巨头扎堆布局代码安全，Claude Code Security的推出瞬间引爆行业热议，AI+安全的赛道迎来全新风口。当海外大厂还在探讨底层协同框架、摸索技术落地路径时， 安恒信息 ( 56.160, ...

陶哲轩在视频开始就明确了任务目标：将集合论中的“单例定律”（Singleton Law）从非形式化的自然语言描述，转化为 Lean 系统能够编译和严格验证的代码。简而言之，该定律论证了对于任意集合 A 和元素 x，单例集合 {x}属于 A ...

Anthropic近日向Claude Max订阅用户推送了一项重量级更新:Claude Code正式引入“Remote Control”（远程控制）功能。这项功能让开发者能够在电脑终端启动编码任务后，通过手机或平板无缝接管整个会话，实现真正的“随时随地Coding”。 用户只需在运行中的Claude Code终端输入/remote-control（或简写/rc），系统即会生成一个专属会话链接和QR ...

近日，Anthropic公司推出的Claude Code Security工具在网络安全行业掀起热议，这款基于最新Claude Opus 4.6模型打造的人工智能工具，凭借专业的代码漏洞扫描能力和解决方案输出能力，成为行业内关注的焦点。Claude Code Security官网更是披露了该工具发现的3个典型0day漏洞。国内数字安全领军企业安恒信息迅速行动，其自研的恒脑安全智能体开启对标验证工作 ...

当地时间2月23日，Anthropic表示Claude ...

日前，联通云推出Coding Plan套餐，全面上线包括GLM-5、MiniMax M2.5、Qwen3.5、DSV3.X系列、Qwen3在内的五大模型，用户可在OpenCode、Claude Code、OpenClaw、CoPaw四个AI工具上随心选，实现“模型自由+工具自由+算力自由”。

JetBrains于2月19日发布了Visual Studio Code的Java到Kotlin转换器扩展，旨在帮助Java开发者更容易采用Kotlin语言。该扩展可从VS Code市场下载，支持通过右键菜单将Java文件转换为Kotlin代码，减少了迁移遗留代码库的手工工作。扩展使用与JetBrains IDE相同的底层引擎，并利用大语言模型提供符合Kotlin语法习惯的转换建议，为开发者提供一 ...