Rust China Tour x TUNA Meetup - 补充通知

TUNA 将于 3 月 29 日（第六周周六）晚上与 Rust China Tour 合办一次沙龙活动，活动地点在清华校园附近。本次沙龙的主题为编程语言，我们邀请到了讲者分享在产界学界编程语言技术和编译器技术的前沿发展，包括不同领域的实践经验、编程语言标准的演化及编程语言理论的前沿研究。

请有计划线下参与的小伙伴们填写此问卷，以便我们估计活动人数：

https://forms.gle/CaMMtoN4dc9awyC17

有意愿线下参与的同学们请填写下方问卷提前点餐：

https://forms.gle/tBaQZTk94hzdmxAJ6

以上两个问卷将于活动当日中午关闭。

• 活动地点: 等同 Timeless 咖啡（中关村东路16号院龙湖唐宁ONE2号楼A座101室）地下一层
• 活动时间：2025 年 3 月 29 日（校历第六周周六） 19:00 - 21:00
• 线上参与渠道：
  • 腾讯会议：786-135-647，密码 250329
  • YouTube 直播: https://youtube.com/live/l-lfbvEOxlI

由于活动地点在校外，所以本次校外同学参加无须入校预约，直接填写本问卷即可。

本次活动的场地由 Rust China Tour 赞助，欢迎校内外的小朋友们一起来玩！

日程

Refinement Types, Beyond SMT Solving by @Paul_Zhu

以 LiquidHaskell 为代表的 refinement types 可用于证明程序的功能正确性：用户提供类型，后端的SMT solver 求解。但是 SMT solver 不是万能的，对于全称量词这类不可判定的问题它会报告 unknown/incomplete，对于位向量、正则表达式等复杂度高的问题它会超时。但这些问题有时候存在非常直观且简单的解决方法。本次 talk 将讨论如何把这些启发式的方法和人类的智慧与 SMT 相结合，从而解决更多实际的问题。

讲者信息：朱俸民/Paul，目前在德国CISPA亥姆霍兹信息安全研究院读博。研究兴趣为用程序语言和形式化方法研究软件中的实际问题。拥有多年 Scala 和 LaTeX 经验。平时喜欢 cocktail, craftbeer 和 speciality coffee。

Unity/C# 中游戏逻辑的性能问题及解决方案 by @l1zog

以 unity 引擎和 c# 为例，简单聊聊在电子游戏开发中我们关心的性能问题和解决方法

讲者信息：何知闲，杭州某初创游戏团队技术策划。虽然本职工作是策划，但是意外了解了很多技术问题。

New stuffs in Trait by @CircuitCoder

在 Rust 2024 刚刚发版之际，聊一聊 Rust trait type system 中整的新活。

讲者信息：刘晓义/喵喵，目前在清华读研究生，本职工作写前端，喜欢吃甜食。

Modern C++ by @lancern

C++ 是一门古老的编程语言，拥有丰富的语言特性，支持几乎所有编程范式。然而，复杂晦涩的语言机制，堆砌了近 40 年的屎山遗留问题，叠加若干优秀的年轻编程语言的冲击，使得 C++ 正在丧失对开发者的吸引力。自 C++11 以来，标准委员会正在持续试图现代化这一门经典编程语言。作为一个日常大量使用 C++ 的业余 clang 开发者以及 WG21 吃瓜群众，本次分享 Lancern 将试图介绍 C++ 最近几年的发展情况以及若干现代化的新特性，看看标准委员会又整了些什么活。

讲者信息：牟思睿/Lancern/musf，目前在一家量化做数据分析平台开发，因机缘在业余时间给clang写了一些patch。