Stupidly effective ways to optimize Rust compile time
How I reduced 10 minutes of CI time without much effort
Posts by Category
CS
我如何动动小手就让 CI 时间减少了 10 分钟
Stupidly effective ways to optimize Rust compile time
Profiling 101
A beginner's guide to profiling
递归改写成迭代的通用方法
递归是像呼吸一般自然的事情。 ——罗宸《谈递归（一）：递归的五种定式》
为啥 Paxos 这么难？
因为它需要一种不同的思维方式
Why is Paxos So Hard to Understand?
Because it requires a different mindset
从接口视角看密码学原语
现代密码学主要是建立在问题的困难性上的：解密相当于求解一个困难的数学问题。这些精妙的构造是人类智慧的精华，要想完全理解他们，需要不少的数学基础。但其实密码学也是模块化的，它提供了各种基础的原语，作为对密码学没那么感兴趣的普通人，尤其是开发者，我们可以先不用完全搞懂里面的数学问题，而是看它提供了什么样的接口，保证了...
MIT 6.824 Lab3 KVRaft 笔记
本以为写完 Raft 以后，在 Raft 上搭一个 app 想必是行云流水。事实证明我错了，又是踩了许多坑。 T_T
MIT 6.824 Lab2 Raft 笔记
最近终于自己动手做了一下大名鼎鼎的 MIT 6.824 Lab。因为 6.824 的资料已经有太多了，像介绍 Raft、介绍 Lab 之类的东西就不必再提了，另外 Raft 确实是名副其实的 understandable，算法很容易看懂，而且实现细节在 paper 中都体现得很好（Figure 2 is extr...
我在美团实习的经历与感想
Disclaimer：本文提及的内容有效范围仅限于后端业务开发岗位，甚至仅限于我所在部门，仅为个人体验与看法，请酌情参考。
Typeclass vs Trait vs Interface/聊聊多态
Disclamer：由于本人才疏学浅，并且本文涉及的话题内容过多，肯定有不全面甚至错误。本文既不学术也不实践，仅为个人阶段的学习理解，写的也比较随意。如有错误欢迎指正。
Life
文石 BOOX Note Air 使用感想
Disclaimer: 本文并非客观评测，纯属主观感受。
2020 总结
2020 这一年对我有很大影响，但我在技术、知识上长进不大，主要是在心态观念上有不少改变。有人说年纪大了就会更在乎一些虚的东西，更在乎精神上的愉悦（Teahour Terry，GeekPlux），难道我提前进入这个阶段了？
This-Week-in-RisingWave
New site for This Week in RisingWave
This Week in RisingWave is now migrated to a new dedicated site: this-week-in-risingwave.vercel.app.
Misc
Why English Quote (') looks bad in my blog?
As you might have noticed, I write blogs in both Chinese and English. My approach to multilingual blogs is straightforward and somewhat brute-force: I simply...