最卷的还是乒乓球。

公司球痴们期待已久的乒羽比赛今天正式开打。

本着早领盒饭的态度，打的还算放松，因为赛前分组就已经知道一轮游的结局。

毕竟一号种子选手阎总，寥寥数几次的接触，就没怎么赢得几分。

意外的是我们团队眼里的菜鸡选手晋级8强，哈哈哈。再次感叹分组抽签的运气多么重要。

不幸的是部门No.1曾老师8进4遭遇老阎，吞下2:0惨败。可惜。前三的实力倒在8进4。

有的选手明明实力可以赢对手，却莫名其妙输了比赛，真的跟心态有很大关系～

最后，三个老油条（褒义词）夺得前三。

解决问题办法：

一、系统偏好设置 -> 安全性与隐私 -> 通用 -> 选择“任何来源”

  1、显示"任何来源"选项在控制台中执行：

    sudo spctl --master-disable

   2、不显示"任何来源"选项在控制台中执行：

    sudo spctl --master-enable

二、如果选择了任何来源还是提示文件已损坏，命令行输入

sudo xattr -r -d com.apple.quarantine 

例如：

sudo xattr -r -d com.apple.quarantine  /Applications/WebStorm.app

如果不知道具体路径，可以打开应用程序窗口，然后拖拽软件的图片到命令行 就可以了

自洽（self-consistent）简单地说就是按照自身的逻辑推演的话，自己可以证明自己至少不是矛盾或者错误的，这就是简单的自洽性。科学研究本身就是遵循自洽性的，建立于客观基础上，反之则建立于主观之上，最终归属不可证伪与证明，一个不能够满足自洽性的理论或者方法显然是不攻自破的。

例子

在狭义相对论中，假定K'系相对于K系以速度V运动，则K系相对于K'系的速度为-V。为什么一定是-V呢？直观上当然如此，相对性原则的假设只是说物理定律的平权，并未假定相对速度的大小相等。不过，当后面推出速度变换公式来的时候，值确实是-V，就像经典力学中伽利略变换公式得出的-V一样。它们都是自洽的。自洽性会加强我们对理论的信心，然后等着实验来验证。

逻辑自洽

简单地说就是按照自身的逻辑推演的话，自己可以证明自己本身至少不是矛盾或者错误的，这就是简单的自洽性。科学研究本身就是遵循自洽性的，建立于客观基础上，反之则建立于主观之上，最终归属不可证伪与证明，一个不能够满足自洽性的理论或者方法显然是不攻自破的。

软件自洽

所谓自洽："某个理论体系或者数学模型的内在逻辑一致，不含悖论"。

转移到计算机软件，我对它的定义为“一个计算机软件，在各个模块，各个函数，各个功能之间对相同问题，没有不同的看法”。比如我们的软件中包含了供应商，和主要供应商，如果在采购时允许用户对同一个商品有多个供应商，可是在查询的时候，却仅仅为用户提供“按主要供应商查询的功能”，即是一个不自洽。软件自洽和需求无关，没有任何需求的情况下，一样可以检查系统的自洽性。自洽性是测试的一个基本工具。今天的软件自洽，但是随着新的需求的引入，一定会打破原来的自洽，引入新一轮的自洽过程，从而进入新一级的自洽。

A股六连阳，龙头股依然强势，群众的呼声是，赶紧先来根阴线吧。彼岸的懂王也开始做最后的挣扎，支持者包围国会。好像这一幕幕都似曾相识，也会变成历史。

今天苏州发布了户籍新政，租房也可以落户！长三角社保居住年限互认。早前无锡也放开落户门槛。

有人吐槽，苏州房价自上海投资客抛售下跌才几个月，政府就急不可耐要救市。殊不知，苏州去年来人口净流入才3万不到。

而江苏省的人口老龄化达到23.32%（全国18.1%）。如果不引进新鲜血液，长远来看，对经济将会是很大伤害。

以后很有可能出现的局面是，超大城市抢人才，大城市抢人，小城市没人。

新能源汽车板块走强，板块内312只上涨，10只平盘，74只下跌，星云股份、隆基机械、豫能控股分别涨19.99%、10.07%、10.07%。