avatar

Life of a Programmer

`Simplicity is prerequisite for reliability.’ - EWD

To Be, or not to be

自从打开了久坐提醒后,“病灶”就从“久痔”变成了“尿频”:光站起来走一圈很是无聊,不如顺便打水 -> 打水了就会喝水 -> 水喝多了就要洗手。 趁雨天、降

Running, Again!

趁着气温合适,又重新开始跑步。 Running, again! 🔗周六下楼时很忐忑,不知道是否跑得动。最后跑了 2.28 公里,还算能接受。上次跑步是去年 12 月初,不到 600 米就放弃了。

Indoor Rowing

倒叙 🔗心心念的划船机终于到货了。夫人在咸鱼碰壁后,做了一大一小两件事情: 大事:下单买了个新的; 小事:留下一句“你们天蝎座就是腹黑”! 据我考证

What Does s.t. Mean?

看 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

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