SOSP'24 - 第零天

占个位，写另一篇先。

一天过去，我坐在主会场，已经记不得什么了。简直是黑瞎子掰苞米。

上午听了一个挺喜欢的主题演讲。在此之前我并不相信杂牌方案能打得过（例如N厂的）整包方案，所以人工智能硬件架构这块已经没什么散兵游勇的研究价值了。这个演讲介绍的工作重新给了我一些信息。

下午的主题演讲就比较糟糕了。大语言模型辅助找bug。

一天中前一半主要呆在HotInfra后一半先听了一点KISV后给自己的小讲三分钟做准备。总体上来说KISV的工作听起来靠谱一些，以至于下午先在HotIfra呆了一会都让我感觉选错了。也许是内核的入门门槛导致的，也许只是workshop之间的差异。

---

上午的间隙去看了看tutorial。Verus那边人头攒动，Blueprint（好像是个微服务框架）冷冷清清，令人感慨。

---

自己讲的还行吧。话基本都说清楚了。自己觉得样子有点傻傻的看到返图感觉还可以。差不多发挥出了预期的八成。属于是符合预期。

这两句话听起来有点矛盾，然而完全不。

---

晚上是一个长达两小时的社交局。前面忘了中间忘了，后面逮住Verus作者聊了一些。

为什么选择Rust

一开始是用Dafny开发一个大型项目，发现内存管理很难证明，于是仿照Rust内存类型系统做了一套证明理论体系。

尝到甜头以后就决定基于Rust优良的基础设计，来给它增加可验证的能力了。

今后会支持哪些Rust特性

基于社区的需求。特别地，异步语法是很可能会支持的。

为啥14个作者11个单位

(介绍了一通团队和开发历史。)总之，people move around。

---

应该还干了一些啥，记不得了。先就这样吧。