avatar

Life of a Programmer

`Simplicity is prerequisite for reliability.’ - EWD

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 就职于旅游

Father and Son (12)

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