在 Linux 上使用 Clash 作代理

去年年中的时候切换到 macOS，一直用 ClashX，时隔半年又迁移回了 Linux1，发现原先使用的 V2rayL 虽然能用，但是有些简陋，并且不支持分流，并且如果一个地址失效了，还需要手动地进行切换。所以看到 Linux 的 Clash 可以自动进行流量切换的时候，就试一下。 Clash 是 Go 语言实现的，跨平台代理工具，支持 Shadowsocks/v2ray，支持规则分流等等。可以在官方页面下载。 Linux 下载对应的 linux-amd64 即可。 2021 年 11 月更新在用了很长一段时间的 Clash 命令行之后，我 Read more ...

2021-03-15 linux , clash , clashx , macos , proxy , socks , v2ray

使用 Beancount 记账篇六：利用 VS Code 插件辅助

在之前的文章中已经详细地讲解过 Beancount 这个纯文本的复式记账工具，正是因为纯文本的记账工具，所以帐本就可以理解成为有一定格式的「代码」，所以编写这一份帐本，就可以和代码补充的 IDE 一样，比如在记录从信用卡（Liabilities）产生消费（Expenses）时，可以利用账户的关键字，借助插件自动补全，快速完成记账。这篇文章重点介绍一下 VSCode 下的 Beancount 插件。插件安装和正常的 VSCode 插件安装一样，直接在插件市场里面搜索 Beancount，找到 VSCode-Beancount，然后点击安装即可 Read more ...

2021-03-01 beancount , double-entry , accounting , bookkeeping

使用 Beancount 记账篇五：使用 Telegram Bot 简化记账

在了解并使用 [[Beancount]] 的过程中，大多数情况都是通过 VSCode 打开 Beancount 仓库，然后手动进行记录，但是通常情况下消费都是遍布在日常生活中的，不会随时随地都有一个 VSCode 环境，所以就需要一个可以随时随地记账的方法，很早之前想过通过 Alfred，或者通过在线构建一个 Fava 环境，但是一方面 Alfred 手机上并没有，而如果构建一个 Fava 则还有安全性问题，所以一直没有很好的对策，直到有一天我看到有人分享了一篇文章说自己使用 Telegram Bot 来作为 Beancount 的记账，我茅塞顿开。 Read more ...

2021-03-01 beancount , telegram , telegram-bot , accounting , double-entry

使用 Beancount 记账篇四：证券交易

在我使用 Beancount 的过程中，让我收益最大的是让我知道了一个词 commodity ，直接翻译为通货，它不等同于金钱，也不是我们理解的钱。但是在记账的过程中使用最多的就是以货币单位，比如 CNY 人民币，USD 美元，HKD 港币来作为 commodity 记账。 Beancount 给我普及了 commodity，它可以是用于交换的任何物品或资源，比如可以是股票，可以是黄金，也可以是期权，也可以是加密货币等。这种灵活性使得 Beancount 在处理不同类型的资产时非常强大。 Commodity 每一个投资标的就是一个 commodit Read more ...

2021-02-23 beancount , securities , 记账 , 复式记账 , accounting , bookkeeping , vesting , stock , rsu

使用 Beancount 记账篇三：限制性股票

通过之前几篇文章的介绍，相信大部分人已经入门了基本的 Beancount 的使用，也能理解[[复式记账]]的魅力。使用 Beancount 记账篇零：Beancount 入门使用使用 Beancount 记账篇一：给账户命名使用 Beancount 记账篇二：各类账单导入这一篇文章就接着之前的内容，来讲讲如何在 Beancount 下记录期权（或者限制性股票）交易的记账。 RSU（restricted stock units），又被称为限制性股票，restricted 意味着当前无法获得，一般经过特定的时间周期，当其成熟时才 Read more ...

2021-02-21 beancount , accounting , bookkeeping , vesting , stock , rsu

Drools 原理之 RETE 算法

