第三届中国 Rust 开发者大会 王俊吉 RustBelt - Rust 的形式化语义模型 Outline Background • RustBelt Project • Rust Types Overview Rust Semantics • Type System • The own Predict • Exclusive Ownership & Mutable Borrow

MySQL ZIP Archive版本安装说明 1 系统环境 硬件 Surface Pro 4； 操作系统 Windows 10专业版 16299.19 64bit； MySQL MySQL Community Server 5.7.20，Windows (x86,64bit) ZIP Archive； MySQL安装路径 C:\MySQL，请视自己计算机情况选择安装目录。 2 2 软件下载 MySQL下载地址：https://dev.mysql.com/downloads/mysql/ 下载版本：Windows (x86, 64-bit), ZIP Archive，mysql-5.7.20-winx64.zip 3 软件安装 使用管理员权限打开命令提示符，步骤：开始菜单选择Windows系统 - 命令提示符 - 在其上点击右键选择 - 更多 - 以管 理员身份运行。 2017/11/06 22:33 . 2017/11/06 22:33 .. 定位到解压目录的bin目录下，执行初始化以下命令： 注意：执行初始化命令前需要正确创建data目录并确保该目录为空。 执行MySQL服务安装命令： 注意：安装成功则给出提示。 执行启动MySQL服务命令： 也可以通过在开始菜单上点击右键选择 -

— Oleg Kiselyov 目录 CONTENTS 提供语法和语义的语言不仅仅是工具， 还是思维方式 表达能力的极限，由内破除， 还是从外破除？ Moshmosh： 我的Python不可能这么甜美清新 下班时在干什么？有没有空？可以来contribute吗? 1 提供语法和语义的语言 不仅仅是工具， 还是思维方式 “语言只是工具”是现代社会最为荒谬的说法之一。 人们不得不成规模地重复工作，或是任由冗余在codebase里猖獗； 抛弃更深远的抽象和语义，最终代码的编写成为了让人烦恼的苦力。 Python是有极限的！我不写Python了！ 摆 脱 编 程 语 言 给 你 的 限 制 ？ 我们不继续谈语言和思维的问题了，也不谈一些高级的特性是多么 make sense却没有支持。 就说Python。Python是有极限的，只从语义语法上讲。 和性能、GIL相关的问题我们放在一边。 1 当 然地会使用Python。Python作为我第一门深入钻研的通用编 程语言，放弃是不能放弃的。 所以要想办法从Python现有的语法限制中脱身。 解放我的Python世界！ 我预期的语法(及语义) 扩展系统: 1. 首行用moshmosh? 标志模块 2. +extension名 (extension参数)开 启扩展 3. -extension名 (extension参数)关 闭扩展

设计、开发、测试 一体化协作平台 广州睿狐信息科技有限公司 Apifox Inc. apifox.com 节省研发团队的每一分钟 Apifox（广州睿狐信息科技有限公司）成立于 2021 年，是一家专注于企业 API 研发管理工具及解决方案 的创新企业。围绕 API 全生命周期协同与管理需求， 提供 API 文档、API 调试、API Mock、API 自动化 测试等核心产品能力，致力于为全球研发团队提高 Apifox，一体化 API 协作平台 秉承 “API First” 的先进理念，为 API 的开发协作带来全新体验 过去的 API 协同 ❌ 可视化程度低，学习成本⾼ ❌ ❌ 接⼝数据没有统⼀规范 ❌ 多系统，数据不互通 多⼯具切换，团队难以协作 可视化设计，⼩⽩都会⽤ ⼀个系统，同⼀份⽂档⼀次定义，⾃动同步 多⼈协作，实时反馈，合作更紧密 ⾃动化程度⾼，提⾼开发⼈员⽣产⼒ 本地/云端 Mock ⾃定义规则 兼容 Mock.js API 调试 可视化调试 环境/全局变量 前/后置脚本 ⾃动校验 数据库操作 ⽣成代码 JSON Path Cookie 全局共享 单接⼝多⽤例 可视化断⾔ ⾃动化测试 可视化编排 逻辑判断 多线程压测 测试数据集 CI/CD 集成 兼容 JMeter 可视化报告 定时任务 API 分发 实时更新 实时调试 Markdown

