首页 文章 精选 留言 我的

精选列表

搜索[Copilot],共820篇文章
优秀的个人博客,低调大师

倒计时 2 天|Meetup 议题已公开,Copilot 月卡等你来拿!

「AI时代下的基础软件」 10 月 25 日(周六),欢迎来到深圳 MoonBit 技术沙龙 ,一起探讨 AI 时代的基础软件新范式与编程语言的未来。 活动时间: 10月25日 (周六)14:00 - 17:00 活动地点: 深圳市福田区保税区市花路5号长富金茂大厦1号楼二层多功能厅 报名链接: https://hdxu.cn/1z5w9 一、MoonBit 发展 & 展望 张宏波 粤港澳大湾区数字经济研究院基础软件中心首席科学家,MoonBit 团队负责人 整体回顾MoonBit 3年来的发展历程,介绍其在编译器技术、生态建设、以及AI相关领域中的最新进展,并展望MoonBit如何成为下一代智能软件基础设施的关键一环。 二、Maria:用 MoonBit 写个 Code Agent 费浩祥 MoonBit核心开发工程师 Maria 是用 MoonBit 从 0 开发的 Code Agent 。Maria 使用 MoonBit 构建,为 Code Agent 的可靠运行提供了坚实的基础,并以 SDK 的方式向外提供接口,方便外部开发者以 Code Agent 为基础进行二次开发,并集成到具体的工作流中。 1. 如何使用 Maria: Maria 提供了启动 Maria agent和监听事件的能力,用户可以基于事件系统定制渲染、日志以及自动化任务等功能。Maria 也支持自定义工具、添加会话来实现更加复杂或者灵活的需求。 2. 如何进行工具设计: 工具是扩展 LLM 能力的重要手段。 工具提供的 JSON schema 应该尽量扁平、简单。复杂的 JSON schema 通常会导致 tool call 失败。 工具应该是 future proof 的。固定工作流的工具可能在当下很好用,能解决问题,但是随着模型能力的提升,可以完全通过模型自身的能力替代。 工具的状态和输出都应该是临时的:让 LLM 自己重建对项目的理解。 三、MoonBit Pilot 以及AI工具的一些使用技巧 刘子悦 MoonBit核心开发工程师 本次将与大家分享一些如何让AI(包括Moon pilot或者cursor等工具)写出更好的MoonBit代码的一些技巧,主要包括以下三个方面: 1. 扁平化面向对象的设计 ,MoonBit本身有非常良好的pattern match语法和AI工具链,使用更加扁平化的类设计可以更好的让AI看懂代码,写出更好的代码。 2. 善用pattern match ,而并非不安全的数组索引,或者unwrap。pattern match的语法有助于AI快速地写出正确的代码。 3. API设计,文档和测试的写法和技巧 。好的文档与测试会极大地帮助AI定位Bug,写出更好的代码。 四、AI 与 MoonBit 如何提高我们的生产力 鲍志远 MoonBit核心开发工程师 随着大模型能力的提升,AI已经越来越多地参与到我们的日常开发中,并且正在切实地提升我们的生产力。本次将与大家分享: 1. 我在日常开发中觉得AI很好用的场景 2. MoonBit工具链为了提升大模型生成MoonBit代码的能力而做的工作 五、MoonBit 异步编程系统介绍 刘请 MoonBit核心开发工程师 近期,MoonBit 发布了异步编程运行时 moonbitlang/async,有了较完整的异步编程支持。moonbitlang/async 的开发者将分享: 1. MoonBit 异步编程系统的整体设计和现状 2. moonbitlang/async 中的结构化并发设计 3. MoonBit 的异步编程系统的未来规划 六、MoonBit 自举 parser & formatter 进展和应用 陈玉斌 MoonBit核心开发工程师 本次分享将与大家介绍 MoonBit 自举解析器和格式化器的进展,并演示如何使用这些库编写有用的代码处理工具。主要包含以下方面: 1. moonbitlang/parser 模块的实现 包括如何使用moonyacc、实现性特性lexmatch、Guard语句与is表达式、snapshot test等工具和特性,来完成词法解析、语法解析、错误恢复的功能,简化自举的工作。 2. moonbitlang/formatter 模块 自举格式化器的设计思路和当前进展。 3. moonlint 代码检查工具 如何利用 moonbitlang/parser 开发基于语法的代码检查工具。 4. 代码生成工具开发 如何结合 moonbitlang/parser 和 moonbitlang/formatter 实现自定义 deriving、FFI 包装生成等实用的代码生成工具。

资源下载

更多资源
腾讯云软件源

腾讯云软件源

为解决软件依赖安装时官方源访问速度慢的问题,腾讯云为一些软件搭建了缓存服务。您可以通过使用腾讯云软件源站来提升依赖包的安装速度。为了方便用户自由搭建服务架构,目前腾讯云软件源站支持公网访问和内网访问。

Nacos

Nacos

Nacos /nɑ:kəʊs/ 是 Dynamic Naming and Configuration Service 的首字母简称,一个易于构建 AI Agent 应用的动态服务发现、配置管理和AI智能体管理平台。Nacos 致力于帮助您发现、配置和管理微服务及AI智能体应用。Nacos 提供了一组简单易用的特性集,帮助您快速实现动态服务发现、服务配置、服务元数据、流量管理。Nacos 帮助您更敏捷和容易地构建、交付和管理微服务平台。

Rocky Linux

Rocky Linux

Rocky Linux(中文名:洛基)是由Gregory Kurtzer于2020年12月发起的企业级Linux发行版,作为CentOS稳定版停止维护后与RHEL(Red Hat Enterprise Linux)完全兼容的开源替代方案,由社区拥有并管理,支持x86_64、aarch64等架构。其通过重新编译RHEL源代码提供长期稳定性,采用模块化包装和SELinux安全架构,默认包含GNOME桌面环境及XFS文件系统,支持十年生命周期更新。

WebStorm

WebStorm

WebStorm 是jetbrains公司旗下一款JavaScript 开发工具。目前已经被广大中国JS开发者誉为“Web前端开发神器”、“最强大的HTML5编辑器”、“最智能的JavaScript IDE”等。与IntelliJ IDEA同源,继承了IntelliJ IDEA强大的JS部分的功能。

用户登录
用户注册