和 Rust Compiler 开发者面基
2022-11-23
很久没有更新博客了，最近两个月我在开心地写代码，今天想写篇文章，赶紧抓住这个冲动。
上周和 Rust compiler 的一个核心开发 compiler-errors 约了个线上面基。今天想写写我们沟通的主要几个方面，因为大部分都是技术相关的问题，所以我觉得写出来和大家分享一下没关系 ......
当前 6，共 50 页
无意识偏见
2022-10-21
最近看到 Hao Chen 在 Twitter 上分享了无意识偏见，Hao Chen on Twitter: “Unconscious Bias 无意识偏见
在外企中这确实算一个必修课，微软入职的时候这是着重培训的一块内容。多元和包容的职场环境，需要员工关注这些细节。
在经过培训之 ......
我曾经干了 3 年 EDA
2022-08-28
这周末在上海和几个前同事聚了聚，勾起我的一股回忆。
今天就写写 EDA，因为我的第一份工作就是加入了上海的一个创业公司，我们做的就是 EDA 行业中自动化形式验证工具。
这个行业如今被卡脖子，资本涌入，有人称之为国内的风口，但我加入的那时候就像是一个老鼠洞。我毕业那会儿正好看了《黑客 ......
为 Rust 做些小贡献
2022-08-18
有一段时间没有写文章了，最近沉迷于给 Rust Compiler 做些贡献，这里分享一下自己的收获和感受。
契机是那天 Rust Issue 到了 100000这个里程碑，我点进去看了看。想起去年花了一周业余时间做过一个去重复的 diagnostics PR，就顺便看了看些最近的一些 ......
让 Obsidian 朗读你的文字
2022-07-28
让写作更好的一个简单粗暴的办法是成为自己的读者，不断重读自己的文字，不断地去修改。
这不止是让文字变得更易读，也是一个和自己对话的过程，Paul Graham 在Putting Ideas into Words中写道：
The real test is reading what y ......