CatCoding

当前 6,共 52 页

学习英语的新工具

我之前写过文章强调英语的重要性,这些年我也一直还在注重提高英语能力。虽然我在外企工作了两年多,但其实日常表达中使用口语的时间不多,所以口语提升有限。 最近我发现了些新的学习英语的好工具,顺便分享一下自...

新的旅程

因为家庭原因,我决定回到深圳常住。2023 元旦前夕,我陆续把东西寄回深圳,元旦后我在晨曦中登上了往南的列车。我那时候还没确定会离职,但目前找到了合适的工作,所以就于四月份从微软离职了。 在苏州微软工...

不想当作家的程序员写不出 Redis

西西里岛,是位于意大利南部阳光而宁静的岛屿,正如电影《西西里岛的美丽传说》中演绎的那样,这里有着古老的历史和建筑,看起来和 IT 不沾边,却是 Redis 的作者 antirez 的居住地。 Red...

人类的终极工具

乔布斯曾经说过:计算机就像自行车一样,它们是人类思维的自行车。计算机和自行车一样,能够帮助人们快速、高效地完成很多任务,是人类思维工具的一种。 随着 chatGPT 的出现,计算机这个工具彻底地进化了...

Rust 编译器源码概要

一个 Rust 程序是如何从源文件编译为二进制文件的? 如果从头开始看 rustc 的源码会无从下手,我之前通过解决 issue 去读过部分模块的源码,就是 bottom-up 的方式,但我还未从整体...