这周末在上海和几个前同事聚了聚，勾起我的一股回忆。 今天就写写 EDA，因为我的第一份工作就是加入了上海的一个创业公司，我们做的就是 EDA 行业中自动化形式验证工具。 这个行业如今被卡脖子，资本涌入，有人称之为国内的风口，但我加入的那时候就像是一个老鼠洞。我毕业那会儿正好看了《黑客 ......

有一段时间没有写文章了，最近沉迷于给 Rust Compiler 做些贡献，这里分享一下自己的收获和感受。 契机是那天 Rust Issue 到了 100000这个里程碑，我点进去看了看。想起去年花了一周业余时间做过一个去重复的 diagnostics PR，就顺便看了看些最近的一些 ......

让写作更好的一个简单粗暴的办法是成为自己的读者，不断重读自己的文字，不断地去修改。 这不止是让文字变得更易读，也是一个和自己对话的过程，Paul Graham 在Putting Ideas into Words中写道： The real test is reading what y ......

这两天我开始练习双拼输入法，目前已经找到一些感觉。双拼只需要按键两次就能输入一个汉字，我认为这种设计明显更合理，熟练后应该会比全拼快的，另外节奏感会更好些。 换一个陌生的输入法之后，似乎有那种刚使用电脑的感觉，这大概也能锻炼一下脑子，希望顺便纠正一下我前后鼻音不分的问题。 刻意对习以 ......

最近我意识到周刊越写越长，往好处想说明自己乐在其中，我把介绍的东西当成写作的入口，以自己的经验和感受去发散和关联其他内容。 但是坏的方面可能是我在自嗨，文章长不一定好，太长了可能会让读者阅读压力大。所以，我打算控制一下长度，也节省读者的时间。 Side Project 指南Side ......