因为家庭原因，我决定回到深圳常住。2023 元旦前夕，我陆续把东西寄回深圳，元旦后我在晨曦中登上了往南的列车。我那时候还没确定会离职，但目前找到了合适的工作，所以就于四月份从微软离职了。 在苏州微软工作的两年多，我遇到了很好的团队和同事，真的要离开了也有些不舍得。微软很大，每个部门的 ......

西西里岛，是位于意大利南部阳光而宁静的岛屿，正如电影《西西里岛的美丽传说》中演绎的那样，这里有着古老的历史和建筑，看起来和 IT 不沾边，却是 Redis 的作者 antirez 的居住地。 Redis 是互联网的一个基础设施，这个世界上大量的网站背后都有 Redis 的影子。相比 ......

乔布斯曾经说过：计算机就像自行车一样，它们是人类思维的自行车。计算机和自行车一样，能够帮助人们快速、高效地完成很多任务，是人类思维工具的一种。 随着 chatGPT 的出现，计算机这个工具彻底地进化了，它比人类懂得更多，能通过语言和人交流，懂得推理和归纳，帮你学习、创造，计算机也可以 ......

一个 Rust 程序是如何从源文件编译为二进制文件的？ 如果从头开始看 rustc 的源码会无从下手，我之前通过解决 issue 去读过部分模块的源码，就是 bottom-up 的方式，但我还未从整体上理解 rustc 的源码结构。 这篇文章主要是我在重看 Rust Compiler ......

苹果新的芯片性能真是不错，并且续航很可观，所以我最近买了个 M2 Pro。有几年没使用 Mac 系统了，所以日常使用还有些别扭，但最让我闹心是发现了苹果一个让人大跌眼镜的设计，而我几乎没找到关于这点的中文资料，所以写下来分享给你。 我日常会花时间在 Rust 编译器项目上，经常需要编 ......