This blog is rated  R⃣ , viewer discretion is advised

为什么会有数学家反对对无穷集合使用排中律?

因为现在 zhihu 要绑手机才能回答,所以还是写自己 blog 上吧。

对「为什么会有数学家反对对无穷集合使用排中律 」这个问题,我有一个胡思乱想的回答:

房间里的小明如果不是男生,那么他一定是女生。

其实也不一定。小明是个物品。

我觉得人类智慧的最大秘密就是 否定。否定一定要当心使用。常见的否定是限定在「同类别」的事物中。

但是由于自然语言的结构性缺陷,一些否定就成了谬论。

比如,如果你批评国家政策,就是不爱国。

喜爱的反面是憎恨?其实喜爱的反面是漠不关心。

The opposite of love is not hate but apathy。

所谓 those who are heartless, once cared too much

Posted

stdout

古人去山里找人喝酒是怎么样一种感受

最近偶然读到李白的一首诗,对于在家里憋久的我来说感觉格外超凡脱俗。必须记下来。

标题叫《山中与幽人对酌》,这首诗读完之后感觉几个字就把很多口水话很精炼的寥寥数笔就描写出来了。

两个人在山花漫烂的地方喝酒,吹了一杯一杯又一杯。
我现在喝醉了,想瞌睡了。老兄要走随意。明天如果还有意,抱乐器来high。

如果没读过这首诗的,觉得自己文字功底好的可以尝试逆向工程还原一下这首七言绝句。

原文是:

两人对酌山花开,一杯一杯复一杯。
我醉欲眠卿且去,明朝有意抱琴来。

感觉结构很巧妙的地方:

  1. 现代汉语都说 主语在什么地方做什么事。李白说我做事身边的事同时发生。特别有现场感
  2. 在我的后园,可以看见墙外有两株树,一株是枣树,还有一株也是枣树(还是很难理解里面的美妙)
  3. 我习惯说,我要做什么因为什么 这种句式。被英语从句的习惯带歪了。这句话如果 我欲 开头,就怎么也写不下这么多意思
  4. 一个「且」字就代替了太多意思。很难想到表达一种客气话一个字就搞定了。
  5. 这特么用典了。相传东晋有个摇滚青年叫渊明,不解音律,而蓄无弦电吉他一张,每酒适,辄抚弄以寄其意。

感觉惜字如金古代的作品,得静下心来才能欣赏 …

Posted

stderr

语音编程 设想

HN头条 上看到有人说用语音识别 写代码。

现在是疫情在家上班期间,感觉还是可以试试。毕竟公共办公环境搞这个不太现实,怕打扰别人用 TNT 了。也怕自己被打扰。23333

想起了 13 年前就有大神尝试用 Vista 自带的语音识别在 notepad 写 perl。。。

https://www.youtube.com/watch?v=MzJ0CytAsec

不过这篇帖子想说的不是这个 语音编程(voice assisted programming),我想说的是 可编程语音 (programmable speech)

现在市面上有很多「智障音响」比如 Alexa、小爱,手机上都可以直接说 ok boomer,但是我设想的 可编程音响 的使用场景是这样的:

  1. 离线wakup word + 离线识别 …

Posted

stdout

est 的中医观

在家办公太无聊了,加上这次卡罗拉病毒的事儿,跟家里人和群友又争执了几句中医,干脆记录一下我的观点:

  1. 中医是否有效?中医当然是有效的。但是中医无法确知哪些无效
  2. 中医的方法论和用药体系决定了无法分析「有效」成分。所以 #1 永远成立
  3. 中医因为定位上要和西医对着干,完全无法走循证医学(Evidence-based medicine)的路,只能搞八纲辨证。阴阳虚实寒热表里。这种只能对 症状(symptom),却不能很好的抓住病因(cause)。至于 symtom 和 cause 的区别,其实很多人也没搞明白,为啥 WHO 要叫 COVID-19,而 ICTV 要叫 SARS-CoV-2 分开两个名字?
    其实原始医术这样搞完全没问题,毕竟降维和 embedding 都是常见套路。但是现在对人体的研究太复杂了,比如每个细胞都有的新陈代谢的途径真的就有这么复杂:

  1. 中药的精髓是道地药材。比如2018年人民日报报道 …

Posted

stderr

后工业化时代的老师,和主播应该是同一类职业

最近新冠病毒带来的疫情,导致很多家庭被隔离在家,包括我。小孩都不能上课,一些中学、高中纷纷开始网课。

