搜索：代码检查工具

「代码检查工具」共找到 3228 篇相关文章

Anthropic 最强模型 Mythos 发布了，但你暂时用不上

4月7日，Anthropic公布全新前沿模型Claude Mythos Preview，但未开放给公众，而是用于网络安全防御项目Project Glasswing。该模型安全能力强大，能发现大量零日漏洞并编写攻击代码，普通用户短期内难用上。

开源君在Github发现开源OCR工具Zerox，由Omni - AI团队开发，利用AI视觉模型“阅读”文档，将多种格式文档转Markdown。它功能强大，处理复杂文档优势明显，在Github获9.4K Star。

文本嵌入和重排序是NLP和信息检索关键组件。Qwen3 Embedding、Qwen3 Rerank模型基于Qwen3基础模型构建，有三种参数尺寸。文章介绍其架构、训练方案，还给出实战代码。

Google悄悄发布开源免费的命令行AI开发工具Gemini CLI，免费用户每天1000次请求、每分钟60次。它功能强大，是完整AI代理，还与Gemini Code Assist配合，或改变coding游戏规则。

AI时代，上下文工程正兴起。它是构建动态系统，为LLM提供合适信息和工具以完成任务。随着应用复杂度增加，提供完整结构化上下文比提示词更重要，正成AI工程师重要技能。

作者用 Codex 一下午开发出完整游戏《夜巡录：荒庙篇》。Codex 能力惊人，能自建角色流水线、找素材、拼素材图，还结合多个工具打磨细节。项目已开源，作者考虑将流程封装成 Skill 开源。

AMD与GPU MODE联合发起2026线上黑客松，向全球发榜。挑战赛设110万美元奖池，分预选赛和决赛，要对核心GPU算子打磨、挑战明星模型，代码须可合并，给出了赛程安排及参赛方式。

上海交大IPADS实验室团队在自动生成操作系统核心组件上有新突破。面对大模型生成操作系统的难题，提出SysSpec新范式，以规约指导生成，并配套工具链，构建SpecFS文件系统，开发效率提升3 - 5倍。

文章围绕 MoonBit 语言开发者张宏波展开，探讨为 AI 重构编程语言。指出当前 AI Coding 基于旧有语言有局限，MoonBit 有原生 AI 支持，还介绍其开发历程、特性及 Pilot 工具创新，强调未来商业化愿景。

人工智能浪潮下，推理密集型信息检索是RAG和AI Agent技术发展瓶颈。中科大、智源等机构联合研发推理检索框架BGE - Reasoner，在BRIGHT基准测试中刷新纪录，还将开放相关代码等推动研究。