本月我关于持久内存鲁棒性验证的文章被ASPLOS25接收。从开始转到这个方向算起快两年了，在这方面说实在还是不能算是专家。一方面来说，持久化设备跟传统存储和DRAM都有不小的差别，但是只要了解弱内存模型其语义理解起来不算特别困难；但是实际应用上，自从英特尔的傲腾产品线宣告失败之后，似乎也没有太多的应用场景了。目前所见可能在嵌入式系统里的前景更高一些。
后面应该会继续进行这方面的科研工作，但可能重点就放在活性属性，而不是功能正确性上了。
旧闻
- 京东因请杨笠为代言而陷入舆论危机，金融部门疑似被挤兑。
- 星链第五次试飞，成功完成第一级火箭的回收。
- Linux移除俄罗斯维护者：Linus Torvalds Comments On The Russian Linux Maintainers Being Delisted - Phoronix
看到这个新闻的时候真的是五味杂陈。我这个ID有一半就是从Linus那儿来的，十年前我上初中，对编程一窍不通的时候，自由软件运动给了我极大的震撼。从那时起折腾Linux，读《大教堂与集市》，直到后来正式学习计算机科学。可能除了RMS，Linus是开源界最多人的偶像了，但这一出戏很难不让人对他也竖起中指，说出那句著名的FU。
其实心里也很清楚，他也就是一个喜欢骂人的程序员，很多光环大概只是人们造神强加上去的。所谓的开源精神本就很抽象，现在大概也是祛魅的时候了。不禁想起刚听摇滚那会儿，大家都高喊着摇滚精神，但到最后发现这根本就是个伪命题。
作为主持人……
我在果园的网团专区在上个月底就已经申请下来了，里面东西还不多。主要是房规，私设等目前还没有精力去系统整理。
这个月除了在国庆节期间在清华桌游社里开了个面团（暗无天日）以外，主要是在带《鸦后之谜》这个中短模组。经过这几个团，我带团的经验还算是积累了一点点，但是一些东西还是需要上手试试才知道。我估计会把这个团扩展成长战役，后续加入一些经典地城和第三方长模组的内容。
