@zhangkai1024 这就更像推广了～～

@Baymaxbowen 这种应该是老师会帮你搞毕业证的。是真的不想让你浪费时间/影响别的同学。

@kenshinhu 那么是否需要大容量呢？如果它低成本大容量长期保存，那么它岂不是成了六边形战士了？那就不是想不想有而是能不能有的问题了。

snipaste

@celaraze 你提到的东西里有多少是硬件决定的、多少是软件决定的呀

hdr 没问题，屏幕亮度关暗一点会比较明显

对应“非标准”是线性变换 T 在某组基下的矩阵。

@0x1247c15 美其名曰

潮汕火锅，沾酱油芹菜末即可。

@CivAx chrome 某次更新之后的功能吧。选中文字右键菜单。

v2ex 允许 ai 回复了？
https://www.v2ex.com/about#:~:text=%E2%80%A2%20%E8%AF%B7%E4%B8%8D%E8%A6%81%E6%8A%8A%20AI%20%E7%94%9F%E6%88%90%E7%9A%84%E5%86%85%E5%AE%B9%E5%8F%91%E9%80%81%E5%88%B0%E8%BF%99%E9%87%8C

@huzhikuizainali 有的人把随机向量的协方差矩阵也叫它的方差[1]。具体的书推荐不出来了...

[1] 维基 Covariance_matrix

为方便，假设随机向量 x 满足 Ex=0 。此时，Var(x)=E(xx')。对于任意的向量或者矩阵 c ，由于 E(c'x)=c'Ex=0 ，所以有 Var(c'x) = E(c'xx'c)。再根据 E 的线性性，E(c'xx'c)=c'E(xx')c=c'Var(x)c 。

之所以把 Var(x)定义成 E((x-Ex)(x-Ex)')（而不是像 E((x-Ex)'(x-Ex))之类的东西）是因为 E((x-Ex)(x-Ex)')中包含了随机向量 x 的所有二阶信息。

你截图中不就是二维情形下的严格证明吗？

@geelaw 我大概明白了，你之前说“不能推断任何事情”是说“编译器不能推断任何事情”吗？这样的话，针对你的三个点，编译器可以知道 complete 和 close 相不相等；有可能是提醒“x.getProcessStatus() != complete || x.getProcessStatus() != close”恒为真因此跟 scopes 是否非空没关系；倒是认为两次 getProcessStatus()结果一样确实比较武断。但这里输出的应该是个 info 啊 note 之类的，所以可能宁滥勿缺？我也不知道是啥语言。

@geelaw 是在聊形式逻辑，可是不添加足够多的前提假设怎么聊形式逻辑呀。比如要讨论“去买一斤橘子，如果有西瓜就买一个”这句话的逻辑，当然要首先靠常识（“编程最佳实践”）把这个不严密的说法改写成（相对）严密的说法（去买一斤橘子；如果有西瓜就买一个西瓜），来显露出形式逻辑，然后把重点放到逻辑上，而不是宣称这句话可能有两种不同的理解方式啊。

我想你也知道 lz 只不过是突然发现「天不是甲或天不是乙」恒为真这件事，你当然可以认为这件事是初等的、没啥可讨论的，但是也没必要把讨论拉到 lz 在这个帖子中并不关注的另一部分。这对于其他人理解 lz 的重点没啥好处。

@geelaw 嗷嗷 确实 那没毛病

上次自己换 led 灯盘 还是很有成就感的。新时代换灯泡。