感觉哪里不对
打个比方吧，我和马云，都会写自己的名字。马云写个名字可以好几亿的折腾，我写名字就只能折腾几百块。
难道可以说“写字过去是，目前是，可预见的未来内依然是世界规则”

你买了么玩了么？

另外表明一下我个人的立场，对于我个人来说，Hybrid 和 Disaggregation 都是卖点——因为我自己没事会研究下 CPU 架构之类的东西，Hybrid 就像那句话：“两件快乐事情重合在一起。而这两份快乐，又给我带来更多的快乐 ...”
其实我觉得程序员应该是乐见这些花活的，整得越多，程序员发挥的空间就越大。现在“寒气”都不算啥，哪天真人人都能无限算力+ AI 编程了，对于程序员来说才是绝对零度。

桌面这里 Hybrid 和 Disaggregation 解决的都是同一个问题，并且是对于这个市场来说很重要的问题，就是成本问题。
同样的多核性能（就 general purpose compute 来说），做多个 die 比做单个 die 更便宜，多用小核比多用大核更便宜。这俩本来就不冲突。所以最后两家给出了一样的答案——我都要，Intel 在 MTL 和 SPR 也要搞 Disaggregation ，AMD 在桌面要不要搞 Hybrid 不知道，但是如果他们想搞但现在还没搞的话，楼主说的问题大概是一个重要的原因，所以他们干脆就“先”不搞。

注意是“先”不搞，https://www.pcgamer.com/amd-ryzen-hybrid-architecture-big-little-intel-alder-lake Intel's pinning its future on Alder Lake's hybrid design, but AMD won't follow suit 'just to have a bigger number 这个 AMD 高管的言论很多网站都在报道，但是 PC GAMER 报道得最好，因为他帮你划好了重点“Just driving up the core count with little isn't going to be that useful until software comes along”——也就是说 AMD 不做软件上的脏活（可能是被推土机整怕了），那谁来做呢？纯软件开发者肯定不做，所有硬件都是一样的核心干嘛要做；硬件厂商再都像你 AMD 这样，那就永远别做了？
这个言论虽然是两年前的，但是在这个十月再来看尤其有趣，因为相同的事情其实刚刚就在 AVX-512 上发生了。

还有人说为啥服务器不 Hybrid 。其实 Hybrid 是 Intel 全局的一个方向，服务器也有对应的产品计划 SRF ，这个和 AMD 的路线其实更像。那为啥不把两种核心放一个 package 上呢？当然是因为这个市场的客户都知道自己要啥，HPC 的就买内存性能高的就行，要功能全高性能就买传统线，云厂就买小核，跑什么东西就买什么机器。也就是桌面这群**，既要单核性能，又要多核性能，还要便宜，怎么不去咬打火机呢

实际上 13900 的 die size 已经非常接近同产品线历史上最大的 11900 ，而考虑到后者本来就是不太正常的过渡产品，想像一下同样的多核性能全用 P 核实现是什么画面 ... （当然另一方面是目前 Intel 的 P 核效率有点问题） CHH 不懂尚且“可以理解”，毕竟“CHH 那里的水平”实际上就是连贴吧和微博都不如的水平。V2EX 作为一个程序员为主的社区，如果也不懂工程中 trade-off 的意义，我就不得不开始怀疑“V2EX 这里的水平”了。

#13 说的倒是比较中肯，杀死 HEDT 这事简直可以算是“U 界”的“4080 12GB”。我前段时间做的一个东西放 MSDT 的双通道 DDR4 上，别说什么 24C32T 了，跑仨核心就把内存带宽跑满了，再加核心一点用没有。

强迫自己每天 14 点 53 分落一次泪

Linux 下面 nvidia-smi 那个 GPU Memory Usage 不是 N/A ，是能显示出数据的。
比如我这 Steam 就占了 1GB 多，桌面占 350M 不到。

我觉得是时候学习直接输入 Unicode 码点了（狗头

“小”是和什么比？

@wcsjtu
这些问题的答案其实严重依赖于你做的东西的具体需求和设计
比如准确来说隐式转换也算 subtyping ，但是动态类型语言好像不存在这方面的问题，虽然如果你要性能非要用 unboxed native 的值表示那这个又必须要解决
因为在运行之前动态类型语言其实是不存在一个确切的“类型”的。比如 def foo x = x + 1 ，x 是个 int ，那它此时就是个 int -> int ，x 是个 bool ，那它又是 bool -> int ，这个和传统 HM 那套是不一样的。单就这段程序来说，typechecker 得到的信息只有“若 x 的类型为 a ，存在函数 +: a -> int -> b”，然后你要做的就是想办法把这个信息记录下来，Typeclass 和 Row Polymorphism 之类的其实就是信息的表示方法。

