@cnbatch 我发出来才看见你的，我觉得你说的“int 必须比 short 宽，long 必须比 int 宽”虽然让部分初学者可以更清楚的了解这些类型的区别，但是与系统编程语言的定位不符合。比如说我记得早期的 64 位机就有完全不支持 16 位长度的指令集，这样 short 也必须是至少 32 位，那么 int 就得 64 位，long 不能 128 位吧？

这个问题的本质是 C/C++定位是系统编程语言，数字类型的是为了方便在不同指令集之间移植来设计的，比如说：

* 所有类型都只有最小宽度而没有绝对宽度，因为不是所有指令集都有操作各种宽度的指令
* int 就是在那个平台寻址范围内做下标比较合适的长度
* short 就是可能比 int 节省空间，但是至少有 16 位； long 就是至少有 32 位

当然我也觉得理想是美好的，现实是骨感的，这些语言出现不久互联网就爆发了，有了跨机型交换数据的需求，导致这些依平台而变的类型不好用。

理论上说交换格式可以和内存里的数据类型分离，比如内存里的 struct 用 int, long 等类型，交换时翻译到到固定长度的 char[]（这样还解决了 endianness ），但显然没有几个人这么勤快。

当然我觉得 long long 出现时，这个情况已经很明显了，应该直接定义 int64 而不是新增一个关键字。

@Sodacooky 我觉最好还是不要拿 C++的 auto 来比，因为写模板的时候很多中间值你都无法知道它类型是什么，如果不用 auto 就得声明一个新的类型参数，但有的时候又不能改变 API ，导致模板函数套模板函数，编译越来越慢。

Java 的 var 这个就是可有可无，因为类型永远是清楚的。

另外我觉得在 PR 里读到 var 很多的 Java 有点像读找不到实例的 C++模板，你只能靠变量名猜这代码是在干啥，至于对不对是完全无法确定。

@noErr 很多中小公司的系统管理员并不感冒命令行，也玩不转云 API ，他们就喜欢在一个图形界面里面反复点鼠标，Server 版几乎是他们唯一的选择。虽然 Server 版很贵（要按用户人头收费），但反正是公司出钱。

桌面版的 Windows 其实也只能从企业客户赚钱，你可以想象成定位已经变成“Office 官方运行环境”。但是只有持续培养非企业客户的使用习惯才能把持住企业市场，所以个人版还在做，困扰楼主的这些乱七八糟的功能都是在给充满广告的 msn.com 引流，这样可以补贴一点成本。

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