学习英语的新工具
2023-05-23
我之前写过文章强调英语的重要性，这些年我也一直还在注重提高英语能力。虽然我在外企工作了两年多，但其实日常表达中使用口语的时间不多，所以口语提升有限。
最近我发现了些新的学习英语的好工具，顺便分享一下自己的一些心得。
Discord 英语小组Discord 是我新工作的日常即时沟通工具 ......
当前 4，共 50 页
新的旅程
2023-05-11
因为家庭原因，我决定回到深圳常住。2023 元旦前夕，我陆续把东西寄回深圳，元旦后我在晨曦中登上了往南的列车。我那时候还没确定会离职，但目前找到了合适的工作，所以就于四月份从微软离职了。
在苏州微软工作的两年多，我遇到了很好的团队和同事，真的要离开了也有些不舍得。微软很大，每个部门的 ......
不想当作家的程序员写不出 Redis
2023-04-04
西西里岛，是位于意大利南部阳光而宁静的岛屿，正如电影《西西里岛的美丽传说》中演绎的那样，这里有着古老的历史和建筑，看起来和 IT 不沾边，却是 Redis 的作者 antirez 的居住地。
Redis 是互联网的一个基础设施，这个世界上大量的网站背后都有 Redis 的影子。相比 ......
人类的终极工具
2023-03-20
乔布斯曾经说过：计算机就像自行车一样，它们是人类思维的自行车。计算机和自行车一样，能够帮助人们快速、高效地完成很多任务，是人类思维工具的一种。
随着 chatGPT 的出现，计算机这个工具彻底地进化了，它比人类懂得更多，能通过语言和人交流，懂得推理和归纳，帮你学习、创造，计算机也可以 ......
Rust 编译器源码概要
2023-03-13
一个 Rust 程序是如何从源文件编译为二进制文件的？
如果从头开始看 rustc 的源码会无从下手，我之前通过解决 issue 去读过部分模块的源码，就是 bottom-up 的方式，但我还未从整体上理解 rustc 的源码结构。
这篇文章主要是我在重看 Rust Compiler ......