## RUST CHINA CONF 2023 第三届中国 Rust 开发者大会 王俊吉 6.17-6.18 @Shanghai ## Outline ## RustBelt - Rust 的形式化语义模型 Background Rust Semantics • RustBelt Project • Type System • Rust Types Overview • The own

LINE LINE ## 如何打造一个让人愉快的 小于技 ## 会议主席  ## 但考虑到这是一次开发者会议 我 ## 如何打造一个让人愉快的 框架 ## 一 个故事 ... ## 武田君的'轮子' 网络请求 模型解析

字符串是使用源字符串复查标记为需要复查的。 参见 字符串标签 ## 翻译 在翻译页面上，将显示源字符串及其译文的编辑区域。如果译文是复数的，则会显示多个源字符串和编辑区域，每个源字符串和编辑区域都以翻译语言具有的复数形式的数量进行描述和标记。 所有特殊空白字符都会添加红色下划线，并用灰色符号表示。多个接续的空格也会添加红色下划线，以提醒译者潜在的格式问题。 此页面上可以显示各种额外信息，其中大部分来自项目源代码 。 ## 复数形式 改变形式的单词以解释其数字名称称为复数。每种语言都有自己的复数定义。例如，英语支持一种。在例如“car”的单数定义中，隐含地引用了一辆汽车，在复数定义中，“cars”引用了两辆或两辆以上的汽车（或将汽车的概念作为名词）。例如捷克语或阿拉伯语等语言具有更多的复数，并且它们的复数规则也不同。 Weblate 完全支持每种形式的每种语言（通过分别翻译每个复数形式）。字段的数量以 ## 缺少复数形式 概要:: 某些复数形式未翻译 范围:: 已翻译字符串 检查的类:: weblate.checks.consistency.PluralsCheck 检查的标识符:: plurals 忽略的标记:: ignore-pluralrs 检查源字符串的所有复数形式是否已翻译。有关如何使用每个复数形式的详细信息，请参阅字符串定义。 在某些情况下，未能填写复数形式将导致在使用复数形式时不显示任何内容。

github.io） - 我们关于Rust库模糊测试的论文 RULF: Rust Library Fuzzing via API Dependency Graph Traversal 获得了软件工程顶级会议ASE2021的ACM杰出论文奖 ## 引言：Rust for Linux “If the Rust compiler ends up doing hidden allocations, and they libfuzzer): 分支覆盖率；用例程序的构造 符号执行(klee, angr)：路径爆炸；求解困难 静态分析(MirChecker, Rudra, SafeDrop)：分析特定问题；假阳性 形式化验证(RustBelt)：无法方便的验证第三方库 其他工具（Miri等）..... ## API 测试用例合成 impl Parser { fn justfile(mut self) ->

2016 年初，开源社发布了《2015 年中国开源社区参会调查报告》，随后的几年中，持续发布了开发者调查报告，旨在从多种维度呈现国内的开源发展情况。今年我们再次启程，结合数据分析手段和调查报告等多种形式，绘制一份 2020 年中国开源世界的地图。 这份问卷是每年中国开源年报的重要一环，不基于调研的分析报告不过是纸上谈兵。在往年的基础上，我们参考了其他现存的主流开发者问卷内容，并加入了一些新的视角 会普遍追求更高学历深造有关，和本次问卷传播形式有关，但是同时也能说明开源在教育领域取得了不错的进展； - 开发者所从事的技术方向仍以前后端为主，其中后端开发占比约 31%，其次是 Web 前端、AI 以及大数据分析方向，占比分别为 10%、9%、9%，非技术人员以及其他行业的从业者占比均为 7%，说明开源已经越来越受到社会各界的关注； - 参与开源的形式由 2019 年以代码和测试为主转变为以代 的开发者认为开源活动对促进和推动开源社区至关重要。而对于更倾向于线上还是线下的会议，结果竟惊人地持平； 在 2020 年 COVID-19 这个大背景下，各行各业都不可避免受到了冲击和影响；82% 的人认为疫情对于参加开源社区的活动产生了影响，但也具有推动作用，11% 的人认为毫无影响，7% 的人认为疫情的负面影响大于正面影响； - 在在线文档协作工具的使用上，石墨文档以黑马的形式由第三名一跃成为第一名，压倒了wiki和Google

