billccn

问题就来了，如果编程工具实现了自举，那每个客户订阅一个月自己写一个后面就不用再订阅了（至少可以直接接入最便宜的 AI API ），那这些做工具的就无法赚钱了。

就像我那天构思了个部分利用 AI 的代码优化系统，但转念一想它最有可能的作用是把我的部门搞失业，遂作罢。

同情楼主，但我觉得楼主把因果搞反了，据我的观察，大公司软件质量的堕落是面向 KPI 编程的结果。这个文化的初衷是好的，就是用科学和客观的方法评价工作，尽量避免人评价人容易产生的偏见，这恰恰是西方理想主义的思维，不是印度实用主义。

程序员的工作就是在既定的规则中游走和优化，无所谓是编程语言的规则还是评级系统的规则，而且这些大公司招的都是人精。真正花很多心思写良好的代码然后彻底测试的，多少是要靠情怀，对提升 KPI 帮助有限。我在西方工作很多年，接触到十几个国家的人，我觉得欧洲白人是最情怀的，印度人确实最功利，中国韩国人等差不多在中间（但是抱怨少，所以经常被用来成全别人的情怀）。

恶心的是这些公司的管理层多少清楚这一点，但他们自身也有非常明确的 KPI ，比如股价，这些和代码质量不是很挂钩，但是非常受功能数量和市场营销的影响，所以形成了这个局面。

@NoOneNoBody App 内自动更新的其实是个很不安全的设计，经常有 app 不用 HTTPS 也不验证包签名，下载完了就安装，你还得给各种 App 安装权限，下次后台安装个广告甚至病毒也没法知道，我父母手机就经常出现什么读小说软件安装了个浏览器，浏览器安装了个应用市场，如此往复。因此 Play 商店不允许 app 内置更新。

另外自从拼夕夕事件以后，凡是 Google play 不能上架的 app 我都换 iPhone 装或者模拟器，不会在主力机安装 APK ，因为利用漏洞攻击系统还不全网下架实给开了很不好的先例。

视频中说这个工作所涉及的范畴和已经远远超过了用类型实现的图灵机的复杂度。

这个人学了好几个语言来把 Doom 编译成 WASM ，然后再写一个虚拟机/模拟器在类型系统上运行 WASM ，我想图形输出（以 Ascii Art 形式）肯定也是手搓的。

另外 177TB 的类型文件直接用官方 tsc 去编译的话那估计直接崩溃了，所以这个 tsc 肯定也是优化过。

微软既然已经在 Win11 中加入深色模式的选项，那不可能不考虑按照时间自动切换这种基本功能。我猜测没有实现这个功能可能有：

1. 付费用户的大头企业客户觉得这个功能不重要甚至排斥，毕竟大多数人是白天上班。大多数企业电脑也有域控，可能时区和定位服务都是集中管理，如果自动切换可能会出现在错误时间切换，比如公司老板带着电脑去外国谈生意，讲到一半屏幕变成黑暗模式，然后老板的脸色就跟着黑了。

2. 适配的软件太少或者效果太差。刚开始有深色 IDE 的时候大家都知道切换到白色背景浏览器那个瞬间简直亮瞎眼，即使到现在很多 Windows 软件也没有适配黑暗模式的 API 。

@x009ba1 这是因为`Start-Service`是个 powershell 功能，sudo 后面的命令是传递给系统执行不是 powershell ，你可以试试`sudo powershell -command "Start-Service -Name postgresql"`，或者直接用系统命令`sudo net start postgresql`