apfs 可以直接加 Volume 装系统吧，不用重新划一块出来当分区

华为 VR 连接线可以，但现在下市了。贝尔金有一根类似的，京东自营店里还有，四百多。

我在亚马逊上看到 startech 有号称支持 DP Alt Mode 的 USB-C/DP 和 USB-C/HDMI 的双向连接线，都是两百多，准备买一根试试。

张小龙同号，还有一个车位

Ruby 、Swift：？

官方 12 的壳里，硅胶和透明壳按键都太硬了，尤其透明壳，不用力几乎按不动，不清楚 13 有没有解决这个问题。

想起一个笑话：

为什么 C#里没有 Spring ？因为微软没有春天。

pnpm 在 Mac 上好像已经不是用硬链接了，而是直接 clone 文件（ https://github.com/pnpm/pnpm/issues/1505 ），因为 APFS 有 CoW 机制，所以硬盘上实际只存一份，改动某个文件不会影响其他版本

楼主把 10 作为类型的意思更像是 Number<10>，即一个值只能为 10 的 Number ，有点 Dependent Type 那意思了。

@Kawa
TS 和 ES 类型标注提案都要求类型只当作静态注释，不影响引擎执行。至于说为什么，应该是避免影响动态类型的基本运行方式..

蓝牙配对做得最方便的应该是 Magic Keyboard：插线就进入有线模式使用，使用中拔掉线自动和刚才插线的设备配对，用其他蓝牙设备的时候都想要是都这样就好了。

然而 iOS 已经没有这个问题了，令人感叹，怪不得 iPadOS 是未来，比 macOS 先进。

OCaml 的速度有点令人惊喜啊（虽然 Haskell 更快）。

Swift 直接毙了吧，背靠 LLVM 的静态语言搞成这样，不知道加入所有权后能提高多少。

其实理解一点逻辑后，没有想象的那么乱。

iPad 目前有四条产品线：iPad Pro 、iPad Air 、iPad mini 、iPad.

如果仅看每条线最新的产品，它们的区别是：

- 仅有 iPad Pro 有高刷（ ProMotion ）
- 仅有 iPad Pro 有两种尺寸（ 11/12.9 ），其他都只有一个尺寸
- 仅有 iPad Pro 有四扬声器
- 仅有 12.9 寸 iPad Pro 有 Mini-LED 屏幕
- 仅有不带后缀的 iPad 用 Lightning 接口，其他都是 USB-C ，也仅有它还有 Home 键
- iPad Pro 和 iPad Air 用 M1 芯片，iPad mini 用 A15 ，iPad 用 A13

如果不看最新款产品，那 iPad 变迁历史确实比 iPhone 复杂一点。因为 iPhone 无论是某代的 Pro Max 还是 mini ，它们都是同时发布的，除了 SE （所以叫 Special Edtion ）；而 iPad 每个产品线是独立的，iPad Pro 更新不代表 iPad mini 也要更新。

iPad Pro 一共有五代：

- 第一代发布于 2015 年，A9X ，有 12.9 和 9.7 两个尺寸
- 第二代发布于 2017 年，A10X ，有 12.9 和 10.5 两个尺寸，此代加入高刷
- 第三代发布于 2018 年，A12X ，有 12.9 和 11 两个尺寸，使用全面屏设计、Face ID 和 USB-C
- 第四代发布于 2020 年，A12Z ，有 12.9 和 11 两个尺寸，加入了激光雷达和超广角镜头，内存从 4G 升级至 6G
- 第五代发布于 2021 年，M1 ，有 12.9 和 11 两个尺寸，接口支持雷雳协议，蜂窝支持 5G ，12.9 寸使用 Mini-LED 屏幕，内存为 8G 或 16G

iPad Air 也有五代：

- 第一代发布于 2013 年，A7 ，9.7 寸
- 第二代发布于 2014 年，A8X ，9.7 寸
- 第三代发布于 2019 年，A12 ，10.5 寸，内存 3G ，开始支持 Apple Pencil 和 Smart keyboard
- 第四代发布于 2020 年，A14 ，10.9 寸，使用全面屏设计和 USB-C ，没有 Face ID ，而是在电源键上使用 Touch ID ，内存 4G
- 第五代发布于 2022 年，M1 ，10.9 寸，内存 8G

iPad mini 有六代：

