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

朋友们，先问你们个问题：你们的 Claude Code 里装了多少个 skills？反正我那天随便一看，居然莫名其妙装了 78 个了。有多少人和我一样没事就去 skill.sh 逛逛，看到热门就下，管他有用没用，先装了再说。skills ...

使用方式极其简单:在Claude Code界面输入命令 /voice 即可一键开启语音模式。开启成功后，只需按住空格键开始说话，语音内容会实时转录为文本并直接出现在输入框（或光标位置）。松开空格键后，转录结果即可提交给Claude处理。支持边说边打字的混合输入模式，操作流畅无卡顿，无需额外插件或设备。

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

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

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

尽管单次审计成本维持在15至25美元区间，但在AI生成代码占比持续攀升的背景下，这种高效精准的自动化审查方案正获得越来越多企业的认可。行业分析师指出，随着软件开发模式向智能化转型，代码审计工具的市场需求将持续扩大，具备多维度检测能力和平台整合优势的产品将占据竞争优势。 返回搜狐，查看更多 ...

阿里通义千问今日发布Qwen3-Coder代码模型，宣称这是迄今为止最具代理能力的代码模型。 Qwen3-Coder-480B-A35B-Instruct是该系列最强大的版本，拥有480B参数激活35B参数的MoE架构，支持256K token上下文并可扩展到1M token。该模型在Agentic Coding等任务上取得开源模型SOTA效果 ...

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