更 general 地说，基于 HM 可以延伸出一个更通用的框架，typechecker 会把 AST 转换成 constraint 的集合，然后再去求解这些 constraint 。HM 的 constraint 非常简单所以好解，但是如果把丰富下语义是可以解决更复杂的问题的，当然可能会比较慢，很多较新的静态类型语言都用了类似的思想，比如：
https://github.com/apple/swift/blob/main/docs/TypeChecker.md
https://kotlinlang.org/spec/type-inference.html
https://rustc-dev-guide.rust-lang.org/type-inference.html

不过这些都是静态类型语言的玩法，我暂时无法想像这种东西怎么在动态类型语言上 scale ... 其实动态类型语言用的好像都是不太一样的方法，我主要折腾静态类型语言所以不太熟悉。

HM 是常用的算法但不是唯一的。HM 的特点倒是非常明显，标准的 HM 可以在没有任何 type annotation 的情况下推导出一整个程序的 principal type 并且对于大多数实际程序都很快。但是这是类型系统本身做了一些妥协的前提下的（其实 HM 这词本来是指这个类型系统不是推倒算法，那算法叫 Algorithm W ）。

先不说什么 higher-ranked type 的问题，在 ML 等基于 HM 的语言中，取列表 x 的第 y 项需要写成 List.nth x y ，其实这里面这个“List”（准确来说是 List.nth 这个函数的类型）已经告诉算法 x 是某种 list ，y 是个 int 。而如果（以 Python 为例）算法只能拿到一个 x[y]，是无法分辨 x 到底是个 list ，还是 tuple ，dict 的，y 的类型也无从确定。再比如说定义俩 struct （虽然 FP 圈一般习惯叫 record ）分别叫天猫和京东，每个 struct 有个字段叫双十一，然后 def foo x = x.双十一，x 的类型就喜闻乐见二选一了。这就是为啥 HM 只在部分 FP 语言里吃得开，毕竟大多数常用编程语言都是按照后者的思路设计的，再来点 subtyping 直接跪。

我的意思是这东西上限也就那样，毕竟就算 FP 语言类型系统沾点高级特性也基本是用不了 HM 的。当然你这个比较简单拿 HM 来魔改一通大概是勉强能行的，我上面提的问题用 Typeclass ，Row Polymorphism 之类常见扩展也都能解决，不过可能会搞得实现和类型签名稍微复杂一点。不过检查个正确性貌似也并不需要 care 类型签名 ...

不仅不同国家的发音，英国不同地方的发音都能区分 ...

问题是你就算搜遍你的某鱼，除了 4090 自己之外没有任何其他一张卡能和这玩意比性能啊 ... 这就是定价的底气，你几百块的矿渣性价比是高，但是不能*替代* 4090 。除非你能魔改游戏改出多卡优化来

相比之下那个被“Unlaunch”的才是真的呃呃

我是 2K+4K ，现在用 Sway ，总体来说大问题没有，小问题不少，不建议尝试
这上面 Wayland 是个坑，NVIDIA 也是个坑，然后 fractional scaling 还是个坑
最近正在手动折腾 fractional scaling ...

恩 ... 现在流行一种东西叫 IPU ，楼主可以看看
www.youtube.com/watch?v=MJm4edOP5BU This Changes Networking and Storage Intel IPU Hands-on - YouTube

这坑很深的，首先不同类型的游戏用的技术就不一样，2D 的和 3D 的不一样，探险类和策略类不一样，单机和联机不一样 ... 我搞个文字冒险游戏和 2077 肯定完全不是一个东西
楼主最好是先有大致的想法再确定学习方向

资料的话推荐一本书 Game Programming Patterns ，直接可以在线读

也可能是为了搞千年大计，减少未来可能的 bug ...

@pocarisweat Linux 上面做闭源软件主要就 Electron 和 Qt ，这俩都很成熟，还没见过哪怕一个用 GTK 的 ...

我觉得现在大多数笔记类软件做的多平台同步，基本都属于把用户当傻子的性质，想把什么都替用户做了，假装用户什么都不用操心，但是抽象总是会泄露的啊，这时用户就吃屎了
现在这个时代大家都时刻在线，对于个人使用来说，可能不如每次编辑之前都强制同步服务器最新状态，编辑后强制保存到服务器，反正正常人不会在同一时刻在多台设备修改同一项数据

破案了，是 Linus 不会数 20 ...
可能是因为稍微瘦点所以不至于 3 都不会数？（ not really ，可以搜点照片看看 Linus 的肚子 ... 我很怀疑里面是不是装了个企鹅）