碳基猴子完全没救，只能选机器

想被主人的 workload 塞满捏～
爆超到 1919810GHz ，全银河系碳基猴子都要感谢主人

@LINAICAI 隔壁热帖女主好歹还”谈过两次”呢 ←_ ←

楼主之所以会觉得浏览器像虚拟机就是因为浏览器就是虚拟机。Web 一直把安全看的十分重要，浏览器不为其中运行的程序提供 FFI ，程序必须使用经过浏览器封装的 API ，程序之间的通信也有重重阻碍，就是为了安全，哪怕这些会严重限制应用的能力。这是我觉得浏览器相对于其他 runtime 的本质不同。

而一个操作系统，就算你不开虚拟机，他自己也是个”虚拟机”。OSTEP 里说，操作系统的 key idea 就三个：Virtualization, Concurrency, Persistence ，这里面的 ”virtualization” 不是说你开了个虚拟机才有 virtualization 。
另外这三个 idea 在 Web 中也有体现，只不过 Web 还掺了很多 domain-specific 的东西。

> “为用户或者开发者抽象出风格统一的体验“
你觉得 Web 体验不统一是因为不能和底层硬件打交道么 …

既然你也是 Linux 用户，那我分享一下自己的 Linux 故事：Firefox 目前在 Sway+NVIDIA 下是无法启用 GPU 加速的（ bugzilla 上有个 patch 声称修复了这一问题）。而 Chromium 目前工作正常。但是由于两个浏览器都有软件绘制引擎，因此就算没有 GPU 加速也可以正常浏览绝大多数网页，只是性能会受影响。
这里面体验有一致的地方（都能用），有不一致的地方（性能不一样）
现在，把 Linux 这一层干掉，浏览器直接和显卡 MMIO 勾搭，你能保证相同的 bug 不会出现么？
在此基础上把 Linux 这一层加回来，体验有哪里出现了”额外”的不一致么？

浏览器现在实际上是个通用应用程序运行时，类似大号 JVM/CLI 一样的东西。
Web 有可能取代传统意义上的 OS ，但不是必须，也不是一定。唯一基本可以确定的是现在还不能，如果有一天这件事真的发生了，那个”Web”的形态和现在这个会有一些不同。
以前还有个东西叫 LISP machine ，搞不好 Web 连现代处理器都能给取代了

@kokutou 准确来说是在 Mac 上只有 x86 的驱动
不限系统的话，NVIDIA 自己就做 ARM CPU ，甚至都要收购 ARM ，早就有 ARM 驱动了
AMD 信息比较少，不过 AMD+ARM 的组合出现在了一个奇怪的产品上：www.ithome.com/0/527/009.htm 华为擎云 W510 台式机搭载 24 核鲲鹏 920 ，还有海思自研独显 - IT 之家

这事说到底我觉得还是果子是个控制狂，没法跟其他厂商建立平等的关系。AS Mac+eGPU 市场也不大

另外对台式机来说，“拓展”和“升级”是不一样的
Intel 准确来说是两代一换，具体效果看牙膏挤多少，AMD 稍微长一点。老板子和 CPU 可以二手出掉。
追求 CPU 升级空间现在最好的选择大概是整个 3600X 之类的，这货现在咸鱼好像也就 800 ，然后等着 5900 ，5950 之类的降价。不过我觉得挺折腾的，5950 性能就封顶了，价格还能降多少也不好说。

ITX 基本就没法拓展，MATX 也没好到哪去，整个 MSDT 的拓展性就那样，属于凑合能用的水平。要拓展性现在最好的选择是去捡 EPYC 7002 的大船。不过 ITX 对于楼主是够用了（虽然我就是受不了拓展性太差换了 ATX ）

查了一下发现老 MBP 二手性价比超乎我的想像，不强求的话应该完胜折腾 DIY

