代码
“稚晖君”创业项目,智元机器人宣布灵犀 X1 面向全球开源
智元机器人今日宣布“灵犀 X1”面向全球正式开源,软硬件全套图纸和代码水灵灵地上线到 GitHub 啦,开发指南上线至智元机器人官网。 智元机器人官方称,作为业内首家全栈开源人形机器人图纸和代码的公司,此次开源将毫无保留地提供“一站式”软硬件技术资源,总资料大小超过 1.2GB。 在整机结构硬件方面,开源内容包含详尽的整机结构图纸、硬件框图和物料清单(BOM)、装机说明。
JetBrains 为开发者打造最强 AI 助手 Mellum:为编程而生,延迟低、补全快、准确度高
感谢JetBrains 公司昨日(10 月 22 日)发布博文,专门设计推出了全新的大语言模型 Mellum,为软件开发者提供更快速、更智能和更具上下文意识的代码补全。官方表示 Mellum 相比较其它大语言模型,最大的亮点就是专门为开发者编程而设计的,具备延迟低、性能强、功能全面等优点,可以在最短时间内为开发者提供相关建议。Mellum 已支持 Java、Kotlin、Python、Go 和 PHP 等流行编程语言,用户可通过加入早期访问计划获取更多语言支持。
Cursor创始团队最新访谈:如果Github整合o1,Cursor可能要倒闭了
机器之心报道,编辑:佳琪、蛋酱。
OpenAI 推出全新写作、编码工具 ChatGPT Canvas,将免费开放
感谢OpenAI 今日宣布推出全新写作、编码工具 Canvas,这是一个与 ChatGPT 合作编写和编码项目的新界面,超越了简单的聊天。AI在线从官方介绍获悉,ChatGPT Canvas 可以更好地了解任务的上下文,用户可以突出显示特定部分,以准确表明希望 ChatGPT 关注的内容。用户也可以直接编辑文本或代码,要求 ChatGPT 调整写入长度、调试代码并快速执行其他操作,并且提供后退按钮来恢复作品的先前版本。写作功能包括:建议编辑:ChatGPT 提供建议和反馈。调整文章长度:将文档长度编辑为更短或更长。
JetBrains AI Assistant 编程助手正式在国内发布,基于阿里通义大模型
在本周举行的 2024 云栖大会上,JetBrains 正式发布了基于阿里云通义大模型的 JetBrains Al Assistant。JetBrains 官方介绍称,JetBrains Al Assistant 与多款 JetBrains 产品深度集成,是专为中国开发者量身定制的“提效神器”。JetBrains Al Assistant 支持全链路优化开发,可在特定 IDE 工具窗口中作为内联操作使用,也可以通过内置聊天使用,不会中断开发工作流。此外,JetBrains 承诺所用模型绝不会在开发者的代码库上训练,
亚马逊 CEO 安迪・贾西:AI 助手 Amazon Q 可节省约 4500 个开发人员一年工作量
亚马逊 CEO 安迪・贾西昨天在其领英主页发帖称,将亚马逊的生成式 AI 开发助手“Amazon Q”集成到内部系统后,利用新的代码转换功能,Amazon Q 将应用程序升级到 Java 17 的平均时间从开发人员的 50 天左右缩短到了几个小时,估计节省了约 4500 个开发人员一年的工作量。对于软件开发团队来说,最乏味(但却最关键)的任务之一就是更新基础软件。这不是新功能的工作,也不会让人感觉到你在推动体验向前发展。Amazon Q 是我们的 GenAI 软件开发助手,它正试图为这些繁重的工作带来些许曙光。据A
明确了:文本数据中加点代码,训练出的大模型更强、更通用
代码知识原来这么重要。如今说起大语言模型(LLM),写代码能力恐怕是「君子六艺」必不可少的一项。在预训练数据集中包含代码,即使对于并非专门为代码设计的大模型来说,也已是必不可少的事。虽然从业者们普遍认为代码数据在通用 LLM 的性能中起着至关重要的作用,但分析代码对非代码任务的精确影响的工作却非常有限。在最近由 Cohere 等机构提交的一项工作中,研究者系统地研究了代码数据对通用大模型性能的影响。论文链接:「预训练中使用的代码数据对代码生成以外的各种下游任务有何影响」。作者对范围广泛的自然语言推理任务、世界知识任
AI 编码无需人类插手:Claude 工程师摔断右手后,一周狂肝 3000 行代码
一次意外右手骨折,Claude 工程师的工作竟被 AI 挽救了。近两个月的时间,他们一起结对编程,甚至在一周内肝出 3000 行代码。他疯狂暗示,未来 1-3 年,就是「AI 工程师」的天下。原来,摔断胳膊也是一件幸事......当事人表示,「我再也不想回到过去了」。这是为何?事情是这样的,几个月前,Claude 工程师 Erik Schluntz 骑车上班的路上,意外摔断右手,打上了石膏。为了生计,他不得已用左手打字。即便如此,Schluntz 依旧在 Anthropic 旧金山的办公室里,一周狂肝了 3000
智能化软件开发2.0 | aiXcoder落地Agent技术,聚焦企业项目级代码生成场景
基于大模型的AI Agent,作为能够自主感知环境、形成记忆、规划行动、并调用各类工具执行复杂任务的新一代技术,正在重塑软件开发流程,引领智能化软件开发进入2.0阶段。北大aiXcoder团队早在2023年初就开始基于大模型的Agent在软件工程领域中的研究,先后发表了多篇相关论文【1,2,3,4】,是全球第一批研究通过大模型+工具调用去解决项目级代码生成问题的团队,为Agent技术在软件开发领域应用奠定了坚实的理论基础。基于系列领先的研究成果,结合多年来为各行业落地个性化企业代码大模型的实践经验,aiXcoder
ChatGPT 无法取代人类程序员: IEEE 35 页论文测出困难编码正确率仅为 0.66%
【新智元导读】6 月,IEEE 刊登了一篇对 ChatGPT 代码生成任务进行系统评估的论文,数据集就是程序员们最爱的 LeetCode 题库。研究揭示了 LLM 在代码任务中出现的潜在问题和能力局限,让我们能够对模型做出进一步改进,并逐渐了解使用 ChatGPT 写代码的最佳姿势。有了 ChatGPT,还需要人类程序猿编码吗?上个月,一项发表在 IEEE TSE 期刊(Transactions on Software Engineering)上的研究评估了 ChatGPT 所生成的代码在功能性、复杂性和安全性方面
智谱发布并开源代码生成大模型 CodeGeeX 第四代,号称百亿以下规模性能最强
正在进行的 2024 世界人工智能大会(WAIC 2024)期间,智谱 AI 发布并开源代码生成大模型 CodeGeeX 的第四代产品 CodeGeeX4-ALL-9B,集代码补全和生成、代码问答、代码解释器、工具调用、联网搜索、项目级代码问答等所有能力于一体,号称是目前百亿(10B)参数以下性能最强、最全能的代码大模型。据介绍,该模型在 GLM4 的语言能力的基础上大幅增强了代码生成能力。CodeGeeX4-ALL-9B 单一模型,即可支持代码补全和生成、代码解释器、联网搜索、工具调用、仓库级长代码问答及生成等功
Meta 推出 LLM Compiler 代码优化模型,可搭配其他 AI 改善代码生成 / 编译能力
Meta 前天推出了一款名为“LLM Compiler”的模型,该模型基于 Meta 现有的 Code Llama 打造,主打代码优化,目前相关模型已登陆 Hugging Face,提供 70 亿参数及 130 亿参数两个版本,允许学术及商业使用,IT之家附项目地址如下:点此访问。Meta 认为,尽管业界各大语言模型已在各种编程代码任务中展现了出色的能力,但此类模型在代码优化还有进步空间,目前推出的 LLM Compiler 模型便是一款专为优化代码任务设计的预训练模型,能够模拟编译器对代码进行优化,或将“已经过优
百度智能代码助手“文心快码”发布:支持 100+ 主流编程语言及多种 IDE
在今日举行的百度 WAVE SUMMIT 深度学习开发者大会上,百度推出了旗下智能代码助手 —— 文心快码(Baidu Comate)。文心快码(Baidu Comate)基于文心大模型,结合百度积累多年的编程现场大数据和外部优秀开源数据,拥有代码智能、场景丰富、创造价值、广泛应用等多重产品优势,可实现“帮你想、帮你写、帮你改”的场景应用形态。百度表示,该公司内部上万工程师中,目前已经有 80% 的人都开始使用文心快码,代码采用率达 44%。据介绍,文心快码有三大方面的优势:更懂研发知识,开发速度快;更懂研发全流程
Meta 发布基于 Code Llama 的 LLM 编译器:优化代码大小、反汇编
感谢Meta 官方在 X 平台宣布推出 LLM 编译器,这是一个基于 Meta Code Llama 构建的模型家族,具有额外的代码优化和编译器功能。这些模型可以模拟编译器,预测代码大小的最佳传递,并可反汇编代码,可以针对新的优化和编译器任务进行微调。Meta 在 HuggingFace 上公开了 LLM 编译器的 7B 和 13B 模型,采用宽松的许可协议,允许用于研究和商业用途。IT之家附链接:,LLM 在各种软件工程和编码任务中展示其能力,然而在代码和编译器优化领域的应用仍然未被充分探索。为了解决这一问题,M
字节跳动发布“豆包 MarsCode”AI 代码工具:国内开发者免费
字节跳动昨日在北京发布了 AI 开发工具 —— 豆包 MarsCode ,面向国内开发者免费开放。豆包 MarsCode 编程助手,具备以智能代码补全为代表的 AI 功能。支持多种系统(Windows、macOS、Linux)、编程语言及主流的 IDE(Visual Studio Code 与 JetBrains),能够在开发过程中对单行代码乃至整个函数提供编写提议。IT之家附官方网站: MarsCode 编程助手支持的主流语言和框架如下:后端:Go、Python、C 、C、C#、Java、PHP、Rust前端:
阿里云推出首个 AI 程序员,具备架构师、开发 / 测试工程师等岗位技能
在今天的阿里云上海 AI 峰会上,阿里云推出首个“AI 程序员”,具备架构师、开发工程师、测试工程师等岗位技能,能完成任务分解、代码编写、测试、问题修复、代码提交整个过程,号称最快“分钟级”完成应用开发。据介绍,该“AI 程序员”是基于通义大模型构建的多智能体,包含任务分解、编码、测试等不同板块,与“通义灵码”有所不同。在收到用户需求后,“AI 程序员”就可实现软件开发“一条龙”:理解需求-拆分任务-编写代码-识别并解决报错-提交代码。 据IT之家此前报道,阿里云去年 11 月推出了 AI 编程工具通义灵码,兼容
代码大模型安全规范正式定稿:百度阿里小米 vivo 等参与,中国信通院启动首轮评估
近年来,代码大模型已成为企业研发人员辅助编程必备助手,能够生成、翻译、补全代码,帮助定位和修复错误。然而,代码大模型背后隐藏的风险挑战还有待讨论。中国信息通信研究院(以下简称“中国信通院”)依托中国人工智能产业发展联盟(AIIA),联合业内近 30 家单位共同编制了《代码大模型安全风险防范能力要求及评估方法》规范(简称“规范”),聚焦代码大模型的安全能力,从基础功能出发,评估代码大模型的基础能力和安全风险防范能力。2024 年 6 月 18 日,规范第三次研讨会成功举办,对规范内容做出进一步的完善和修订,现已完成定
腾讯云 AI 代码助手免费限时公测:自动补全、根据注释生成内容、解释代码等
腾讯云宣布旗下 AI 代码助手现已开放免费限时公测,目前开发者、开发团队、企业客户可以通过腾讯云官网在线体验。AI 代码助手是腾讯云自研的一款编程提效辅助工具,以插件形式安装到编辑器(VSCode 或者 JetBrian 系列 IDE)中辅助编程。AI 代码助手可提供自动补全代码、根据注释生成代码、代码解释、生成测试代码、转换代码语言、技术对话等功能。IT之家附腾讯云 AI 代码助手特点:基于腾讯混元代码模型:腾讯表示内部超过 50% 的研发在使用支持多种语言:支持 Python, JavaScript / Typ