中学换了至少 5 个数学老师，连希腊字母的读音都没办法统一。
这个帖子的问题其实只是这个老问题的 generalization

给个实际的建议：多听英文的 technical talk，并且不仅听内容，还得养成注意关键词的读音的习惯，不能听一句话就过了
当然不要像我这样连口型都看… 一个 45 分钟的 talk，100 分钟都听不完…

@MrStark 就不说 Mac Pro 的价格，macOS 对 GPU 的支持本身就很可笑

只支持物理的 i 卡或 A 卡，不让 NVIDIA 发驱动（具体存疑，但是 Mojave 确实不能用），光这事核弹厂的 devtalk 上都垒了一千多楼了
OpenGL 以及亲儿子 OpenCL 全都 deprecate，Vulkan 干脆不做，一门心思搞 Metal
就连 NVIDIA 这么喜欢搞专有技术的公司，前两年都开始加 OpenCL 2.0 的支持
MacPro 一看就是给那帮搞社会主义精神文明建设的人做的，我怀疑 Apple 就没考虑码农

虽然说帖子里面用个破笔记本就觉得性能多强的想法很可笑，但是 macOS 这个地是怎么都洗不干净的

本质问题是，这个世界就是金玉其外，败絮其中的，楼主的问题只是这一个大”类”其中的一个”实例”
你在吃饭穿衣服的时候是不敢想像他们是怎么生产出来的，你在扔垃圾的时候是不敢想象他们之后是怎么被处理的
就算你什么都不干，你也要担心走在路上会不会被砸到被车撞到，吸一口气会不会把飞虫吸进来，你自己 N 多的遗传缺陷会不会给你惹事，吃饭会不会噎死，被鱼骨头呛到，牙齿会不会什么时候断掉，拿起一支笔或者螺丝刀的时候，会担心会不会一不小心捅到五官里

最搞笑的是，就是这么一个**的世界，还是有很多人假装啥事没有

C++11 有了 static_assert，方便很多
Go 其实也可以加入类似的东西，文中方法挺 hack 的
不过我猜 Go 设计团队应该不会认为这是一个有效的需求…

不评价 macOS，但是高性能笔记本这个东西挺搞笑的

@lihk11 QEMU 连外部 USB 设备有两种方法，一个是按 deviceid 直通过来，另一个是用某种网络桥接的方式把宿主机特定的 USB 设备桥接过来
两种方式连 U 盘都没问题，但是连 iOS 设备就会反复断连

还有一种方式是直接直通一个 pcie 总线上的 USB controller，在我的机器上这就相当于把所有 USB2.0 或所有 USB3.0 口都直通过来，恰好我 2.0 要连鼠标键盘，3.0 要连移动硬盘，没法搞
也可以买个扩展卡，但是我没多余的 PCIe 接口，所以这个没法试

另外 macOS 要用显卡也只能用 AMD 的直通，也不支持 Intel 的显卡虚拟化

xfce4-terminal 可以自己写配置改快捷键，我改成过 Super+C/V，但是切换 Tab 就死活没法设置成 Ctrl+Tab
其实最大的问题是只有 terminal 能这么设置，其他很多 GUI 程序都不行
KDE 允许全局修改 KDE 程序的快捷键，GTK 程序暂时没有找到办法，看代码貌似是 hardcode 的，我很想竖个中指
Chrome 和 Firefox 也没有办法
最搞笑的是 VSCode，虽然编辑区可以改快捷键，但是像命令窗口、查找替换的文本框就完全不能改
结果是我经常在 Super+V 和 Ctrl+V 之间反复横跳

说了买可换线的 可换线的

也没有必要买上万的，现在的 hifi 市场挺搞笑的，随身 hifi 尤其畸形，产品价位趋向两极分化，就是说千元以内和两三千能买到的东西比以前更好，但是再想找就得 5k 往上了，东西也不一定好
便宜的国产塞其实就行

我这也有一个，但是好像 High Sierra 装里面连不上 iOS 设备，就没用了
我估计得整个新的 USB 驱动才能解决