这主题写的就很迷惑 ... 比如：
楼主到底需不需要便携性？主题列举的 form factor 从轻薄本到 4U 服务器都有，然而它们面对的需求是完全不同的。需要通读全文才能 infer 出俩字“鸡肋”
6000 元预算包不包含“至少 1 个 4K 显示器”？再仔细一看原来楼主好像第一段暗示自己已经有一个 4K 显示器了，才（又一次）勉强 infer 出原来“至少 1 个 4K 显示器”指的是“至少能带 1 个 4K 显示器”...
“做工好”是写在最外层需求的 scope 下，也就是台式机也要好看（ which 在预算受限的前提下不怎么合理），然后仔细一看发现台式机可以是黑大粗的机箱

很难说，现在 4K144 或者 5K 之类高一档的和 4K60/2K144 的差价够买俩显示器了
我 18 年 3300 买了个 U2717D ，前两个月 2050 买了个 27UP600 组双屏（因为 PLUS 有优惠而且比 PLUS 本身价还高还顺便开了个 PLUS ），都是狗东。光说显示效果都觉得挺好，当然后者周边差很多（直接用 U2717D 的支架改了改换掉原装垃圾支架），但是两年时间价格差了 60% ...
感觉电子产品消费，非关键的东西没特殊需求跟紧主流是最好的，想要在主流以外玩花样花的钱就不是线性的 ...

我觉得从楼主老哥这些经历看，水平已经比本站绝大多数人高了，还愿意分享出来集思广益，前途一定不可限量

你可以找找有没有可以打出 log 来的命令行选项

我上次遇到的问题是公司 IT 给 home 目录设置了 quota ，然后我长期是占满的状态，导致 VSCode 根本没办法创建所需的数据文件夹，解决方案是稍微腾出点空间然后在别的地方帮 VSCode 建好目录 symlink 到 home 下。不过 Linux 下 strace 就能看到哪有问题，Windows 可能要用 Process Monitor 之类的

@Lans 雀实
PCIe 全称是 *Peripheral* Component Interconnect Express ，任何 PCIe 设备都是 literally 的“周边”

所以 4090 完美满足楼主的需求
好玩：指不仅是最强的游戏硬件，还有极强的可编程性，想要做慈善的话还可以挖矿，好玩程度依次递增
便宜：指 The more you buy the more you save

试试 On Error Resume Next

@wyfyw 格局小了，是 4G

没人提二刺猿？

最强不至于，第二强吧
主要还是友商衬托的好

我不知道楼主说的“统一”是指不同平台的可移植性还是指库之间的可移植性

首先 Qt 不是“一个”标准，分 QtWidgets 和 QML 。
然后 iOS 也不是“一个”标准，分 Objective-C 和 Swift ，然后又分 UIKit 和 Swift UI 。
MSVC 更不是“一个”标准，更像是“你是一个一个一个一个标准啊”
就连 Java 这个一开始就打着“一次编译到处运（ tiao ）行（ shi ）”旗号的平台，自己都裂出了 AWT ，Swing 和 JavaFX 。
Web 那边各种框架就不说了 ...

Gamedev 里 dear imgui 目前主要用来做开发工具（这次 GTA6 泄露貌似就看到一堆），还没见过正经游戏 UI 流行 dear imgui 的
说起游戏 UI 这又是一个大坑，你会发现它和传统 GUI 程序的 UI 根本不是一类东西，而 dear imgui 明显更适合做传统类型的（准确来说，是“游戏中的传统 UI”这一超级细分领域）
这上面继续展开还有试图用猴版 HTML 做游戏 UI 的 libRocket 之类的存在。我最近也在搞 Unity ，你知道现在 Unity 作为最流行的通用游戏引擎，官方提供的 UI 框架就有俩么（ UGUI ，UI Toolkit ）。可见 Gamedev 自己也在试图分裂标准。还什么 Gamedev 已经统一了，上面有句好话是怎么说来着，“你说统一我都觉得有些好笑”。

