“type infer的有一个分步骤一般是unification。
bidirectional parsing是unify，general的parsing只是模式匹配。
还有你可以不可以滚？”

“你不会去试图深入，去总结，不会尝试把一个孤立的东西用更宏大的框架的表达。你hype你的设计，认为他新颖，认为好用，不会去思考前为何人们面对相同的问题做了不同的选择，不待见学术意义上的成果。
你为工程界人数上压制学术界窃喜，你为自己不听不问闭门造车而骄傲，你并不尊敬那些穿越千山万水仍困顿在前沿问题的研究者，你希望用你那些不成熟的，还未从火热的激情化为冷酷真理的认知，去荼毒初探编程世界，满是白纸，可能对你大声称赞的新手，你是这样一个人。
你在技术上没有责任心，你在parsing技术上也没有天分。至于你誓死捍卫我们说话的权利，这得等到你比我们在任何领域有更大的话语权。”

我感觉这些人的眼里似乎没有自己的领域，没有对领域里其他人的热心，意识不到没有新人 会少许多可能

有些事纯粹的精英主义有些不是，但都对简单的东西不感兴趣

或许他们喜欢自己的学科，但他们也只是重视，甚至说只能看见哪一个侧面
学术和正常工程中的鸿沟只会越来越大

@ScienceYuan 什么是first order logic

你问本民科我怎么知道

你以前总是谓语逻辑不离口

记错人了

算是我的一点 banned 感言。
呵呵，我哪有那么喜欢敷衍，偏偏我的每句话都在降低自己的高度和每字的信息量

只是显得自己愈发傻气，我为什么要不开心呢……

那皮亚诺公理那个总该是你吧

知道/提过这个的人不是很多吗

我寻思但看着话，如果说给民科听没毛病啊

你是怎么进入这个（我猜）审核严格的裙的

verb 或者啥连接词（且/或）回会是谓语……

你是怎么说服自己留在这里的，这里总是有让你不开心的我

草

这就走

玩笑而已……

谁的错，我？他们？
我太傻逼了？他们对傻逼的兼容性太差了？

如果这话是说给你听的，从你上次和任桑对线来看

说的并不是毫无道理

因人废言，直到对一个用户人身攻击

我反正还是那样