要查苹果用的啥，有个软件叫 Mactracker

@gransh 我想起了 SHIELD ...

配塞坏过好几个，包括 EarPods，不过不贵又买了一个继续用
大学时候的 mx985 用了两年丢了，快毕业的时候找出来了，线皮开了，不过没断，这货现在好像绝版了
前年买的 k3k3，这货的线其实并不耐艹，比较逗的是我经常出去的时候放衣服里，回来的时候衣服直接脱下来扔一边，然后就进了两次洗衣机… 到现在暂时没事

结论：买可换线的

Coq，Agda 之类的应该比 Haskell 难学
正则不行，正则虽然看上去蛋疼，只是规则复杂，理论是很简单的（当然你可以讲如何高效实现正则，这个可以搞很难）
最重要的是，正则真的很有用←_← 甚至到了极其容易被滥用的程度，确实有用的东西是对人的学习积极性有很大加成的，就好像钱难赚但是大家还是都在赚钱
所以标准不能仅仅是”难”， 还应该”没用”，然后在他问学这些有什么用的时候告诉他学校就是这么学的，这是必要的前提←_←
Coq，Agda 完美符合

Vim 的话有个 app 就叫 iVim

不过我买了官方键盘，发现最大的问题是没有 Esc ...

anki

说来公司最近有几台服务器升级到了 RHEL8，我想编译软件但是没 root 不好装各种 devel 包，就想着搞一台 CentOS 8 的 VPS 用两天，结果发现没一家有的，一查发现 CentOS 8 还是 WIP

没有建议，只是很纳闷为什么想不开要去做游戏
不过根据我的经验，人是很善变的，这个还是得想好了

楼主这个主题我觉得有一点点奇怪

开头说学英语是想学新技术，但是后面举出的方案好像又没什么关系
我英语没好到流利日常对话的程度，但是学技术还是没问题的。如果只是为了学技术的话，我觉得楼主说的用 app，找人辅导，读小说之类的有点南辕北辙（除非楼主想一步到位）
人们在各种渠道花这么多钱学英语其实是想买个合适的环境，这个环境（广义上）在国内是不大好获得的，但是如果特定在技术范围内，那只要你能科学的访问互联网，其实是可以零成本获取并且长期保持的（不像你去上课，下课了就没环境了，不给钱了就没环境了），也并不需要每天留出专门的时间，干活的时候就可以顺便学了

一般的文档、文章、专业书籍和 paper 里面出现的词汇就只有常用词汇和专业词汇。我记得看到过相关调查，说就英语来说 3k 常用词汇占了用量的 80-85%，7k 词汇（差不多我现在的水平）占 90-95%（具体数字不同调查有差异，但是大体规律是这样）。而 native speaker 的词汇量一般在 15k 以上，注意词汇量分 active vocabulary （你写作的时候能想起来用的），和 passive vocabulary （平常想不到但是阅读时候看到是知道是什么意思的），有些调查说 native speaker 有多大的 vocabulary，但是没说是 active 还是 passive，所以这个数字参考价值有限。针对楼主的目的来说，passive vocabulary 重要性远超过 active vocabulary ——学习技术主要是输入的过程，输出的主要是代码，这个是有编译器帮你解决的。如果你要用英语在线进行技术交流，就算语法有错误，也是能达到目的的，用不用高级词汇根本不是问题。

当然这不是说语法错误就可以不在意，它仍然会让你看上去有些奇怪。不过就我个人感受而言，整体态度给人的印象重要性远超语言细节。这第一是指和语言无关的，比如不要叫人帮你写作业，尝试自己提炼出 minimal reproducer 不要上来就 copy 一大段代码发上去让人看，尽量不要提重复问题，提问题之前先 RTFM 之类的，还有语言相关的，比如大小写要用对，英文帖子不要用中文标点（不专业，有些机器可能是小方块），标点后要加空格，写 Email 要写问候语和落款，标题要把内容概括不要光写 a linux problem 之类的，如果自己没在 troll 的话就不要连打一堆的问号和叹号之类的，这类问题我觉得比语法错误更严重，我见过若干次 native speaker 出语法错误，但是不仔细看的话，人家写得就是正常英语，不会句点后漏空格。很多博客排版很乱写得很随意（应该是 CSDN 的缘故←_←）这种我一般不怎么看的，也有很多站连 CSS 都没有（一般是上了年纪的人），但是内容组织性很好，不会犯不该犯的错误。