如果你仅仅是要跨平台可移植代码，我建议你一开始就在 Qt ，HTML ，Swing ，JavaFX 和 wxWidgets 里面选。这几个都是桌面平台间可移植的，不存在“对代码的移植，有很大的伤害”这种事。如果你还要兼容 Web 平台，那选择很明显了就是 HTML 。

移动平台很明显目前较严重的偏离了桌面传统 WIMP 体系，不存在和桌面平台“统一”的基础，你要统一的话 HTML 和 QML 都可以，后者就是用于 application 的 HTML 。

不说一堆 Qt 原生的软件，Beyond Compare 知道吧，人家是 Pascal 写的，把 Pascal 在桌面领域打出来的是 Delphi 7 ，这玩意当年是 Windows 上桌面开发的“瑞士军刀”（这词和 Delphi 7 流行的年代差不多 ...），但是现在能用 Locutus （划掉） Lazarus 做到跨桌面平台。Lazarus 做的事情其实和 wxWidgets 很像，它就是自己实现了 Delphi 的 API ，然后底下转成各种其他的库（ Win32 ，Qt ，GTK 之类）。如果你用 Pascal ，那这就是你的首选——没有其他选择。
（问题来了，现在还有几个人用 Pascal 呢？也许这就是 Pascal 用户“没有其他选择”的原因吧，反观 Web 和 Rust 的 GUI 场景那叫一个热闹）

再说一遍，如果你一开始就选了 wxWidgets ，那直接就可以在桌面平台之间互相移植，不存在“对代码的移植，有很大的伤害”这种事。当然后来可能会面对要移植到 Web 的情况——问题是你一开始为什么不能预见到这种情况并在选型上做出调整？

最后 HTML 本来是用来做“Hypertext”的，“Hypertext”就是“互相链接的文档”，不是用来做 GUI 的。有一部分人用 HTML 做 GUI （包括我 ...），这是削足适履。但实际上目前 HTML+CSS+JavaScript 是目前唯一能够勉强做到跨全平台的交互式布局方案，所以一堆人用 HTML 做 GUI 其实恰恰就是对“没有一个 GUI 标准能一桶浆糊”这一现状的反应。

而且以上除了 HTML 一系之外都不能称为“标准”，压根就没有像样的 spec 文档。非要说的话早年 X ，OpenStep 倒是标准。

不过说到正经的“标准”，桌面 UI 真正在库级别的统一标准目前还不存在，不过放到更低级别的话还是存在的。
UI 的 WIMP 往下是绘制指令，这一层级的标准主要体现在 HTML Canvas 上（当然苹果好像也喜欢用 Display PostScript ）。所有的 UI 元素都可以转化为一堆 Bézier Curve 和若干 bitmap 的组合。你会发现 HTML Canvas 和实现类似功能的库，比如 CoreGraphics ，Skia ，Cairo 和 GDI+ 的基本功能都是差不多的，核心概念也都是 Path ，Stroke ，Gradient 这些东西。这一层级可以方便地实现几乎所有的传统平面 GUI 。
再往下，如果你使用 GPU 加速，那么有 3D API 标准给你用，Bézier Curve 最后会转换成 vertex 和 triangle （如果你没有偷懒直接用 NV_path_rendering 那个扩展的话 ...）。桌面平台基本都支持 OpenGL 和 Vulkan 。移动的话 GLES 凑合用，当然某个本站最喜欢的公司似乎不太喜欢 ... 这一层级也可以 cover AR/VR 的 UI 。
再往后到屏幕上就是一堆像素，你输出个 PNG 就行 ...
以上都是像模像样的标准，代码都是可移植的，比如 QML 的官方教程专门 address 了移植 HTML Canvas 代码的问题（ https://www.qt.io/product/qt6/qml-book/ch08-canvas-port-from-html ），因为人家的 API 就 TM 跟 HTML Canvas 是一模一样的 ...

层级越高越难统一，比如编译器底层可以统一 LLVM/JVM ，系统可以统一 Windows/Mac 或 Linux ，但是往上就不好说了，为啥编程语言不统一？为啥笔记软件不统一？为啥你不跟张小龙“统一”？