今晚微信朋友圈里传播一个截图,英语老师,网课上完之后忘记关直播了,听上去就是跟男友开始嘿咻嘿咻,结果学生的小弟弟一个一个都震惊了。

仙桃一中教学事故

话说回来,其实可能大多数人都觉得老师变身主播怪怪的,我这几天也在思考这个问题。先说我的观点结论

  • 直播才是教育的本质。
  • 教师和主播应该是同一类职业
  • 或许21世纪,正经的职业就是主播——这个观点是罗辑思维的。我比较赞同。

其实近现代学校不是一个常见的社会机构。古人猿时代,都是氏族群居,集体扶养后代。甚至小孩不能分辨自己的父亲是谁。

由于没有避孕措施,人们定居或者游牧的生活里,一般小孩根本没有受教育的机会,稍微长大就要干活,大的带小的。子承父业,家族传承,比如英语 Smith 就表示祖宗是个匠人。

就算现在的印度的种姓制度,也是跟职业挂钩的,其实就等同一个受教育范围选择器。中国就算在明朝也有军籍、贱籍的继承制。

由于子嗣众多,中世纪的贵族和上流社会,城堡领主一般会让孩子去别的城堡学习长大;中国的士大夫阶层,会有私塾,让教书先生来教育一个最有学习潜力的。其他的可能喜欢体力的,喜欢武术的,喜欢经商的 …

Posted

stderr

2019-nCov 杀伤力最大的影响在于禁锢了最主要生产力——人

本篇 blog 以我的主见为主。 我会先剥离掉主语,反推依赖,再填充这个事情影响到哪些更多的方面

先看一篇报道:《揭秘口罩断供谜局:厂商花五倍工资招人 药店不敢进货

为啥买不到口罩

口罩厂商:

  • 封城后,原材料进不去
  • 复工率不到40%,三倍工资都招不到人;
    工人都在被隔离,只能招一些附近的居民来干活,开工率不足30%-40%。”一家湖北仙桃的口罩厂商对凤凰网财经表示。
    给三倍工资,工人都不一定来。目前,我们工人工资每天不低于500元,而以前同样岗位只要100元,一些技术岗位工资甚至上千。”李东说道。“我自己也不去工厂,在家隔离。
    工人一般每天的工作15个小时以上,即使这样,产量也提不上来。
  • 生产了也运不出去
  • 最缺滤材。
    仙桃本地生产滤材的企业只有几家,平时,滤材需求并不大,企业一般存货不多
  • 为了保证口罩质量和控制价格,近期,当地政府已关停了多个民用口罩厂和不达标、生产三无产品、假口罩的厂商,多家口罩厂商还收到了处罚罚单。
    一抓重罚,一些民用口罩厂也打了“退堂鼓”,“人工、材料也贵 …

Posted

stderr

减速玻璃的原理

原来发表在 zhihu,可惜不绑手机不让发帖了。就自己写个 blog 备忘一下。

减速玻璃这个都会传说,买车前听说过,买车后也百思不得其解。今天突然想明白了。

减速玻璃靠的不是玻璃,而是靠挡风玻璃倾斜角度、中控台长度、驾驶者座位、A 柱宽度决定的。

简单的说,和 FOV 有关。

人对速度的感知,其实不是视野中心决定的,而是视野左右边缘两侧物体移动速度决定的。

25° FOV 视野:

45°视野

90°视野

不同视野角度的对比:

所以市面上为什么你们觉得捷达就没有减速玻璃?因为挡风玻璃比较垂直,驾驶者很容易看到车头,开车位置考前,在 A 柱范围内,更容易看到更开阔的路面。然后你的视觉感受就是车速很快

为什么好一点的车子觉得安装了「减速玻璃」?因为中控台厚,玻璃比较倾斜,看不到车头,A 柱粗。你们的视野受限,就觉得视野两侧物体运动慢 …

Posted

stdout

Year review of 2019

(Note: This article is written with the help of Engkoo from Microsoft, an English writing review service much like Grammar.ly)

The year 2019 is coming to an end, this is a year full of ups and downs for me.

I started a small Internet company last year spring as …

Posted

stderr

出纳会计 和 华为 HR

最近码农圈(juan)和 IT 界沸沸扬扬一个帖子是《华为HR胡玲于 2019.10.30 在华为内部论坛心声社区的发帖》。其大概意思是:

  1. 一个基层HR 胡玲 平时辛苦统计员工反馈,却被中层管理HR绩效打了差评,用来私密反馈情况的内部群,甚至被中层管理要求交出员工名单。
  2. 中层HR甚至说"应该看看反馈问题的人是谁,天天有时间在这琢磨班车食堂的,清退算了"。——这是华为中层管理 杨瑞锋 的「原话」
  3. 中层管理 杨瑞锋 说,"BCM项目都结项了,加班数据早降下来了"。实际上通过数据分析最近加班更加严重,升高得更多
  4. 中层管理最大的业绩就是紧急处理员工自杀、猝死这种突发事件。平时吃香喝辣上班时间全国到处飞围着领导转HR转就是不围着员工转