貌似有些 off topic 了。计算机领域的专业词汇其实界限是比较明显的，你在学一门技术的过程中会逐渐了解到其中的名词概念，如果你一直看的都是英文资料的话是不会有生词的——因为你在（按顺序）看第 n+1 篇文档的时候，其中涉及到的概念已经在之前的 [0, n] 文档中有过定义了。须知计算机的专业术语大多数都是从英语里面借过来的，但是理解原词并不是理解专业术语的必要条件，举几个例子：

* 比如常见的 class 这个词，程序员的理解就是把数据和操作放在一起，可以继承，有多态行为（关于 class 和 OOP 相关定义的争议很大，此处仅作举例不展开），但是 class 还有阶级、班级的意思，不知道这些意思并不影响你学 class 怎么用。

* 同理，object 除了对象 /物件之外，在一般语境里面有反对、目标和宾语的意思。

* OOP 的一个段子: A boy and a girl were sitting in a Java programming class together. He reached over and grabbed her breast. She said "Hey, that's private". He looked confused and said "I thought we were in the same class"

* bus driver，有“公交车司机”和“总线驱动”两个意思

* graph，一般指图表，但是离散数学里面就是一堆点和一堆边，计算机里面就是一个数据结构。

* atomic，在新闻中看到一般与核武器有关，但是毕竟搞这方面的程序员是少数，所以技术资料中一般取“不可分”的意思，并且一般是指“原子操作”这个特定的意思（此外 LISP 中 atom 指一种数据）。虽然原来该词物理上“原子”的意思其实也来源自“不可分”的本意，但是确实在非技术的上下文中“原子”的意思占大多数。当然这个也是有段子的，Herb Sutter 有一个讲原子操作与内存序的非常好的 technical talk 起名叫 Atomic Weapons，我个人觉得传达了这东西一般人碰不得的意思。

* web，这词在用来指代计算机网络之前是用来指代蜘蛛网的（当然就把你捆住隔你韭菜这点上来说精神上是相通的 xD ）

当然要是问理解原词对理解术语有意义么？当然有，不过我觉得八卦意义大于实际意义——比如说 Opera 那帮人把自己的浏览器叫 Opera，引擎叫 Presto，后来又做了一个浏览器叫 Vivaldi，这绝对是对古典音乐爱得深沉。学技术更重要的是把特定语境里面某个词具体指的是什么的定义搞清楚。

从这个角度上看我认为所谓背单词的方法对专业术语的作用是有限的，因为首先这些术语的组成和拼写并不复杂，其次背单词并不能帮你理解它的定义，也就是你看文档看到这个词仍然不知道什么意思——甚至更严重的是用其他上下文中的意思硬套到别的地方去导致报道，哦不理解出了偏差——我之前有个帖子举了个例子，说 ObjC 和 Java 里面的 interface 关键字的意思完全不一样，同理，C++ 和 Web 开发中的 template 的意思完全不一样，C++ 和 Java 中 volatile 的意思完全不一样，你看就连同是计算机领域中都不能直接套，如果你认识这些词的话你会发现在这些上下文中这些词都一定程度上反映了平常的意思，但是区别却又很大。

总之我的感受是背来的单词在技术学习中碰到都要重新了解一遍是什么意思，但是在技术学习中学到，练习过的词就天然不用背了——我能从其在专业领域中的意思反推出日常中的意思，反之则经常会出错误。

