问题就来了，如果编程工具实现了自举，那每个客户订阅一个月自己写一个后面就不用再订阅了（至少可以直接接入最便宜的 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`

电源选项里面自定义一下试试？

https://learn.microsoft.com/zh-cn/windows-hardware/customize/power-settings/static-configuration-options-for-heterogeneous-power-scheduling

快告诉我是什么型号，我正好需要这个“功能”。

NTLM 关掉无法登陆是因为强制 Network level authentication(NLA)还开着，但是你的服务器只有 NTLM 一种身份验证方式。你把 NLA 不再强制就可以用 RDP 交互登陆，不再需要 NTLM ，还可以把 SMB 和 RPC 相关的端口关掉。

交互登陆有一个弊端就是别人不需要密码就能连上登录的画面，如果你的 IP 白名单很宽，可能被 DDoS 或者 0day 。

建议自己搭一个 VPN 或者利用新版 Windows 自带的 SSH 服务做端口转发，然后把 RDP 相关端口都放到内网。（ SSH 服务只开密钥认证，开放密码登录的话一样也会被扫。）

@SayHelloHi 欧洲版可以人脸识别没有问题，需要大陆手机号作为第二号码绑定

@cc666 旧版的 Windows Boot Manager 有一个漏洞 CVE-2023-21563 ，在特定的情形下没有清除内存里的 Bitlocker key 就引导第三方非 Windows 操作系统，导致密钥泄漏。虽然新版的已经没有漏洞，但是旧版太多，全部录进黑名单（证书吊销列表）会占用主板固件近一半的空间，而且会导致旧系统无法安装，于是微软决定不吊销。所以攻击者如果可以修改磁盘或者 BIOS 允许用其他载有旧版 Boot Manager 的介质启动的话都可以轻松解密 Bitlocker 。目前的解决方案是设置 TPM+PIN 的形式，但是 Windows Home 不支持。

“Machine Check”就是 CPU 检测到了硬件问题，其他系统一般就立即崩溃了，只有 Linux 系统比较奇葩还愿意继续工作。

先把所有内存等板卡都插拔一次，然后检查一下 CPU 散热器是不是松动了。你下次开机建议先运行 memtest86 之类的烤鸡程序 30 分钟没有报错再进系统，要不然在硬件有问题的情况下挂载文件系统可能会造成数据损坏。

如果拷机报错，且你平时都是一直开机的话，很有可能是芯片脱焊或者主板供电电路老化，这种问题只要同一个工况一直工作就察觉不出来，一旦经过温度变化、开机大电流冲击等就暴露了。可以到电脑城找个修主板的师傅检测一下，但 J3455 好像没有什么修头，干脆换一个 N100 或者更好的。

你的核心需求根本没有讲清楚，所以帖子里出现了两派答案。

如果你的软件本身不依赖可以进行鉴权的网络服务（单机软件），导致你是想通过一个硬件防止盗版，那你需要的是加密狗，这些厂家都会提供相应的加壳 SDK 。
如果你的软件可以联网，那你用联机验证的壳就行了。

如果你只是需要可靠的用户鉴权，那你要考虑你客户是不是真有这个需求，因为硬件密钥的发行管理是个相当麻烦的事情，接入一个 MFA 可能是更好的方案。