Recent Posts

开始读《异见时刻》

4 minute read

打算开始读《异见时刻:“声名狼藉” 的金斯伯格大法官》。这是一本前美国最高法院大法官 Ruth Bader Ginsburg (RBG) 的传记。RBG 是美国最高法院第二位女性大法官。最开始听说 RBG 是在詹青云做客鲁豫的一集播客中(岩中花述 S5E1,03/12/2024)。当时好像正好是在 DC 市里面逛...

中美文化差异

12 minute read

最近看了不少中国哲学的书和视频,想来结合我的经历说一下我浅薄的理解。我主要看的是复旦的王德峰老师的视频。最开始看王德峰老师是从他的 “中西方文化差异的渊源” 入坑的,然后又陆续看了马克思哲学、阳明心学、艺术哲学等等课程,感觉非常长脑子。他有很多片段在 B 站上都很火,特别是讲金刚经三句义的那一段。有兴趣的可以去搜...

关于基于表达式的编程语言的一些思考

3 minute read

最近学 Go 语言又想起之前看过的一个 talk,presenter 说他几乎不用 else 关键字。因为一般情况下,if 语句的其中一个 branch 会比较短(比如处理特殊情况),这样可以在这个 branch 结束后直接从函数返回,后续的代码就不需要进行缩进了,如 func fact(n int) int {...

使用 bwrap 隔离 WPS Office

2 minute read

看到依云在 博客 中提到了非特权沙盒工具 bwrap。博客的结尾提到可以用它来跑一些不太干净的软件,便来配置一下 WPS Office。

从零开始的 λ 演算

15 minute read

这是我在看完 PyCon 2019 演讲「Lambda Calculus from the Ground Up」之后做的一个文字版,原视频在 https://youtu.be/pkCLMl0e_0k。另见官网中的 介绍,这里提供一个翻译。