@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 灯盘 还是很有成就感的。新时代换灯泡。

@geelaw 我不会写 go 啊。但是按你的说法如果我已经把一个变量传进一个闭包了，为啥复用这个变量的内存位置没问题啊？

@geelaw
1. 如果有人写了一个叫 getProcessStatus 的带副作用的函数，你可以打他。
2. 如果有人写了两个相等的叫 complete 和 close 的常量，你可以打他。
3. 如果有人用 xs.anyMatch(x -> true)判断 xs 是否为空，你可以打他。

@nzynzynzy 美国鸟不拉屎汽油不要钱，欧洲羊肠小道，日韩没地停车，能验证出啥啊。

@hccsoul 别说了 太恐怖了

@poseidOn7246 这大概已经消化完了吧。

我 2 月份开始跑步，开始的时候可能 bmi 比你低一些也差不多。同样建议不要患得患失，跑姿热身呼吸啥的都不重要，坚持跑下去最重要。岔气不知道是不是跑前吃东西没消化。岔气一般问题不大，咬牙坚持就可以。没事可以上 b 站看看黑影儿 TV 打打鸡血吃吃定心丸。跑就完了。

司法权是指特定的国家机关通过开展依其法定职权和一定程序，由审判的形式将相关法律适用于具体案件的专门化活动而享有的权力。

其它很多句子原本也无非是俗谚而已，难说是名言，也难说本源是啥，有多少是后人附会。

随便搜了一条。第 3 句语出论语，但是《老子》说“为无为，事无事，味无味。**大小多少，报怨以德**。图难于其易，为大于其细；天下难事，必作于易，天下大事，必作于细。是以圣人终不为大，故能成其大。夫轻诺必寡信，多易必多难。是以圣人犹难之，故终无难矣。” 看来也无非是古人汴京而已，尽信书不如无书。