- 第一代发布于 2012 年，A5 ，7.9 寸
- 第二代发布于 2013 年，A7 ，7.9 寸，内存 1G
- 第三代发布于 2014 年，A7 ，7.9 寸，加入了 Touch ID
- 第四代发布于 2015 年，A8 ，7.9 寸，内存 2G
- 第五代发布于 2019 年，A12 ，7.9 寸，内存 3G ，开始支持 Apple Pencil
- 第六代发布于 2021 年，A15 ，8.3 寸，内存 4G ，开始使用全面屏设计和 USB-C ，以及电源键 Touch ID

目前不带后缀的 iPad 是初代 iPad 的后继，共有九代：

- 第一代发布于 2010 年，A4 ，9.7 寸
- 第二代发布于 2011 年，A5 ，9.7 寸
- 第三代发布于 2012 年，A5X ，9.7 寸
- 第四代发布于 2012 年，A6X ，9.7 寸
- 第五代发布于 2017 年，A9 ，9.7 寸
- 第六代发布于 2018 年，A10 ，9.7 寸，2G 内存，开始支持 Apple Pencil
- 第七代发布于 2019 年，A10 ，10.2 寸，3G 内存，开始支持 Smart keyboard
- 第八代发布于 2020 年，A12 ，10.2 寸，3G 内存
- 第九代发布于 2021 年，A13 ，10.2 寸，3G 内存

配件方面：

- 使用 USB-C 的 iPad 都支持第二代 Apple Pencil ，非全面屏的 iPad Pro 和上述提到的版本支持第一代 Apple Pencil
- Smart keyboard 中文叫「智能式键盘双面夹」，和妙控键盘不是一个东西，iPad Pro 也是一直支持
- 虽然妙控键盘发布于 2020 年，但第三代 iPad Pro 也支持妙控键盘，全面屏的 iPad Air 也可以用

购买建议：

- 决定 iPhone 和 iPad 寿命的因素就是内存，决定能否在未来获得新功能的因素是芯片，所以为了用得久一点，最少也要 A12 以上的机器
- 第六代 iPad mini 有「果冻屏」现象，建议去实体店感受以后再决定是否购买
- 即使不用新功能，从内存角度来说，iPad Pro 和 Air 都建议 M1 版本
- 不带后缀的 iPad 使用的是「非全贴合屏幕」，建议去实体店和 iPad Air 或 Pro 进行对比

作为参考，iPadOS 16 支持的硬件：

- 所有 iPad Pro
- 第三代及更新 iPad Air
- 第五代及更新 iPad
- 第五代及更新 iPad mini

醒醒，为了摄像头他们甚至能干出给笔记本加刘海这种天怒人怨突破底线的事，怎么可能再把它去掉？

iPhone 的「最近项目」和「所有照片」不也有这个区别吗

我遇到过更蠢的问题：系统短信把国内的手机号码（ 1 开头共 11 位）认成了带区号的美国号码（ 1 是区号，号码 10 位），系统地区是中国大陆。这个 Bug 在 iOS 13 时代通过分享菜单稳定复现，现在较小概率还会出现。

《战国无双》无限城模式

首先，拿 Java/Kotlin 或者 Objective-C/Swift 这类语言互转来说明复杂程度不合理，因为它们在设计阶段的要点就是和前代语言充分兼容。这里是 Swift 社区关于实现和 C++互操作的设计理念文档： https://github.com/apple/swift/blob/main/docs/CppInteroperability/CppInteroperabilityManifesto.md ，感受一下这个长度。并且 (1) 这个文档还没完成；(2) Swift 和 C++的互操作因为 ABI 原因，仅限于和 Clang ，而 Swift 团队很多人也是 Clang 团队的成员；(3) 语言要素上 Swift 和 C++并没有差特别多。其他语言恐怕很难有这些条件吧？

其次，因为编程语言抽象层次各不相同，高抽象层次容易转换成低抽象层次，反过来就很难。比如一段合法的 C++代码，可能就没办法转成（ safe 的） Rust ，因为违反了生命期和所有权约定；操作内存的 C 代码也不太可能翻译到 JS.

如果想在尽量保留高级语言信息的前提下在语言之间做翻译（否则可以说都编译到汇编也算相互翻译），那可能需要每个语言都限制用到的特性，保留一个抽象相似的公共子集，类似 asm.js ，在这个层面做相互翻译比较现实。这么做依然需要相当大的投入，但收益却一般。想到的一个例子是 Eclipse 曾经将 C++写的 Clang 翻译成 Java ，以集成到项目里做 C/C++语法分析。