GitHub年终福利,编程聊天机器人开放给所有用户,网友直呼:破局者

你安利了吗?2023 年的最后一两天,GitHub 面向编程的聊天机器人 Copilot Chat 为所有人放出了最后一波福利!今年 3 月,软件源代码托管服务平台 GitHub 推出 Copilot X 计划,正式接入 GPT-4,并在开发者体验中添加了聊天功能「Copilot Chat」,当时适用于 Copilot for Business 企业客户。在实际操作过程中,开发者可以通过聊天界面,使用自然语言与 Copilot Chat 进行交互。今年 7 月,GitHub 又推出了 Copilot Chat 有限

你安利了吗?

2023 年的最后一两天,GitHub 面向编程的聊天机器人 Copilot Chat 为所有人放出了最后一波福利!

今年 3 月,软件源代码托管服务平台 GitHub 推出 Copilot X 计划,正式接入 GPT-4,并在开发者体验中添加了聊天功能「Copilot Chat」,当时适用于 Copilot for Business 企业客户。

在实际操作过程中,开发者可以通过聊天界面,使用自然语言与 Copilot Chat 进行交互。

图片

今年 7 月,GitHub 又推出了 Copilot Chat 有限功能测试版。9 月,该测试版面向个人开发者开放,不过需要每月支付 10 美元。

如今,Copilot Chat 终于向所有 GitHub Copilot 用户开放了。

GitHub 官方表示,该功能已经整合入微软 IDE 工具 Visual Studio Code 和 Visual Studio 的侧边栏。除了付费用户之外,现在经过验证的教师、学生和流行开源项目的维护者都可以免费使用。

图片

目前,Copilot Chat 由 GPT-4 提供支持,专门为编程人员打造上下文感知 AI 助手。开发者个人以及开发者团队可以使用自己的语言(如英语、德语、葡萄牙语等)在窗口输入 Prompt,然后获得实时指导。

自推出测试版以来,Copilot Chat 的功能几乎没有变化:解释复杂的编码概念,检测安全漏洞,编写单元测试,帮助每个开发人员快速进行创新。

GitHub 产品管理副总裁 Shuyin Zhao 在回复 TechCrunch 的邮件采访中称,作为全球开发者的家园,GitHub 向市场推出了目前为止采用最广泛的 AI 开发者工具,而代码补全仅仅是一个开始。

Shuyin Zhao 还表示,与为 Copilot 提供支持的以往模型相比,GPT-4 在对抗幻觉方面的表现更好,并提供了缓解漏洞的功能,比如不安全代码模式过滤器,可以向 Copilot Chat 用户通知硬编码凭据、SQL 注入和路径注入等漏洞。

总之,Copilot Chat 提供了代码转换、概念解释、测试编写以及针对编程问题的实时解决方案,能够快速理解用户复杂的指令,对于提升开发者生产力和创造力来说非常有助益。

当然,Copilot Chat 的开放得到了社区的大力认同,有人认为这对开发者而言是游戏规则改变者(或破局者),帮助人们更高效地操纵编程语言,实时获得编码答案。

图片

GitHub 官方提供了在 IDE、Visual Studio、Visual Studion Code 中使用 Copilot Chat 的详细指南。

图片

指南地址:https://docs.github.com/zh/copilot/github-copilot-chat/using-github-copilot-chat-in-your-ide?tool=vscode

参考链接:

https://github.blog/2023-12-29-github-copilot-chat-now-generally-available-for-organizations-and-individuals/

https://techcrunch.com/2023/12/29/github-makes-copilot-chat-generally-available-letting-devs-ask-questions-about-code/

相关资讯

首批中文版Llama3模型来了,解释成语、答弱智吧问题

中文问题,中文回答。最近,Meta 推出了 Llama 3,为开源大模型树立了新的标杆。和以往的原始 Llama 模型一样,Llama 3 对中文的支持效果欠佳,经常会出现你用中文提问,它用英文或中文 英文回复的现象。因此,要想让国内用户用上该模型,开发者还需对其进行微调。最近,在 Github 以及 HuggingFace 平台上,我们已经陆陆续续地看到了一些这样的项目,比如 llama3-Chinese-chat 和 Llama3-8B-Chinese-Chat。这篇文章将逐一介绍。llama3-Chinese

从现在起,GitHub上超1亿开发者可直接访问全球顶级大模型,构建AI应用

GitHub 推出的全新功能「GitHub Models」将有望加快 AI 工程师时代的到来。什么?大家熟悉的代码托管平台 GitHub 又进化了!该平台也开始提供 AI 大模型的 Playgroud 了。所有你能叫得上名字的业界流行大模型,包括微软的 Phi-3、OpenAI 的 GPT-4o、Meta 的 Llama 3.1、Cohere 的 Command R 、Mistral AI 的 Mistral Large,都可以在一个交互式沙盒中试用。在未来几个月,Github 也将添加更多语言、视觉以及其他类型的

陶哲轩上手Copilot:不可思议,它能从定理名字猜出我想要的方向

尝鲜 GPT-4 之后,陶哲轩又用上了 Github Copilot。这一次,他的试用场景是学习 Lean 语言并利用其形式化数学定理。对于大模型来说,形式化的定理证明也算一种挑战。形式化证明本质上是一种计算机程序,但与 C 或 Python 中的传统程序不同,证明的正确性可以用证明助手(比如 Lean 语言)来验证。定理证明是代码生成的一种特殊形式,在评估上非常严格,没有让模型产生幻觉的空间。而陶哲轩提到的定理,来自 10 月 9 日的一篇论文:论文中的这个证明只有不到一页,但陶哲轩的形式化证明使用了 200