My Unfiltered Take on the AI Coding Agent Landscape
(Translated from my Chinese post by Gemini)
Recent Posts
我对各种 AI Coding Agent 工具的看法
Agentic coding 或许是当下最火（最卷）的方向，一万家公司在做。并且隔三差五就在社交媒体上看到又有什么新工具、谁家又出什么新功能了（又 blow 谁的 mind 了，又颠覆谁谁了）。这还挺让人困惑的，我发现很多人会问 “这些 AI coding 工具真有那么牛吗？”，或者 “XX 和 YY 到底有啥区...
Claude Code 内部工作原理窥探
这篇帖子 讲了关于如何偷看 cursor prompt。 它采用的方法是用 ollama 本地跑大模型以及看到 log。文中还提及了使用 ngrok 来把本地的端口暴露到公网，从而能够在 cursor 中访问。 我们用类似的方法来看一下 Claude Code
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...
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.
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 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...
文石 BOOX Note Air 使用感想
Disclaimer: 本文并非客观评测，纯属主观感受。
2020 总结
2020 这一年对我有很大影响，但我在技术、知识上长进不大，主要是在心态观念上有不少改变。有人说年纪大了就会更在乎一些虚的东西，更在乎精神上的愉悦（Teahour Terry，GeekPlux），难道我提前进入这个阶段了？
我在美团实习的经历与感想
Disclaimer：本文提及的内容有效范围仅限于后端业务开发岗位，甚至仅限于我所在部门，仅为个人体验与看法，请酌情参考。
Typeclass vs Trait vs Interface/聊聊多态
Disclamer：由于本人才疏学浅，并且本文涉及的话题内容过多，肯定有不全面甚至错误。本文既不学术也不实践，仅为个人阶段的学习理解，写的也比较随意。如有错误欢迎指正。