终端，PC具有大屏幕和更高分辨率、多任务处理、键鼠交互、大容量存储等优势。这让PC在移动互联网内容消费时代依然扮演着不可或缺的重要角色。 在内容创作的场景中，PC具有最广泛的应用场景，可以承担远程会议、图形设计、编程开发、多媒体制作等多项任务。PC具有更多的专业工具的支持，如图像处理软件、视频编辑工具、音频编辑软件等，这些软件通常在PC平台上具备更多功能和高级选项，为专业创作者提供更丰富的工作环境。 生态支持之下，AI PC所具备的个性创作、秘书服务以及设备管家等能力，能够在工作、学习和生活娱乐等场景中分别体现出多样的独特价值。 个性创作 ## 工作 设备管家 秘书服务 - 会议材料准备 - 会议总结和纪要 - 专业PPT/Word/Excel... - 个人日程表 - 同声传译 - . ... - 主动调优 - 专业模式 . ... ## 学习 - AI课堂笔记和记录 工作：打造智能工作新常态 个性化创作服务助力工作效率提升 AI大模型在工作领域已经有了相对广泛的应用，在效率提升方面已经展现出了极强的能力和潜力，能够帮助用户快速生成特定主题的文档，例如起草会议通知、会议材料准备、会议记录和纪要、邮件起草和专业文件创作等。 AI PC具备更加个性化创作的能力，能够有效的解决当前公共模型在专业文档制作中的问题。AI PC能够更准确的理解用户的创作意图，掌握用户的历史创

脆的坚果或种子。可能需要一些香草来提升清新感，比如薄荷或香菜。 接下来，需要确保这道菜的步骤不会太复杂，但又有创新点。比如，将茄子烤后挖空，混合香肠和香料，再填回茄子中，配上特制酱汁。或者做成卷的形式，用青椒包裹茄子和香肠的混合物。 另外，名字也很重要，要吸引人，反映菜品的特色。可能需要结合使用的特殊调料或烹饪方法来命名，比如“泰式椰香茄子青椒船”或者“地中海香料茄盒”。 ## 如何使用DeepSeek解决工作中的问题 “卷不动了？让DeepSeek帮你一键‘躺赢’！” ## 场景1：1小时内写完一个1万字的项目书 场景：下午3点，你突然接到领导通知：“今晚4点前必须交一份10000字的智能物流园区项目方案书，客户临时提前会议！”你大脑一片空白——手头只有零散的会议记录、几份过时的模板，且对“智能物流”技术细节不熟。电脑右下角显示时间：3:05 PM，你手心冒汗，疯狂翻找资料，但文档光标始终停留在标题页…… 深度思考 好的，用户现在需要 第二阶段：20分钟——用AI批量填充模块（目标：6000字） 针对每个小节单独提问，例如： “写一段 ‘2.1 功能分区’ 的内容，要求包含自动化立体仓库、AGV调度中心、冷链专区的技术参数，用数据列表形式呈现。” 关键技巧： ☐ 数据嫁接：若缺乏具体数据，直接让AI生成合理虚构值（标注“示例”规避风险）： ☐ “假设园区占地500亩，日均处理包裹量50万件，请计算自动化分拣设备的配置数量，用表格展示。”

计算、边缘计算、嵌入式等应用场景，支持多样性计算，致力于提供安全、稳定、易用的操作系统。通过为应用提供确定性保障能力，支持 OT 领域应用及 OT 与 ICT 的融合。 欧拉开源社区通过开放的社区形式与全球的开发者共同构建一个开放、多元和架构包容的软件生态体系，孵化支持多种处理器架构、覆盖数字设施全场景，推动企业数字基础设施软硬件、应用生态繁荣发展。 2019 年 12 月 31 日，面向多样性计算的操作系统开源社区 openEuler 社区及基于社区技术的操作系统发行版，促进其广泛使用和生态建设。 ## 秘书处 秘书处在 openEuler 理事会的指导下开展日常工作： 1. 执行理事会的各项决议，筹备和落实理事会会议召开，协调社区各个机构开展工作。 2. 编写社区季度、年度的工作报告，经理事会批准后对外发布。 ## 技术委员会 openEuler 技术委员会（Technical Committee，以下和 导社区在体系架构、内核、虚拟化、云原生、安全等领域技术创新，保证社区具有持续的技术竞争力。 6. 导社区建立原创性开源项目，持续构建社区技术影响力。 ## 组织会议 公开的会议时间：当前 TC 在北京时间，每双周周三的上午 10:00 召开公开的例行线上讨论会议。 具体会议参会方式，会提前一天在邮件列表中讨论确定。 欢迎任何感兴趣的开发者参加旁听 ## SIG 专注于一个领域的持久和开放的团队，该团队通过定