Mistral AI与All Hands AI联合发布了最新的Devstral中型模型，以及升级版的Devstral小型模型1.1。这两款新模型专为智能编程任务进行了优化，标志着人工智能在代码智能化领域中的又一次重要进步。Devstral小型模型1.1...

Jank是一种通用编程语言，同时也是Clojure的方言，它结合了Clojure的交互式开发体验与本地编译能力，通过C++和LLVM实现了极低的运行时开销。Jank允许开发者在REPL中快速迭代，无缝集成原生C++代码，并编译为高效的机...

Replit与微软宣布建立战略合作伙伴关系，共同推出基于自然语言的企业级应用开发解决方案。这一创新合作将Replit的Vibe Coding技术与微软Azure云服务深度整合，使企业用户无需具备专业编程技能，即可快速构建并部署安...

近日，研究人员发布了新一代商业级大语言模型Mercury，该模型基于扩散模型技术，采用Transformer架构进行参数化，并能够并行预测多个token。报告重点介绍了Mercury Coder，这是首套专为编程应用设计的扩散大语言模型...

即将发布的Lean 4.22版本带来了一项激动人心的新功能——针对命令式程序属性的验证基础设施预览。这一突破性进展允许开发者通过形式化方法证明命令式程序的正确性，标志着定理证明工具向实用化迈出重要一步。作者Marku...

GitHub用户terryso近日发布了一个名为claude-auto-resume的开源项目，该项目旨在解决Claude代码专业版可能存在的使用限制问题。该项目通过自动化技术实现在用户非活跃时段（如睡眠期间）保持会话连续性，这一创新方...

GitHub近期上线的Opencode项目引发开发者社区广泛关注，该项目定位为终端环境专用的AI编程代理工具。该项目由sst团队开发，允许开发者直接在终端环境中调用AI辅助完成代码编写、调试等任务，这种轻量化设计尤其适合...

GitHub社区近期出现了一款名为Backlog.md的开源工具，该项目由开发者MrLesk创建，旨在通过Markdown语法实现人类与AI代理在Git生态系统中的高效协作。该工具创新性地将任务管理、看板可视化与版本控制深度整合，支持...