Life of a Programmer
`Simplicity is prerequisite for reliability.’ - EWD
驱车300 公里落地检,手表提醒了一次心跳过速。好不容易进了停车场,却进不去住院部的大楼。因此,除了打电话,我没能和父母见上一面。
自从打开了久坐提醒后,“病灶”就从“久痔”变成了“尿频”:光站起来走一圈很是无聊,不如顺便打水 -> 打水了就会喝水 -> 水喝多了就要洗手。 趁雨天、降
趁着气温合适,又重新开始跑步。 Running, again! 🔗周六下楼时很忐忑,不知道是否跑得动。最后跑了 2.28 公里,还算能接受。上次跑步是去年 12 月初,不到 600 米就放弃了。
倒叙 🔗心心念的划船机终于到货了。夫人在咸鱼碰壁后,做了一大一小两件事情: 大事:下单买了个新的; 小事:留下一句“你们天蝎座就是腹黑”! 据我考证
看 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