我在使用了半年 macOS 之后，又回到了 Linux 的怀抱，虽然 macOS 有其自身的优势，我也不否认 macOS 系统上软件生态的友好，但我发现即使我将日常开发主力机器装回到 Linux，也没有丧失操作系统的便捷性和易用性。这或许和我下意识的只使用跨平台的软件有关，并且最长使用的软件几乎都是一套快捷键。
一开始从一个系统切换到另一个系统的时候，难免会有一些东西需要学习，但是其内在的逻辑是一致的，操作系统无非是提高了上层应用运行时的环境。并且如今跨平台的软件越来越多，只要数据在我这里，无论在哪一个系统中都可以迅速地开始自己的工作。
契机
稳定
Read more ...
今天用得好好的电脑突然三次黑屏，两次发生在早上刚刚使用的时候，一次发生在晚上回家之后。所以一怒之下就直接上官网联系了 Apple Support，但是也不知道是不是我直接登录的 .com 网站，在我提交了 Support 之后一分钟一个外国小哥打了电话过来，我一下子没反应过来，只能用着不那么熟练的英语开始了 macOS 修复之路。
我简单地向这位技术小哥描述了我的问题，大致意思就是系统突然崩溃了三次，然后在聊的过程之中，经过他的提醒，我发现出现问题的时候都是系统从睡眠状态中恢复，并刚开机不久，在打字的过程中，突然风扇很响一声，电脑就黑屏了。
虽然这个
Read more ...
用了半年多 macOS，虽然不错，但工作用还是觉得 Linux 比较顺手，所以经过了半年时间还是从 macOS 切换回了 Linux。然而需要解决的一个问题便是我之前的 macOS 上使用 VMware Fusion 的个人授权安装了一个 Windows 用来进行一些调试，现在有一些配置因为需要依赖外部人员进行操作，证书之类的，只能想办法把 Fusion 上的虚拟机转移到 Linux 下的 VMware Workstation 中。
前提知识
在正式迁移之前先了解一下磁盘上的几类文件，这些文件都是和 VMware 虚拟机相关的。
VMX 文件
VMw
Read more ...
总结一下 VMware Workstation 和 Fusion 中的虚拟机网络设置的选项。
VMware 产生的虚拟机会有以下几种网络模式：
Bridged
NAT
Host-only
Custom
VMware 虚拟机网络模式
Bridged
虚拟机通过桥接，直接连接到物理网络。虚拟机会和主机在同一个子网中。比如你的宿主机的 IP 是 192.168.1.100，并且所在的网络中存在一个 HDCP 服务器（比如路由器等），那么虚拟机就会获得一个 192.168.1.x 的 IP 地址，表现成网络中的另外一台电脑一样。
N
Read more ...
去年年中的时候切换到 macOS，一直用 ClashX，时隔半年又迁移回了 Linux1，发现原先使用的 V2rayL 虽然能用，但是有些简陋，并且不支持分流，并且如果一个地址失效了，还需要手动地进行切换。所以看到 Linux 的 Clash 可以自动进行流量切换的时候，就试一下。
Clash 是 Go 语言实现的，跨平台代理工具，支持 Shadowsocks/v2ray，支持规则分流等等。
可以在官方页面下载。
Linux 下载对应的 linux-amd64 即可。
2021 年 11 月更新
在用了很长一段时间的 Clash 命令行之后，我
Read more ...
[[Beancount]] 是一个纯文本的复式记账工具，因为是纯文本的记账工具，所以帐本就可以理解成为有一定格式的「代码」，所以编写这一份帐本，就可以和代码补充的 IDE 一样，比如在输入消费 Expenses，或者 Liabilities 等时，可以利用账户的关键字来借助插件自动补全，快速完成记账。
这篇文章重点介绍一下 VSCode 下的 Beancount 插件。
插件安装
和正常的 VSCode 插件安装一样，直接在插件市场里面搜索 Beancount，找到 VSCode-Beancount，然后点击安装即可。
VSCode 插件
VS
Read more ...
在了解并使用 [[Beancount]] 的过程中，大多数情况都是通过 VSCode 打开 Beancount 仓库，然后手动进行记录，但是通常情况下消费都是遍布在日常生活中的，不会随时随地都有一个 VSCode 环境，所以就需要一个可以随时随地记账的方法，很早之前想过通过 Alfred，或者通过在线构建一个 Fava 环境，但是一方面 Alfred 手机上并没有，而如果构建一个 Fava 则还有安全性问题，所以一直没有很好的对策，直到有一天我看到有人分享了一篇文章说自己使用 Telegram Bot 来作为 Beancount 的记账，我茅塞顿开。
Read more ...
在我使用 Beancount 的过程中，让我收益最大的是让我知道了一个词 commodity ，直接翻译为通货，它不等同于金钱，也不是我们理解的钱。但是在记账的过程中使用最多的就是以货币单位，比如 CNY 人民币，USD 美元，HKD 港币来作为 commodity 记账。
Beancount 给我普及了 commodity，它可以是用于交换的任何物品或资源，比如可以是股票，可以是黄金，也可以是期权，也可以是加密货币等。这种灵活性使得 Beancount 在处理不同类型的资产时非常强大。
Commodity
每一个投资标的就是一个 commodit
Read more ...
通过之前几篇文章的介绍，相信大部分人已经入门了基本的 Beancount 的使用，也能理解[[复式记账]]的魅力。
使用 Beancount 记账篇零：Beancount 入门使用
使用 Beancount 记账篇一：给账户命名
使用 Beancount 记账篇二：各类账单导入
这一篇文章就接着之前的内容，来讲讲如何在 Beancount 下记录期权（或者限制性股票）交易的记账。
RSU（restricted stock units），又被称为限制性股票，restricted 意味着当前无法获得，一般经过特定的时间周期，当其成熟时才
Read more ...
RETE 算法是卡内基梅隆大学的 [[Charles L.Forgy]] 博士在 1974 年发表的论文中实现的算法，是一种[[模式匹配算法]]。简易版本的论文发表于 1982 年 （http://citeseer.ist.psu.edu/context/505087/0）。拉丁语的 rete 表示 ”net” 和 “network”。
这个算法设计的目的是为了在大量的规则，Objects（或者说 Facts）中寻找匹配的规则。其核心思想是通过分离的匹配项，根据内容动态的构造匹配树，缓存中间结果，以空间换取时间，降低计算量。
RETE 算法主要可以分
Read more ...