> 你理解的应试教育是什么?

所有为满足某种别人设置的固定标准的训练都是应试教育。
广义地来说，码农面试刷题也是一种应试教育；某些公司里出现的 KPI 指导一切的现象，虽然不算“教育”，但是内核其实差不多。

这里我觉得有两点十分重要，一个是标准是别人定的不是你自己定的，也就是你出于自身兴趣学习不是应试（但是如果是为了“考证”那就是了）；第二个是标准是固定的而不是因人而异的，也就是说比如面试主要是由项目经历决定那么会更不像应试，因为这样更能体现每个候选人的差异（之所以说“更不像”是因为你知道项目也有套路的 ...）

> 如果你认为你接受的是应试教育, 你认可这种教育么?

我认为我的整个中学接受的都是典型的“中国特色”应试教育。但我不认为我“是否认可”这个问题有意义，因为实际情况是无论我是否认可，我都要接受应试教育。我不认可的其实是我“必须接受”这一点。
这个行星上大多数地方的人，从法律上来讲只需要接受义务教育。就大陆的情况而言就是上完初中就可以，并且标准非常的低，绝大多数人都能满足，以至于根本不需要任何上纲上线的应试教育。
所以应试教育其实是不必须接受的，那如果你接受了，你是为什么接受呢？是因为你“认可”它么？

这就是为什么要谈
> 社会, 国家, 公平, 就业
因为应试教育的一切都是从这些里面 derive 出来的。
打个比方就好像某互联网公司的产品，没有 Web 版，非要装 App 。应试教育就是这个 App 。你去站内搜集一下对该 App 的看法，差不多就是大家对应试教育的看法。当然这个比方过于抽象了，实际情况是装了折腾半天都不一定用的了，但是又给你绑架了不能不用。你觉得问题是出在这个 App 的程序员身上么？
这也就是为什么个人很难“改善”，因为根不在个人上，如果不承认天堂、投胎、转世之类的超自然存在的话，个人能做的最多只有从小躺平罢了，不然我建议你找个宗教多积点德投个好胎。

> 如果你不认可这种教育, 你接受下一代也接受这种教育么?
> 如果你不接受下一代也接受这种教育, 但自己又是应试教育长大的, 你如何让后代避免应试教育?
> 如果你不认可自己的应试教育, 自己又没在自身体验过非应试教育, 又想让小孩接受非应试教育, 你如何做到在自身不了解一件事物的情况下, 让自己的后代去体验这种事物?

作为一个 Anti-natalist 没有下一代，下一题。

> 如果你不认可自己的应试教育, 在成年, 工作后, 有没有尝试过要改变这种情况? 做过哪些尝试呢?

有也没有。说有是“应试”的需求比较少了，可以更多地自由发展，说没有是因为我发现至少对于我来说还是应试效率更高一点（参见各位 V 友的“每年目标”） :)
不过 anyway ，无论认可与否，必须承认的是无论应的是哪个试，都只是一个人的一小部分，应试教育只是为了“应试”的工具，不能作为人生的标准答案。比如我做程序员其实就跟应试教育关系不大，我觉得和家庭原因以及（同样的）时代大背景更相关，从这个角度来讲我觉得我还在接受应试教育时，就很大程度上跳出了“应试教育陷阱”，但是细想来又不可能和应试教育不相关——应试教育让我相对于活的东西更喜欢死的东西，一个问题如果可以用“按照书上写的学会一个东西，设计出一个程序，然后咣咣咣调试半天”的周期来解决我会很喜欢，但是如果这个过程中有较大的不确定性我会本能地排斥。

@dunn 大概不每天编译一遍 kernel 就是“极度保守”吧

看到“用编程学数学”还以为是这个 ...
https://zhihu.com/question/414674442/answer/1445967433 有哪些基于 Agda 的数学教材？