RETE 算法是卡内基梅隆大学的 [[Charles L.Forgy]] 博士在 1974 年发表的论文中实现的算法，是一种[[模式匹配算法]]。简易版本的论文发表于 1982 年（http://citeseer.ist.psu.edu/context/505087/0）。拉丁语的 rete 表示 ”net” 和 “network”。这个算法设计的目的是为了在大量的规则，Objects（或者说 Facts）中寻找匹配的规则。其核心思想是通过分离的匹配项，根据内容动态的构造匹配树，缓存中间结果，以空间换取时间，降低计算量。 RETE 算法主要可以分 Read more ...

2021-02-19 rete , drools , jbpm , algorithm , pattern-matching , 模式匹配算法 , 算法

使用 Beancount 记账篇二：各类账单导入

在上一篇如何给 Beancount 账户命名的文章中，我们已经迈出了 Beancount 使用的第一步，建立一套属于自己的账户系统，之后所有的资金就会在这些账户之间流转。复式记账讲求账户的流入与流出。那接下来就是 Beancount 真正关键的地方，熟悉并导入以前的帐本。使用 Beancount 就会想着如何将之前的账单导入到 Beancount。但人的惰性总是让我们不会每一笔交易都事无巨细的记录下来，所以我的方式便是固定一个时间，然后对上一个周期内的账单进行一次性批量处理，比如在信用卡账单日对信用卡消费做处理，或者在月末对微信账单进行处理。 Read more ...

2021-02-12 beancount , accounting , bookkeeping , double-entry , bill-import , linux , wechat , alipay

使用 Beancount 记账篇一：给账户命名

在之前整理复式记账的文章中曾短暂的提及过 Beancount，上一篇文章简单介绍了一下 Beancount，现在经过一段时间的使用，也正好回顾总结一下自己的使用经历和经验。要入门 Beancount 的使用，其中最重要的第一步便是充分的认识 Beancount 中的账户概念，在复式记账中资金都是在账户与账户之间流转，因此账户就非常重要。但是因为 Beancount 的入门难度要远远超过其他的记账软件，所以迈出第一步就变得至关重要，迈出了这第一步后面就会发现 Beancount 能带来远超预期的收益。在 Beancount 中内置类几类账户，这几 Read more ...

2021-02-11 beancount , accounting , bookkeeping , double-entry

如何进行有效的讨论论 Clubhouse

这两天 Clubhouse 非常火热，又使得「声音」这一载体被放到了台前，但听了多个 Room，并没有收获太多，反而是相对较大的「杂音」影响了收听，并且大部分的观点并没有让人眼前一亮的感觉。而从去年读[[洛克]], [[密尔]]开始，我就在思考什么叫做「有效讨论」，这些先贤们在写下他们流传百世的著作之前，当然有其自身深入地思考，但也绝不是将自己关在小黑屋与世隔绝而诞生了其思想，往往在他们形成自己的思想之前，他们会阅读大量比他们时代更早的作品，也会与他们同时代的伟大思想家进行书信，甚至直接的交流。在这样的思辩和讨论之中，他们最终才会形成自己的思想，这些 Read more ...

2021-02-06 discussion , locke , clubhouse , talk , podcast , voice , sound

使用 Beancount 记账篇零：Beancount 入门使用

说起 Beancount，就不得不提复式记账，在之前的文章里面已经完整的叙述过复式记账是比单式记帐更加科学的记账方法，但是复式记账在目前只被大多数企业所采用，并没有被大众所接受，市面上也依然缺少复式记账的工具。而 Beancount 就是其中比较好用的一个工具。为什么要用 Beancount 记账为什么要用 Beancount 记账？要回答这个问题需要从两个方面说起，一方面是为什么要记账，另一方面是在这么多的记账软件中为什么要用 Beancount。首先回答为什么要记账，在之前的文章中也提到过，通过记账是认识自己的一种方式，通过周期性的记账 Read more ...

2021-02-02 beancount , accounting , double-entry , bookkeeping , ledger