当然这个事在各个群里被讨论烂了。大概讨论分2个思路:

  1. 世道不公,程序员青春饭吃苦,996.icu 。。。马云的福报论等等
  2. HR 本来就应该是大老板的打手。

甚至 zhihu 有回答把这个比喻成明朝司礼监。。什么 HR 是帮皇上挡子弹 …

Posted

stderr

一些重要问题的答案 Important Why's

发现 blog 越来越喜欢记录一些哲学问题。。。

记录一些重要问题的答案,有些是自己想出来的,有些是网上抄别人的,有些是被别人启发自己补充一些的。这里面有些是对的,有些可能是错的。欢迎读者反馈。

Q: 什么是存在 What is Being (Dasein)?
A: 存在的最根本属性是稳定性。
古希腊有个悖论说一艘船叫 忒修斯(ship of Theseus),船上的木头因为损坏和腐烂被一块一块随着时间逐渐替换,如果有一天所有的木头都不是出厂的原装的木头,那这艘船还是原来的那艘船吗?

所以这里的存在分两个层面的稳定。从船的用途来说,忒修斯号因为设计没变,用途一致,所以忒修斯号依然存在;从忒修斯原装价值来说,因为木头都被换过一轮了,所以追求「原汁原味」的价值已经不存在了。这艘船至少还在「设计用途」这个层面保持了稳定,所以这艘船还有一定的存在意义。如果这艘船的木头被拆下来烧掉了,空气中的 Co2 和 地上一堆灰没有人会认为这是一艘船。

如果一个物体不停的变化,变化周期甚至小于普朗克时间长度,那么这样的东西压根无法观察,也无法影响我们的生活,所以就不存在 …

Posted

stdout

Fix Paladins stuck at Completing Login

Paladins is one of the F2P games on Steam. It's called 枪火游侠 in Chinese market with Tencent as its Partner operator.

