用过 dependabot 的同学，尤其是使用着一些更新频繁的依赖的同学，一定都体验过被 dependabot 支配的恐惧。使用 GitHub 的 auto-merge 功能可以很好地解决这一问题。

类型是 TypeScript 中的基本概念，而两个类型之间是否存在子类型关系则决定了许多操作是否合法。多数类型的相关规则是非常符合直觉的，有些规则是符合逻辑而不一定符合直觉的，而少数规则则是例外。本文试图归纳一下子类型判定的基本原则，特例，以及相关操作。

蒙特卡洛树搜索（英语：Monte Carlo tree search；简称：MCTS）是一种用于某些决策过程的启发式搜索算法，最引人注目的是在游戏中的使用。一个主要例子是电脑围棋程序，它也用于其他棋盘游戏、即时电子游戏以及不确定性游戏。

反对论证不代表反对论点。

但是… $\neg (p \Rightarrow q) \Rightarrow \neg q$。难道反对论证就是反对论点？

吃完午饭走到 THU 门口，等了一会儿，坐大巴去教学楼。

本文以功利主义为指导思想，通过适当的数学建模，对一些排队过程中经常遇到的问题进行了探讨。

筷子，每二十余双由橡皮筋绑成一捆，放在“深不见底”——如果不踮起脚看的话——的箱子里，摆在食堂的窗口边；手上端着饭的学生们，排成一条长队向放着筷子的箱子走去，然后把手伸进箱内，再从一捆筷子中抽出两根。

考试中的一道遗传图谱计算题为何会引发整整一周的争论？

为何办公室中只有数学老师认为题目有问题？

为何数学老师觉得参考答案错了却算不出正确答案？

后发生的事能“影响”先发生的事的概率吗？

遗传图谱计算中的“概率”意义究竟是什么？

如果高考有这样的题，我们在考场上应该怎么做？考完了应该骂出题人吗？

一些不能单独成篇的随笔。

中午，在食堂，我目睹了一场“革命”。