这是阅读，还有一个是听力。这个问题很尴尬——因为如果你直接去听技术演讲，会发现人家多半不是 native speaker，印度口音，俄罗斯口音，欧洲各地的口音满天飞，另外可以去听新闻广播，这时你会发现虽然一般口音比较“标准”，但是词又都不认识（我的感受是别的词还好，但是很多人名、地名认不出来，会严重影响对内容的理解）。所以可以从 native speaker 的演讲入门，开着字幕也没有关系——其实我认为是应该开字幕的，因为准确理解技术细节比追求“我就是要无字幕听懂”更重要。

当然如果是 YouTube 自动生成的字幕，可能也没有那么的准确。这涉及到另外一个问题，就是学习过程中对很多词基本的读音的认识是不准的，大多数语言的读音和书写是关联的，读不准就写不准（甚至认不准）。YouTube 起码在这方面是基本正确的。你听到一个词，如果听不懂可以去参考字幕是怎么写的，如果听得懂则应该过一遍这个词自己记忆中的读音和演讲者的读音是不是一致的。注意不一致不代表自己错了——有些词在不同口音中的习惯读法本来就不一样，何况有些词（如 Linux ）本来就是生造出来 /拼出来没有固定读音的。不过我认为多听演讲对于矫正读音是很有帮助的。当然这个前提是你有这个意识去做这个事情，不是只听个内容就完事了。

总之我的建议是楼主的情况不需要专门的时间，也不需要其他类型的材料，我好像也没见过有专门针对技术类英语的收费培训。主要是日常习惯用英文工作。非要的话那就每天读 20 页英文技术书或者两天一张 paper，每天听半小时英文 talk 就足够了。

Person 是你软件中的一个组件，所谓类 /方法是编程语言提供给你的实现组件的方式。软件的高层设计其实和具体语言的关系并不大。编程语言会灌输给你各种奇怪的名词概念，比如同一样东西，iOS 叫 protocol，Java 叫 interface （而 ObjC 的 interface 则更像是 C++ 的 class declaration ），虽然细节有区别，但是大体意思是一样的，这就是所谓的不同编程语言间通用的东西。比如你在学 protocol 的用法，其实在了解了基本语法之后，可以顺便看看 Java 的 interface 是怎么用的，Scala 的 trait 是怎么用的。

所谓的类和方法某种程度上也算是编程语言给你灌进去的东西——虽然严格上来说并不是，但是我觉得一个程序员应该掌握脱离类等概念进行软件设计的能力。iOS 相关的资料自然会鼓励你用他推荐的语言和工具，让你习惯于他自己的那套玩法，所以楼主发现自己需要学习相关知识时，居然是由于“性能”的缘故，而我觉得这方面能力的意义并不仅仅在性能上。

楼主所提到的这个过程应该属于所谓的 modular design。通俗的说，假设我们现在不是在重写 ObjC 的 Person 类，而是用 C 写一个哈希表。那你会先考虑用什么算法，需要哪些操作，这些操作的接口是怎样的。比如 C 不会给你构造函数或者 init 函数，你得自己实现一个 hash_table_create 函数，还有对应的 hash_table_free 函数，没有类和方法，那你就不能定义 size() 方法，而是定义 hash_table_size 函数。C 不能像 C++ 或者 Python 一样做 [] 运算符的重载，那你得实现一个 hash_table_get 函数，你会发现虽然没有高级语言的工具，程序还是能照常写，这是最基本的要求。

再深一点你会考虑如果我实现一个红黑树会是什么样的接口，红黑树的接口和哈希表的接口有什么区别，哈希表要不要暴露出 bucket 数目、允许用户自行 rehash 之类的细节，甚至“使用同一个哈希表 /红黑树的实现来实现集合和关联数组两种模块该如何设计”之类的奇怪问题。

这类入门书建议看 C Interfaces and Implementations （简单了解没必要看书，看看公开的示例代码就行），休闲可以看 A Philosophy of Software Design 之类的

Swift 具体实现不了解，查了一下，按照 https://allegro.tech/2014/12/swift-method-dispatching.html 这篇文章的说法，Swift 方法调用经过编译器优化后实际是与 C 实现等价的。