[2/3] 我真是有点儿受伤，Lean 形式化数学定理库的膨胀速度实在太快了，我仅仅三个月没关注（一个月忙着搞 Acrobat 插件没写 HOL 代码），结果他们就把我搞了好几年的 “独立同分布随机变量强大数定律” 给搞完了。干这事的是一个法国数学家，他采用的原始论文跟我用的是一样的。由此可见我在定理证明领域的生产力也就那么回事，我这份博后工作也没什么可骄傲的，因为同行越来越多了，而且我用的还是缺乏大厂支持的小众软件（据说 Lean 开发者是从微软拿钱的，所以这个项目才能保持同时数百个 PR 在审，每天都有大量代码合并）。从个人发展的长远来看，计算机科学太 low 了，我要想实现人生价值，要么把梵语彻底搞明白，要么就得成为数学家。

《House of Leaves》过程记录帖

开始读House of Leaves...去年就买了，但一直没有提起看纸质书的兴致。
读以前我就很喜欢它，作为怪奇小说和实验性体裁的标志性著作，不管它剧情如何，我粉丝滤镜反正是在了。
想起知乎有个问题讲文字的恐怖谷，诚以为HofL足够称得上那种感觉。

这条仅记录阅读过程中记下的东西。
不知道为什么明明是看恐怖小说却记起名言警句来了（不是）

截止到Navidson Record 章V 提到过的名著&名人

HoL 延伸阅读
- being and time Heidegger
- dante inferno
- rainer maria rilke
- war and peace
- athanasius kircher
- the figure of echo
- paradise lost
- mythomystes

#李彰善[超话]#☀️#百万微笑李彰善# ☀️
【20220814】官咖 李彰善发文

[彰善]结束！！

这次活动结束了 朋友们~
虽然对我来说是有点遗憾的活动 但是成员们还是克服了~ㅎㅎ
休息期间是更加想念苏打和成员们的时间~ 下次会为了健康帅气地活动做好准备回来的!! 太感谢了~~ㅎㅎ
中间我会经常来的！！！^^ :)
#HOL_CS#