Real world Rust Why and how we use Rust in TiKV 黄东旭 PingCAP 关于我 ● 黄东旭 Dongxu_Huang ● Open source hacker / Infrastructure Engineer ● MSRA / Netease / Wandoujia / PingCAP ● CTO of PingCAP ● Codis ○ Maintain by Mozilla ● Stable: 1.13 ○ Stable enough for production use ● Alternative to C/C++ Why Rust? ● Safe ○ Thread safety guarantee ○ Segfaults free ● Blazingly fast ○ llvm backend ○ No

TEX 历史 扩展 系统 Why TEX 优点 比较 HowTo LATEX 文档基本结构 一个简单例子 正文排版 讨论和演示 使用 TEX 写文档 王晓东 wxd2870@163.com 中国海洋大学 September 4, 2012 KevinW@OUC 王晓东 大纲 What’s TEX 历史 扩展 系统 Why TEX 优点 比较 HowTo 一个简单例子 正文排版 讨论和演示 大纲 1 What’s TEX 历史 扩展 系统 2 Why TEX 优点 比较 3 HowTo LATEX 文档基本结构 一个简单例子 正文排版 4 讨论和演示 KevinW@OUC 王晓东 大纲 What’s TEX 历史 扩展 系统 Why TEX 优点 比较 HowTo LATEX 文档基本结构 一个简单例子 正文排版 正文排版 讨论和演示 接下来… 1 What’s TEX 历史 扩展 系统 2 Why TEX 优点 比较 3 HowTo LATEX 文档基本结构 一个简单例子 正文排版 4 讨论和演示 KevinW@OUC 王晓东 大纲 What’s TEX 历史 扩展 系统 Why TEX 优点 比较 HowTo LATEX 文档基本结构 一个简单例子 正文排版 讨论和演示

server starts, and will restart it if it crashes while the server is running. (This last feature is why we can refer to this technique as "reliable piped logging".) Piped log processes are spawned by the symbols from the executable program for the DSO when using a DSO to extend a program (the second way). Why? Because "reverse resolving" DSO symbols from the executable program's symbol set is against the library http://www.def.dom/whatever) will all be served by the abc.dom virtual host. To better understand why this happens requires a more in-depth discussion of how Apache matches up incoming requests with the

error? . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 578 13.3.2 Sharding Why does float number appear in the return result of inline expression?578 13.3.3 Sharding If sharding . . . . . . 578 13.3.4 Sharding When generic Long type SingleKeyTableShardingAlgorithm is used, why does the ClassCastException: Integer can not cast to Long exception appear? . . . . . . . . . . . ClassCastExcep- tion: Integer can not cast to Long exception occurs. . . . . . . . . 579 13.3.6 Sharding Why is the default distributed auto‐augment key strategy provided by ShardingSphere not continuous and

server starts, and will restart it if it crashes while the server is running. (This last feature is why we can refer to this technique as "reliable piped logging".) Piped log processes are spawned by the symbols from the executable program for the DSO when using a DSO to extend a program (the second way). Why? Because "reverse resolving" DSO symbols from the executable program's symbol set is against the library http://www.def.dom/whatever) will all be served by the abc.dom virtual host. To better understand why this happens requires a more in-depth discussion of how Apache matches up incoming requests with the

server starts, and will restart it if it crashes while the server is running. (This last feature is why we can refer to this technique as "reliable piped logging".) Piped log processes are spawned by the symbols from the executable program for the DSO when using a DSO to extend a program (the second way). Why? Because "reverse resolving" DSO symbols from the executable program's symbol set is against the library http://www.def.dom/whatever) will all be served by the abc.dom virtual host. To better understand why this happens requires a more in-depth discussion of how Apache matches up incoming requests with the

server starts, and will restart it if it crashes while the server is running. (This last feature is why we can refer to this technique as "reliable piped logging".) Piped log processes are spawned by the symbols from the executable program for the DSO when using a DSO to extend a program (the second way). Why? Because "reverse resolving" DSO symbols from the executable program's symbol set is against the library http://www.def.dom/whatever) will all be served by the abc.dom virtual host. To better understand why this happens requires a more in-depth discussion of how Apache matches up incoming requests with the

server starts, and will restart it if it crashes while the server is running. (This last feature is why we can refer to this technique as "reliable piped logging".) Piped log processes are spawned by the symbols from the executable program for the DSO when using a DSO to extend a program (the second way). Why? Because "reverse resolving" DSO symbols from the executable program's symbol set is against the library http://www.def.dom/whatever) will all be served by the abc.dom virtual host. To better understand why this happens requires a more in-depth discussion of how Apache matches up incoming requests with the

产品功能 产品功能 产品功能 产品功能 产品功能 业务 研发 业务目标 影 响 地 图 www.leangoo.com 7 一个影响地图的示例 Why（目标） Who（角色） 影响（How） Who（功能） 功能假设 影响假设 感谢何勉提供了这个示例 www.leangoo.com 8 影响地图的 特点 www.leangoo 要素 www.leangoo.com 15 WHY WHO HOW WHAT www.leangoo.com 16 WHY 回答我们为什么做这些？ 它是一个业务目标而不是方案 对于商业产品来说， 目标要尽可能和钱相关 目标要符合SMART原则 www.leangoo.com 17 关于WHY的一些示例 客服人数不变的情况下，支持2倍的用户数。 可视化地推 进产品假设 的验证 Ideas Build Product Measure Data Learn 影响地图有一个关键点： 影响地图的需求只能看成是假设 Why（目标） Who（角色） 影响（How） Who（功能） 功能假设 影响假设 www.leangoo.com 26 从影响地图到产品Backlog www.leangoo

Example • Why • Swift for TensorFlow Magic behind • Graph Program Extraction • Linear Classification • Collaborative Filtering Why Why Swift As we know Swift has a few problems Why Swift 但对我们来说这是问题吗？ 但对我们来说这是问题吗？ 不不是。 Why Swift for Machine Learning Server-side Swift get increasing attention. 
 Swift do a better job. • High performance • Open source with active community • Productive & Safety 
 • Static type system of Swift enable the compiler knowing every Tensor operation.
 • This is why Swift is a good choice for the approach rather than Python. Reference: Swift for TensorFlow white