看 atc15 论文的时候，算法描述看见一个 s.t. 符号，不明其意。后来在 stackexchange 上找到了答案: Usually, the acronym s.t. means `such that'. In the context of optimization, it means `subject to'. Also note that `such that' does *not* have the same meaning as `so that'. - Such that, describes

前几天有同事提到海恩法则，有点意思，因此多搜索了一下。本文的主要观点， 以及下面的海恩里奇金字塔，均来自 Heinrich Law and industrial safety。 William Herbert Heinrich 就职于旅游

昨天 2+12 最后一天，去了趟公司。搬了个新座位，靠窗，不在空调出风口，挺好。很久没给车加油了，#95 已经涨到了9.88 - 印象中开车十年来最贵的价格

back to fcitx 🔗最近做了很多文字工作，发现 ibus 虽然视觉好看一点，但中文输入的时候偶尔会切换输入法卡住，接着就只能输入英文了（虽然切换动画还是继续挺好看

20.04 升级到 22.04 后用了一个月出头，突然某次重启后发现无线网络死活连不上了。 Wi-Fi issue 🔗现象：NetworkManager 没有任何可用的设备，不但没有 Wi