Posts by Category
CS
Stupidly effective ways to optimize Rust compile time
How I reduced 10 minutes of CI time without much effort
我如何动动小手就让 CI 时间减少了 10 分钟
Stupidly effective ways to optimize Rust compile time
Profiling 101
A beginner’s guide to profiling
递归改写成迭代的通用方法
递归是像呼吸一般自然的事情。 ——罗宸《谈递归(一):递归的五种定式》
为啥 Paxos 这么难?
因为它需要一种不同的思维方式
Why is Paxos Hard?
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:由于本人才疏学浅,并且本文涉及的话题内容过多,肯定有不全面甚至错误。本文既不学术也不实践,仅为个人阶段的学习理解,写的也比较随意。如有错误欢迎指正。
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.
This Week in RisingWave #6 (20230325)
This week, I talked about NULLS {FIRST | LAST}, renaming relations, bushy tree, zld, open source and more.
This Week in RisingWave #5 (20230318)
The exciting things happening in RisingWave
This Week in RisingWave #4 (20230310)
The exciting things happening in RisingWave
This Week in RisingWave #3 (20230304)
The exciting things happening in RisingWave
This Week in RisingWave #2 (20230225)
The exciting things happening in RisingWave
This Week in RisingWave #1 (20230217)
RisingWave is a distributed SQL database for stream processing written in Rust. As a developer of RisingWave, I’m always excited (and also a little bit overw...
Life
文石 BOOX Note Air 使用感想
Disclaimer: 本文并非客观评测,纯属主观感受。
2020 总结
2020 这一年对我有很大影响,但我在技术、知识上长进不大,主要是在心态观念上有不少改变。有人说年纪大了就会更在乎一些虚的东西,更在乎精神上的愉悦(Teahour Terry,GeekPlux),难道我提前进入这个阶段了?
Random
Hello
Hello