之前一直用 linux 各种发行版各种桌面用遍了，如何现在我还用 linux 的话肯定就是 manjaro+xmonad，linux 的平铺式桌面管理器用起来效率是真高。新手不喜欢 xmonad 的也可以 i3wm 入手。后来之所以还是主用 macbook，一是 macbook 颜值高，还有就是很多效率软件只有 macOS 版，或只有 macOS 上的同类软件最好用。比如 Sequal Ace, Vimac, Karabiner, Hammerspoon,PopClip, Alfred, iStats Menu. 特别是 Karabiner 和 Alfred,完全离不开了。

bitwarden 可以自己搭建服务器 而且代码是开源的

找到原因了是 hammerspoon 的脚本的问题

过保的话，300 多买个电池自己换。我 2015 版的就自己换的，马上满血复活。

用了双拼之后发现还是原生的输入法省心，因为双拼大家词库都差不错，但原生体验好多了。

还有你说的“以数据结构为主，以逻辑控制流为辅”，这叫λ演算，“是一套从数学逻辑中发展，以变量绑定和替换的规则，来研究函数如何抽象化定义、函数如何被应用以及递归的形式系统”，这是函数式编程的基础。

而且你说的这几个有点：高度复用，安全，可维护性，多人协作，基本上和函数式编程一模一样。代表语言就是 erlang, 连思维模式要转换一下这个特点都是一样的。

@muchan92 就是以数据为中心嘛，我觉得你说的这种更像是函数式编程，而不是结构化编程，毕竟函数式编程就是“倡导利用若干简单的执行单元让计算结果不断渐进，逐层推导复杂的运算，而不是设计一个复杂的执行过程。”

难道不是一直这样写代码的么。过程化编程还是上古时代用 goto 的时候吧。

@so898 其实 usb-c 的 kvm 是有的，就是价格贵，还只能海淘，国内没有。

没有 hdmi 接口的话估计只能加一根 hdmi 转雷电的线了

二进一出的 kvm 有这
https://detail.tmall.com/item.htm?spm=a230r.1.14.6.50591b1eZFiJtt&id=574356400038&cm_id=140105335569ed55e27b&abbucket=18

你要找的东西叫 kvm

我也已经电影荒 /剧荒很久了，而且以上推荐基本都看过，还不止一遍。现在实在到不到看的，都在下综艺看了。

用自带的双拼输入法，完全够用。

@nexo "抛开单个个性键帽都可能上千这种 整套的客制化键帽 (不是淘宝上那种)上千很正常"

你这就没啥意思了啊，我说客制化键盘，你非要连键帽也客制化。这就好比我说 1w 可以买个很好的耳机听歌了，你非要来一句好的发烧音频线都不止 1w 。那我只能说你是大佬，惹不起，惹不起。

@nexo "两千的预算客制化只能买个键帽吧......"
什么键帽那么贵啊，客制化就是按自己需求买，又不是什么贵买什么。 我上面那一套，全价 1500 。目前用着挺爽的，反正比我 2000 多的 hhkb 爽多了，hhkb 已经吃灰很久了。

都这价位了，客制化键盘不考虑一下吗。想定义成什么样子都可以。