17 楼终结此贴。
这应该是高中竞赛题目吧。第一眼看上去很简单，真要严格证明似乎只能用反证法。
@superrichman 从中点 D 做垂线 ED --> EBC 是等腰三角形 --> EBC = alpha

@vantis AD=1/2 BC ???

rar... 敬而远之。
楼主思路有点问题。版本管理的用户和 rar 用户基本没有交集。google 出来 rar 更多说明不了什么。

用降噪耳塞。安耳悠和 quies 我都用过，效果非常好。戴几天就习惯了。

windows 自带的备份还原非常不可靠。一旦更新失败，十有八九恢复不了。
强烈推荐傲梅备份，https://www.ubackup.com/
我已经用了十多年了，每天开机后自动备份整个系统到外置硬盘中，后台进行，完全不影响正常工作，感觉不到性能损失，比苹果的 time machine 更可靠，更快速。
支持增量备份，所以每次备份也就几分钟的时间。
至于有些人声称不需要备份的，要么对 windows 过于信任，要么对自己工作和时间的价值缺乏自信。

eset nod32，三年才 100 多块。

读万卷书不如行万里路，更别提几篇公众号的文章了。
顶楼的诸位还是不要这么狭隘的好。

对有的人来说，友情和爱情都在那里。
对有的人来说，这只是一种和爱国主义一样的廉价的认同。
我比较实用主义，对母校的情结大概就在于 2012 年以前教育网 ipv6 翻墙的日子吧。

interesting

他的要求合理，公司的顾虑也合理。所以明说就好了，他自己会判断的。

看企业的积淀。大的化工外企，希望招进来的人能干一辈子，不会有这种制度。
互联网企业，基层程序员就是个体力岗位，自然是变着法儿的把不够年轻奋斗值不足的人扫地出门。反正没工会，没劳动法。

用云服务做科学计算，这不是很正常的吗。aws，阿里云都有专门的科学计算实例，性能大概有同配置物理机的 80%。

这就叫做 jian 。

24 楼正解。我以前也老是弄混 slash 和 backslash，自从正经背过单词之后就很好理解了。

没有。我在逐步放弃 Google 的各种服务，甚至 GMail，但只有 Google Photo 根本没有可替代的。

@faustina2018 他应该是看到个吃字把你当 27 楼了。。。

@zhouhaodong SB