节省研发团队的每一分钟 API 设计、开发、测试 一体化协作平台 行业情况 API !" #$%&' !"# $%&# DevOps # '()# *+#,- 缺乏合适的 技术和工具 最大障碍 !" API # $%& '( API ) * 常用解决方案 API 开发调试 Postman API 自动化测试 API 压力测试 JMeter API 文档设计 Swagger 无法团 队协作 每次变更，都需要不同角色手动去多套系统 修改，维护一致性非常困难。时间久了，不 一致性越来越严重，最终不可维护。 单机离线使用为主，成员之间无法实 时同步数据，无法协作。 可视化程度低、操作不友好。 初学者难以入手，需要大量的学习成 本、培训成本。 API设计者、前端开发、后端开发、 测试人员大量重复工作。 Apifox = Postman + Swagger + Mock 数据切换到正式数据，联调通常都会非常顺利，因为前后端双方都完全遵守了接口定 义的规范。 谁在使用 Apifox 接口文档设计 接口文档设计 1. 完全可视化 2. 零学习成本 3. 遵循 OpenAPI 规范 数据模型 1. 完全可视化 2. 支持模型之间嵌套引用 3. 支持 JSON/XML 智能导入 4. 遵循 JSON Schema 规范 5. 支持 oneOf、allOf 等高级

解放Python的 表达力，性能和安全性 Thautwarm 目录 CONTENTS 语法和语义扩展 JIT 静态类型 语法和语义扩展 表达力的扩展， 可用性的保留，白来的午餐？ 演示一小部分: 模式匹配, Quick Lambda, Pipe运算 语言决定思维模型 GNU-APL C++ Haskell 说 到 质 数 � 人 们 想 到 什 么 � 语言决定思维模型 语言决定思维模型 在 实 际 业 务 中 处 理 数 据 � Python 语言决定思维模型 语言中的语法和语义， 决定了 它真实的表达力。 大多数语言都不是“万金油” 的，这是客观事实。 但它们不够“万金油”的问题 来源，不一定是不能解决的。 扩展语言，开阔思维 我预期的语法(及语义) 扩展系统: 1. 首行用moshmosh? 标志模块 2. +extension名 (extension参数)开 只对源代码Loader 重写get_data方法 调用父get_data方法， 拿到源代码 moshmosh.extension. perform_extension 源码变换 扩展的语法和语义 并非naïve的，不卫生的 源码变换; 其作用是对 AST实现一层quote moshmosh/extension_register.py (只有45行) 科普: Python Import机制是怎样的？

第三届中国Rust开发者大会 组件化驱动、ROM运行环境与RustSBI 洛佳 华中科技大学 网络空间安全学院 2023年6月 本次演讲…… 关于我…… • 笔名洛佳 • 华中科技大学网络空间安全学院研一 在读（导师：周威老师） • 研究方向：物联网安全、系统安全 • 热爱开源，乐于尝试新技术 • RustSBI项目维护者 • 致力于向科研、教学和产业界推广 Rust语言 Rust语言 汲取Rust嵌入式和操作系统生态经验，总 结而成的新一代驱动开发方法。动、静态 基地址结合，高灵活性；一次开发，同时 复用于嵌入式、固件和内核中。 # 组件化驱动 合理利用嵌入式、桌面和服务器芯片片内 ROM代码，构造零开销的运行环境。进一 步地，可完成安全引导、安全镜像分发和 通常的嵌入式开发等功能。 # ROM运行环境 # 2023年的RustSBI 作为RISC-V 作为RISC-V SBI固件的RustSBI，2023年 将与UEFI、LinuxBoot擦出火花。在驱 动、环境和SBI接口的基础上，提供快速 实现具体引导流程的解决方案。 目录 组件化驱动 第 01 部分 什么是组件化驱动？ 运 用 生 命 周 期 、可 变 性 等 最 新 的 编 程 语 言 理 论 成 果 ，构 造 适 应 开 发 需 求 的 驱 动 程 序 。可 结 合 过 程 宏 等 工