程序员的喵

当前 2,共 46 页

和 Rust Compiler 开发者面基

很久没有更新博客了,最近两个月我在开心地写代码,今天想写篇文章,赶紧抓住这个冲动。 上周和 Rust compiler 的一个核心开发 compiler-errors 约了个线上面基。今天想写写我们沟通的主要几个方面,因为大部分都是技术相关的问题,所以我觉得写出来和大家分享一下没关系 ......

无意识偏见

最近看到 Hao Chen 在 Twitter 上分享了无意识偏见,Hao Chen on Twitter: “Unconscious Bias 无意识偏见 在外企中这确实算一个必修课,微软入职的时候这是着重培训的一块内容。多元和包容的职场环境,需要员工关注这些细节。 在经过培训之 ......

我曾经干了 3 年 EDA

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

为 Rust 做些小贡献

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

让 Obsidian 朗读你的文字

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