存储这个，能不换还是别换吧
起码 Google 的照片比苹果强吧

正常思路是 rar 按照 500M 或者 1G 分割，然后加恢复记录吧

@orzorzorzorz 数学基础，最低层的是经典二值逻辑，其中有两个部分：命题演算和一阶谓词演算。然后，在此基础上，有两种构造整个数学的可行方案：1, 目前为大多数数学家所接受的公理集合论，始于 Zermelo ； 2, 罗素的逻辑类型论。前者，从未经定义的「集合」或「类」的概念出发，以公理描述「集合」或「类」这个概念。后者，构造二阶谓词演算，跳过「集合」或「类」，纯粹以逻辑演算构造整个数学。

具体到 1+1=2 ，公理集合论的处理很简单明了，先定义自然数，然後以集合论公理推导出 Piano 算术公理，一两页纸就能搞定。罗素的方案很烦琐，近 2000 页的《数学原理》（英文本），基本上用了一半的篇幅才推导出 1+1=2 ，让人头皮发麻。具体推导过程，我也懒的看，书就供在那里了，基本上不翻，只看罗素的徒子徒孙们给出的简介。

综上，我们可以看到，1+1=2 ，这个 Piano 算术公理最直接的推论之一，其推导过程与现实世界完全无关，不涉及任何有关现实世界的假设。

btw, 要谈数学且较真就不要用白话，要较真且用白话就不要谈数学，要用白话且谈数学就不要较真

主要是不想刷锅
我宁愿饿着

自己家用，19 年装的系统一直半年一次升级上来的，目前 22.10
刚看了下也没有 /etc/apt/apt.conf.d/99Recommand 这个文件

@Saukes 大佬魔改方法能教下吗？
[email protected]

@chaselen 加不加 -9 差别很大的

killall -9 bird 试试

这是谁买了个顶配的然后退货了？

我司的 com.crowdstrike.falcon.Agent 每次都占满内存

16 年前
Dell PDA x51v ，弯腰捡东西时候摔坏了，可以开机但是屏幕烂了
电话联系售后，第二天工程师来公司现场给换了新的

@benjaminliangcom Joplin 有三个痛点：桌面版一直不出 m1 版本的，iOS 上不知道现在可以自动切换 dark mode 了没，还有最麻烦的删除了笔记，附件会一直留在数据库里面等着手动清理的问题

@yuhuanxi 推荐一下 https://github.com/Vinzent03/obsidian-advanced-uri 这个插件

@cmdOptionKana 浏览器装个 MarkDownload 插件试试，效果会好很多

这属于思而不学