Vitalik:感到兴奋的AI应用之一是AI辅助的代码形式验证和错误查找以太坊联合创始人VitalikButerin在社交媒体上

None

相关推荐

封面图片

【Vitalik:感到兴奋的人工智能应用之一是人工智能辅助的代码形式验证和错误查找】2024年02月19日08点18分老不正经报

封面图片

AI辅助代码文档生成工具

AI辅助代码文档生成工具支持的语言PythonJavaScriptTypeScriptJSXandTSXfilesCandC++PHPJavaC#RubyRustDartGo...支持的文档字符串格式JSDocreSTNumPyDocBlockDoxygenJavadocGoDocXMLGoogle...#工具#AI

封面图片

谷歌推出 AI 代码辅助工具 Duet AI for Developers

谷歌推出AI代码辅助工具DuetAIforDevelopers谷歌宣布全面推出其AI驱动的代码补全和生成工具DuetAIforDevelopers。新版本DuetAI集成了来自25家合作伙伴公司的数据集,帮助开发人员完成特定平台的应用构建等任务。DuetAI现在可以利用来自Confluent、HashiCorp和MongoDB等合作伙伴的数据,协助开发人员编写针对其平台的代码。谷歌表示,其还将整合来自Datadog、JetBrains和Langchain的文档和知识,帮助开发人员进行测试自动化、问题解决和漏洞修复等工作。DuetAIforDevelopers在2024年2月1日之前免费提供,之后每月收费19美元。来源,频道:@kejiqu群组:@kejiquchat

封面图片

网站BlackboxAI网站功能:AI辅助工具网站简介:一个专为开发者设计的AI辅助工具,提供代码生成、代码聊天和代码搜索

封面图片

通过聊天的形式探索Twitter开源的推荐算法代码Mendable.ai

封面图片

Gentoo Linux发行版不再允许源自AI生成和辅助的代码贡献

GentooLinux发行版不再允许源自AI生成和辅助的代码贡献对于人工智能模型来说,版权无疑已成为一个长期存在的问题,这些模型可能是在受保护的材料上训练出来的,也可能不是,最近被起诉的公司之一就是英伟达(NVIDIA)。众所周知,人工智能也会产生无意义的文本和代码,甚至有人观察到整个软件包都产生了幻觉。除了禁止提交人工智能代码外,Górny还表示,他还希望Gentoo能为Linux社区提供一些独特的东西。"我认为这对现在的Gentoo来说是一个很好的公关举措,"Górny表示。"当很多项目都热衷于'人工智能'时,我觉得很多Gentoo用户都非常欣赏老派的软件工程方法,即人比'生产力'更重要。"这项禁令及其建议是先发制人的,并非是Gentoo社区发生任何具体事件的结果。"我们正在采取早期预防措施,"Górny解释说。人工智能被全面禁止,但可能不会永远禁止社区最初是在3月10日的月度会议上讨论Górny提议的禁令。但是,由于禁令的措辞尚未制定,而且许多议员希望讨论出更多细节,因此没有采取任何行动。禁令最终在4月14日的社区会议上以6票对0票通过,其中一名议员缺席表决。"我个人的看法是,我们的话题才刚刚开始,"Górny说。"我猜想,当我们真正正式宣布,用户了解到这一点时,我们会看到更多的用户反馈"。Gentoo社区曾在电子邮件新闻组和IRC聊天室中讨论过可能的禁令,Górny说大家一致认为应该设置"一些限制"。随着禁令的全面实施,可能会鼓励更多的Gentoo社区成员分享他们对人工智能的看法。当然,执行禁令也是一项挑战;如何区分代码是由人类编写的还是机器编写的?在戈尔尼看来,禁令的有效性并不是真正的重点。他说,"我们的首要目标是明确什么是可以接受的,什么是不可以接受的,并礼貌地要求我们的贡献者尊重这一点。"他补充说,人工智能禁令主要是对目前有关版权代码规则的延伸:"如果我们收到的稿件中包含非常'奇怪'的错误,这种错误似乎不太可能是人为错误造成的,我们就会提出问题,但我认为这是我们能做的最好的办法。""不过,禁令中明确包含了一项条款,规定该政策可在未来重新审议,这也是一些成员明确要求增加的内容。"社区成员萨姆-詹姆斯(SamJames)说:"一年后,情况可能会发生很大变化(或根本不会发生变化),因为事情发展得很快。"该委员会已经预见到了未来的情况,他们将为人工智能--专门在Gentoo上训练的模型破例。从理论上讲,这将消除对侵犯版权的担忧,并有可能带来更高质量的代码。...PC版:https://www.cnbeta.com.tw/articles/soft/1427800.htm手机版:https://m.cnbeta.com.tw/view/1427800.htm

🔍 发送关键词来寻找群组、频道或视频。

启动SOSO机器人