使用了半年 macOS 之后 我又回到了 Linux 的怀抱

我在使用了半年 macOS 之后，又回到了 Linux 的怀抱，虽然 macOS 有其自身的优势，我也不否认 macOS 系统上软件生态的友好，但我发现即使我将日常开发主力机器装回到 Linux，也没有丧失操作系统的便捷性和易用性。这或许和我下意识的只使用跨平台的软件有关，并且最长使用的软件几乎都是一套快捷键。 一开始从一个系统切换到另一个系统的时候，难免会有一些东西需要学习，但是其内在的逻辑是一致的，操作系统无非是提高了上层应用运行时的环境。并且如今跨平台的软件越来越多，只要数据在我这里，无论在哪一个系统中都可以迅速地开始自己的工作。 契机 稳定 Read more ...

2021-03-31 linux , macos , operating-system

重置 macOS S.M.C 和 NVRAM

今天用得好好的电脑突然三次黑屏，两次发生在早上刚刚使用的时候，一次发生在晚上回家之后。所以一怒之下就直接上官网联系了 Apple Support，但是也不知道是不是我直接登录的 .com 网站，在我提交了 Support 之后一分钟一个外国小哥打了电话过来，我一下子没反应过来，只能用着不那么熟练的英语开始了 macOS 修复之路。 我简单地向这位技术小哥描述了我的问题，大致意思就是系统突然崩溃了三次，然后在聊的过程之中，经过他的提醒，我发现出现问题的时候都是系统从睡眠状态中恢复，并刚开机不久，在打字的过程中，突然风扇很响一声，电脑就黑屏了。 虽然这个 Read more ...

2021-03-24 macos , apple , apple-support , nvram , operating-system

从 VMware Fusion 中迁移虚拟机到 VMware Workstation

用了半年多 macOS，虽然不错，但工作用还是觉得 Linux 比较顺手，所以经过了半年时间还是从 macOS 切换回了 Linux。然而需要解决的一个问题便是我之前的 macOS 上使用 VMware Fusion 的个人授权安装了一个 Windows 用来进行一些调试，现在有一些配置因为需要依赖外部人员进行操作，证书之类的，只能想办法把 Fusion 上的虚拟机转移到 Linux 下的 VMware Workstation 中。 前提知识 在正式迁移之前先了解一下磁盘上的几类文件，这些文件都是和 VMware 虚拟机相关的。 VMX 文件 VMw Read more ...

2021-03-24 vmware , vmware-workstation , vmware-fusion , virtual-machine , vm , windows

VMware Workstation 虚拟机网络设置

总结一下 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 ...

2021-03-23 vmware , vmware-workstation , vm , virtual-machine , linux , ip , network

在 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 , 模式匹配算法 , 算法

电子书

本站提供服务

文章分类

最近文章

  • 关于习惯养成和打破的科学 昨天，花了半天的时间去听了 Andrew Huberman 的一个 YouTube 视频 —- The Science of Making & Breaking Habits，主要讲的是从神经科学结合心理学的角度，探讨了习惯的形成和破除机制，并且 Huberman 教授提供了多项实用的工具来帮助我们培养习惯以及破除我们不希望的习惯。
  • Rancher 中创建 K3s 集群 CA 检查报错解决方案 在之前的文章中遗留下来一些没有解决的问题，当时只是记录了一下， 后来因为只使用了 local 集群就没有继续调查，现在想要创建 K3s 集群的时候再次遇到了类似的问题。
  • LingQ：通过可理解输入学习语言 之前有写过一篇文章，大致地总结了一下自己关于Duolingo的一些想法，前段时间在打卡了 800 天之后，把 Duolingo 中的英语韩语和日语全部通关到了最后只能每天重复，所以发了一个推特帖子想要寻找一下比 Duolingo 更深度一些，每天可以坚持记忆一些语言支持的「工具」。我个人非常不喜欢直接拿一个背单词应用就开始背诵的方式，虽然我承认只要长期坚持还是会有一定的效果，但是一方面是效率很低，背过的单词不容易被想起来，另外一方面也是单纯的背单词非常的无聊。我也尝试过在浏览网页的时候将生词存放到 Anki 中，然后定期回顾，但是单词脱离了上下文，总是感觉还是像是在一个个过单词，我在之前的文章中介绍过 Comprehensible Input （可理解输入），但实际上自己一直没有好好地践行，看过一些日剧，日综，但是现在还是韩剧/韩综看得更多，在日常生活中英文的材料看得更多，日文的内容输入相对就比较少，也尝试过找一些日语的播客，但是以我现在的水平，最基础的都有一些费力的情况下，还是没有达到可以收听日语播客的程度。所以，这段时间我就是一直在没有找到比 Duolingo 更好的，又能够随时随地可以拿出来打个卡的服务，直到我看到了 LingQ，第一次注意到 LingQ 还是在 GitHub 中看到一个仓库是将 NHK Easy News 导入到 LingQ，隔天我就又看到一位朋友也在推荐 LingQ 作为沉浸式阅读工具，所以我就决定好好来研究一个这个工具。
  • Amazon 推出 Kiro AI IDE 新一代 AI 辅助集成开发环境 在 AI 辅助代码生成领域，从来不缺竞争者，现在 Amazon 正式加入了战争推出 Kiro AI IDE，Amazon 在之前就推出过智能助手 Amazon Q，以及代码补全插件 CodeWhisperer，但是在激烈的代码生成领域依然没有竞争过 Cursor，Windsurf，Claude Code 等一众的领跑者，甚至声量都没超过 Gemini CLI。现在推出的 Kiro 是一个集成的开发环境，至此互联网巨头中除了苹果没有推出 AI 辅助编码的工具之外所有的公司都已经有了对应的产品。
  • SuperClaude 让 Claude Code 更专业更顺手 SuperClaude 是一个 开源的 Claude Code 增强工具，提供了额外的命令，人物角色（Personas），以及更好的 MCP 服务集成。

赞助