和楼上一样，一部分图片日期不对，似乎有一些项目可以修复这个问题（利用 takeout 提供的信息）

我会选 thinkbook14+ amd ，我自己用的联想小新 amd 5800h （那时候还没出 tb14+）同时换了网卡为 intel ax200 ，目前感觉还行，就是 16g 小了点。不过我还台 pve 的 nuc12 （ i9 12900 ）。两台都是 Arch 感觉没什么问题。

@TokyoIncidents 刚刚试了一下，两台手机之间也可以用 KDE Connect 共享，前几周也试过了 PC 和 PC 之间也可以。

ACME 其实提供了官方的部署的方式，参数 --deploy-hook synology_dsm

https://www.bilibili.com/read/mobile?id=13914241

不搞 iOS op 可以来把 Arch Linux 做主力试试呀，我的是 NUC12 使用 pve all in one （ Linux macOS Windows ），为了兼容 macOS 显卡是双槽 6600xt 。ps 最近看淘宝上 NUC9 已经 3000 了。

我弄了台小米平板 4 拿来浏览网站和 pdf （有些密密麻麻的会比较难受了）
优点：能插卡的 pad 不多了
缺点：这价格也不能说啥缺点了，不过用着确实难受：不是双扬声器，看视频很难受，性能有些弱，别的还好吧

一个不怎么准确的理解方式：Wasm 和 JavaScript 一样，都是用一个解释器（虚拟机）去执行代码，在这一层抹除了底层架构的差异。而二者的差异的话，比如 JavaScript （浏览器上）都是从 js 文件本身的解析开始，Wasm 将不同语言编写的代码编译到 Wasm 字节码。Wasm 详细介绍可以看看 WebAssembly 原理与核心技术。

nas + vaultwarden + 每日备份，稳定用了快 2 年了。
相比闭源 1p 安全又稳定，bitwarden 是本地数据同步，同时每日备份出问题就回滚。
也不用担心遇到 1p 可能出现登录不上 /数据丢失却又什么都做不了的情况。

中文还是改成死喷乱涂更务实（对我来说），6 月已经用任亏券给我和我媳妇兑换了。
网络的话，上个 UU 加速器就是 A 了，掉线很少。

主力 LibreWolf ，备用 Ungoogled Chromium 。

Fastmail + K-9 Mail + PGP

刷入 Lineage OS 的二手 k30s

同后悔，现在有很多想听的课听不到，想学习的教材 /资源也搞不到

如楼上，可以再考虑看看 Thinkbook 14+ amd 6800h （虽然也是云推荐）
自己用的上一代联想小新 amd 5800h

btw 如果 op 对这些感兴趣刚好可以看下 [南京大学《软件分析》课程 01 （ Introduction ）-哔哩哔哩] https://b23.tv/yNGs4E8
周一我刚看完全部课程，非常棒的教学资源

@Alander 这个分析工作会在 IR 上进行，这一层相比词法、语法分析上能额外获得控制流等信息，进而判断变量是否有可能不在 10 的这个范围呢。

按照 rust 的这个例子来看，这个是静态分析的工作，例子中的检查应该已经做到了