标题起得不恰当呀，正文里说的“碎片信息收集工具”比较合适。卡片笔记和一切笔记一样，内禀地要求你自己吸收理解知识信息以后再重新输出成笔记，那么用 AI 一键总结就变成为了记录而记录而误入歧途了。但是作为一个碎片信息收集工具或者剪藏整理工具来说感觉还蛮不错的。

不懂楼上为什么那么多针对标题的嘲讽。是把 op 的话理解成“和 OpenAI 合作”？我感觉 op 只是像在说和朋友合作一样，把 ChatGPT 当作一个助手的角色，这不是也很正常么。不如说像 GitHub 、微软它们给自己的产品起名叫 Copilot 就是想表达这个意思。

@Desiree 内容看都不看是吧

你要找的是不是： https://github.com/emcf/engshell

@kop1989smurf 先说一句题外话，种族歧视和性别歧视其实是有共同点的

互联网和奢侈品确实都在筛选客户，这点需要承认，但是你和另一个人的分歧点本质上也不在这里。这里的问题实际上是二者筛选行为背后的根本动机是不同的：

奢侈品如果不筛选直接给所有人都用，它也就不叫奢侈品了，所以奢侈品的筛选是它为了构成品牌形象赚更多钱的有意的选择，同时这也是一种歧视，所以我们会认为这是不好的；

另一方面，互联网企业提供的本质上是服务，是一种基于实用价值而不是附加价值（没有人会因为自己入 waitlist 了觉得自己很高贵）的服务，所以互联网企业如果可以的话巴不得所有人都来用自己的东西，因为和奢侈品相反，用的人越多它越有利润。

那为什么互联网企业不让所有人都用自己的服务呢？因为这方面也和奢侈品相反，奢侈品生产本质上不存在高成本（有也是为了维持稀有度人为营造的高成本），但是互联网企业提供服务需要的算力、人力和稳定性是实打实的，不够就是不够，所以在不够的现状下互联网企业也只能限制用户量以逐步开放。所以筛选行为的确存在，你要是说这是歧视也不是不行，但是这是某种程度上的无奈之举。

而在比较这两者时（或者更一般地说），人们倾向于责备有意地做不好的事的人，而相较而言不会同等地责备被迫或无奈做了不好的事的人，所以这两个的性质从某种程度上来说确实是不同的。

楼上说的对，你看不懂的主要问题是前置知识太少了，可能需要了解一些简单的形式语言与自动机还有类型系统理论之类的
比如这个 regular type ，这里指的应该就不是正则表达式而是某种类型（没有上下文我也不能确定但应该是），那个 μt.( int,t)→int 是用来表达类型的记号，这里 μ 是递归类型的记号，你没有前置知识的话直接看是看不懂的
关于类型系统这一块可以看看 types and programming languages 这本书

你要说刷机，那必然是 Pixel 系。

链接有点问题，重新贴一下：
https://github.com/LunarVim/Neovim-from-scratch
https://github.com/AstroNvim/AstroNvim
https://github.com/ayamir/nvimdots
都是直接使用就行，每套配置独有的键位、功能项目主页都有说明

你说这些需求 vim/nvim 都能满足啊，尤其是 neovim ，一条条地看

0. 启动速度优先，可以说这就是 vim 的最大优势之一了
1. 语法着色，这个 vim 支持一部分语言，neovim 配个 tree-sitter 几乎支持所有主流语言
2. 文件对比，Diffview.nvim 各种 diff
3. 正则表达式替换，vim 显然支持得巨好，各种替换也是一条命令搞定
4. 比较方便的切换管理员权限模式，vim 里一条命令搞定，也可以绑定快捷键一键切换
5. npp 的作者的操作有点骚。Sublime 也不错，无奈不花钱老弹窗； vim/neovim 作为自由软件没啥政治立场和广告的问题，就是偶尔提示你帮帮乌干达的可怜儿童

没用过 vim 的话不用妖魔化 vim 觉得很难用难学难配置。安装好 vim 以后 15 分钟看一遍 vimtutor 就能直接上手使用了，再不济就只需要记住按 i 进入 insert 模式以后当记事本用，写完先按 esc 再按:wq 保存退出。配置这一块 neovim 从 github 上随便 clone 一套高 star 配置，所有配置包括 lsp 、tree-sitter 语法高亮就是开箱可用的，比如[LunarVim/Neovim-from-scratch]( https://github.com/LunarVim/Neovim-from-scratch)，[AstroNvim/AstroNvim]( https://github.com/AstroNvim/AstroNvim)，[ayamir/nvimdots]( https://github.com/ayamir/nvimdots)。neovim 作为一个编辑器已经很现代了，可以说虽比不上 vscode 也算逼近，很符合 up 的需求。

我觉得这方面 po 主需要去和女友沟通，了解她对自己这种性格的感受。如果她自己也觉得深受其扰，那 po 主的做法是没错的；但如果她并不介意，或者觉得并没有强烈的意愿要改，最好也不要要求她，因为情侣之间不能要求对方为了自己的想法改正这种没有本质错误也不影响彼此相处的个人特点。我也是你女友这种性格，对自己熟悉的人和事才能放开，陌生人面前比较沉默拘谨，但是属于我上面说的不太在意的后一种，可以为你提供一下我的感受作为参考：如果有人（哪怕是对象）说这是一个问题需要去改，我会觉得很反感，更不用说像 po 主这样主动提出要想方法帮我去改，因为在我看来这本质上就不是一个问题；我更努力地交际不会让我更快乐更自在，保持现在这样也不觉得不开心或者不好，凭什么你说这是不好的我就要去改呢？所以 po 主可能还需要和女友本人沟通。最后即使你女友自己也想改，在这个过程中最好也尽量支持她别 push 她，因为我过去也尝试过，能体会到这个过程是很不快乐的

不过选好几件的话挑选难度就*n 了哈哈

你既然要仪式感了，虽然你老婆很实际，但是也可以不那么追求实用性，而是选有象征意义的；或者参考我上次送女友礼物的思路，选了三件分别是纯象征意义的、纯使用价值的和既实用寓意又好的，毕竟谁说只能送一件礼物呢，对吧

大厂应用应该开发的时候就有这种预案，做好了类似的功能吧，需要变灰的时候自然可以变灰