To play it on Steam:

  1. Add any game to cart
  2. Modify region to US on the checkout page
  3. Type the following script into browser's DevTool
    jQuery.post('//store.steampowered …

Posted

stdout

公司文化的三种类型

最近播音737两次空难闹得全球沸沸扬扬,中国民航局敢为天下先直接停飞,FAA 最后也只能跟进然后全球停飞,风暴的中心就是波音公司。看到一篇报道,波音的一位工程师、资深工会Stan Sorscher,也是 SPEEA 的一位行业代表 (the Society for Professional Engineering Employees in Aerospace),画了一张有意思的图:

波音公司是由工程师创立的具有工匠气质的尖端科技公司。这里插一个题外话,波音之父其实是一个中国人 王助(Wong Tsu)

波音在90年代初,收到日本制造的冲击,拥抱了「质量」为重的团队文化模式,强调基层参与,流程改进和效率提升。但是90年代末期,波音公司文化再次改变,拥抱砍成本和给股东创造利润。这里看到787真是吓得一身汗啊。要知道你坐的梦想飞机每一个零部件都是由最低价中标商供应的。

为了方便你们抄袭这篇博客文章,我翻译成中文了。转载请按照传统做成jpeg截图,尽量造成读者复制不便。

工程师为导向 团队为导向 砍成本为导向
商业目标 创新,性能 产出 …

Posted

stdout

Open Source projects Chinese companies and individuals contributed to

Chinese companies have very little presence online and many people may believe that Chinese are reluctant to engage in open source projects.

Last year, @filmaj used the GitHub REST API to pull public profile information from all 2,060,011 GitHub users who were active in 2017 (10+ commits to …

Posted

stdout

认知和表达

在 zhihu 上关注了一个康巴人,他写的一些科普知识比较有趣(真的有趣,而不是有用)。比如这篇 为什么有些故事中的恶魔和鬼怪害怕暴露自己的姓名?

首先,藏区的鬼神都拥有所谓的命根子,也就是敌人可以将其制伏的弱点之一,也是藏传佛教祖师中最常见的降伏手段之一。
那么什么是命根子呢?命根子其实就是鬼神的几样珍贵的法宝,如果交出了其中的任何一个,也就可以制其为死地。
命根子有几种呢?一般据我所知,有四种:
1. 名字
2. 种子字
3. 咒语
4. 宝贝
关于名字,比较有意思,有些鬼神在与高僧的斗法中,会变幻自己的模样,甚至假报自己的姓名与身份,但是高僧们一定能看出其中的秘密。...... 例子就是《西游记》,“我喊你一声,你敢答应吗?”妖怪拿着宝瓶对孙悟空说道,“孙悟空!”,“爷爷在这儿呐!”,孙悟空就被吸入宝瓶之中。
所以可以这样解释,一定要知道鬼神的真实姓名后才可以降伏他。

有的读者可能在这里会想,est 你又在怪力乱神了。且慢,有一句话叫什么来着,人类的恐惧归根结底来自于无知。所以如果从 …

Posted

stderr

焦虑是唯一真实的情感

The only emotion that doesn't deceive is anxiety. All other emotions are fake

By Slavoj Žižek,齐泽克,唯物主义者

via

Posted

stdin

Ubuntu Server 为什么这么成功?Wardley 地图

https://www.thoughtworks.com/cn/radar 看到的一个新概念,Wardley mapping

其实也不新了,2014年就出来了。见:

Simon Wardley OSCON 2014 Keynote: "Introduction to Value Chain Mapping"

如果你觉得各种软件工程 和 商业 diagram 很无聊,其实这视频前半部分也是讲为什么他们很无聊。

但是后面就有趣了。作者 Wardley 发明了一个新的东西:

  • 横坐标分为:Genesis, Custom built, Product, Commodity, Utillity, Evolution
  • 纵坐标讲 Value-chain。从 visible 到 invisible

其实很多 IT 或者互联网从业者 …

Posted

stdout

财富分配服从于幂律分布

大量的研究显示,各个国家的财富分配服从于幂律分布。幂律分布能导出著名的二八法则:20%的人掌握了80%的财富。

幂律分布还有一个很有趣的性质:它具有自相似性(是不是想到了神奇的分形?)。假如说你是一个点,你不管站在这个分布曲线的哪个位置,都无法通过向前看或者向后看来判断出你所在的坐标。直白地说,穷人遇到的困境与富人遇到的困境是一样的(当然这里所说的困境是指因财富间比较而引起的困境)。在理想情况下,假如你是个穷人,那么总有比你更穷的;假如你是个富人,那么总有比你更富的。

经过计算得出基尼系数为 1/2 。这在国际通用标准中已经几乎到了“收入悬殊”的地步!一个看似十分公平的分配方式,竟然会导致悬殊的财富分配,不得不说这是一个反直觉的数学结论。

不过这个结论可能并非那么反直觉。哪怕所有人的财富分布都严格服从均匀分布,最后计算的基尼系数也会到达 1/3(这个例子不是那么准确,因为均匀分布不代表所有人的财富是均匀的,均匀分布只是表示每个财富值的概率都是相等的;事实上,如果财富分配绝对均匀,那么财富的分布应该是退化分布,对应地,退化分布的基尼系数为0)。这是因为即使是均匀分布也会有不小的方差存在,而方差会使得大家的收入分配不均。

via

相关话题:

房间内 100 个人,每人有 …

Posted

stdin

群众治理和民科

在 zhihu 上看到一个巨糟糕的问题:《反对民科是不是反对民主?

有个回答眼前一亮:

姜源 法学、法律 话题的优秀回答者
这个问题并没有看上去那么糟糕,实际上这是个极其经典而且不那么容易回答的问题。
最早提出这个问题的人是柏拉图。柏拉图的问题是:既然我们在医学领域依赖拥有专业知识技术的权威也就是医生,在航海领域依赖拥有专业知识技术的权威也就是船长(所以有个冷笑话说,“大海航行靠舵手”最早由柏拉图提出),那么为什么在政治领域却拒绝权威,反而依赖缺乏专业知识技术的大众?当然,柏拉图的问题和我们现在的问题恰好相反。在柏拉图心目中,自然科学领域(尽管当时不存在这个概念)相信权威是显而易见的,而在政治领域相信民主却是可疑的。

我的想法:

自然科学,对于绝大多数智人来说,是身外之物。无论对于个体和群体,面对自然的利益关系的是一致的。君王拿氧化还原反应来打仗,农民拿氧化还原来吃土。建立一个直观统一的理性方法论,这就是科学。

而社会和人类学其实要解决的根本问题就是个体和群体之间的价值冲突。社会分工导致一部分人肯定要依附他人才能生存的。从这个角度出发,「群众治理」是一种妥协的艺术。不是科学。

Posted

stderr