这首歌叫 Wasteland，来自 NK-67 乐队。除了在网上放出的两首歌（Wasteland 和 Consistency），你找不到关于 NK-67 的任何其他消息（as of October 6, 2016）。不知道他们来自何处，不知道他们姓甚名谁，更不要说他们的故事了。他们给仅有的两首歌，每首都设计了封面，很好看。

开学两周，来钱了，感恩许多人。不幸里有万幸。

PhD student 就是学术圈最底层的生物（吃草吃土，光合作用）。

记得两三年前 1Password 的 iOS 端限免，抢到以后却并未真正使用（然而现已转为免费 + 内购模式，白抢了 TAT）。官方出了订阅版免费体验六个月的活动。这会儿终于来体验 1Password 了。转移并修改了几十个账户密码。现在个个都是独立 + 乱码。神清气爽！

1P 是一个跨平台的密码管理软件。它的哲学是这辈子只需要记住一个密码（称为 master password），剩下的密码都交给软件来记。其实想想，要求密码强可记性就必然不好。而且为了防止一处密码泄露，所有账户都沦陷，也必然需要各个密码独立。几十上百个账户，人脑怎么可能记得住。

越听越有味道。

混合整数规划（MIP）的一类基本解法是通过解它的线性松弛问题，进而逼近可行的整数最优解。令 F 为一个混合整数规划问题 MIP 的模型，LP(F) 为 F 的线性松弛后的可行域，conv(MIP)为 MIP 可行域的凸核（convex hull）。评价这个模型好不好通常需要看两点：LP(F) 有多接近 conv(MIP); LP(F) 的 size 是否足够小。

当然如果可以找到一个 F 使得 LP(F)=conv(MIP)，而且 F 的 size 是多项式级，那也太特么不可能发生在 NP-hard 问题上了。因为如果满足以上两点，解 F 只需要多项式时间，也就意味着宇宙级问题 P = NP 得到证实，人类马上就要崩坏了。（假如 P=NP，世界将会怎样？）