「代码检查工具」共找到 3228 篇相关文章
刚刚,AI大牛Karpathy又提新概念:像细菌一样写代码?
AI大牛Andrej Karpathy继Vibe Coding后提出「细菌式编码」,受细菌代码启发,有小而精简、模块化、自包含特点,其核心是让代码利于共享。它适合快速原型开发,也有局限,建议兼顾两者。
当代码江湖遇上智能副驾:一场开发效能的「御剑飞行」
文章以代码江湖为喻,介绍开发者困境,引出智能GitHub Copilot副驾驶。它能提升开发者工作满意度和代码编写效率,全球2000万开发者在用,微软还持续创新。11月14日将举办分享会探讨其应用。
这个Skill太香了!Karpathy说的AI写代码的毛病,直接治好
GitHub上的开源Skill andrej - karpathy - skills受Karpathy启发,能解决AI写代码的毛病。它将Karpathy洞察提炼成四条原则改造AI Agent行为,安装简单,可自定义,能约束Agent,让开发者关注关键判断。
当AI接管70%代码审查工作,剩下的30%才是 “地狱模式”
2024年初“Vibe Coding”成热词,其虽能快速验证想法,但在大型企业项目中“不可控性”凸显。亚马逊云科技研发的Kiro,尝试解决“从提示词到生产”的断裂问题。目前代码审查多采用混合模式,AI仅处初级阶段。
AI Code要变天了,Meta首个代码世界模型登场!
Meta FAIR推出32B参数的代码世界模型(CWM),旨在探索世界模型如何改变代码生成和推理,code和mode已开源。在SWE - bench验证中表现优,能与更大规模或闭权重的LLM竞争,还介绍了训练、数据集等情况。
画个图就能管理知识?这个开源工具把笔记和画板合二为一了
作者发现开源工具Revezone,它将白板和笔记合二为一,解决图文割裂问题。有Excalidraw、Tldraw白板及类Notion笔记功能,还支持拖拽分屏。提供线上和桌面版,适合多类人群,优势明显且免费。
Cursor押注云端Agent!CEO 放话:审核AI代码是开发者最核心竞争力
Cursor CEO 称 AI 编程进入第三时代,智能体可少人工介入完成复杂任务,开发者角色转变。Cursor 团队超三分之一 PR 由云端智能体生成,不过这引发了开发者对代码审查、工作流、安全等问题的讨论。
开源屠刀!400美元炼成「代码副脑」,硅谷天价模型成废铁
AI2开源Open Coding Agents,以最低数百美元算力成本,能训练贴合私有代码库的专属编程智能体。SERA-32B表现惊艳,其软验证生成技术降低成本,新代码易部署且兼容Claude Code。
玩不过来AI新品?实测10大神级Skills,各种AI工具通杀!
2026年AI工具更新快,核心概念是Skills。它比追新工具重要,可跨平台复用。作者实测10大神级Skills,涵盖内容处理、设计开发等阶段,还推荐了Skill管理产品Agent Skills Guard。
变天了!WindSurf推出workflow功能,低代码大模型应用开发平台将面对“降维”打击
Windsurf在1.8.2版本推出workflow功能,其采用自然语言定义工作流并与开发IDE深度集成,是更高级形态。该功能特性丰富、应用场景多,对Dify等应用编排工具或造成‘降维打击’。