drdr.xp
@drmingdrmer
Followers
4K
Following
3K
Media
232
Statuses
1K
要了几天饱饭就不记得西北风啥味了
39.971217,116.32438
Joined June 2007
analyzed the re-join bug for several popular raft lib and the detailed description/solution is here: https://t.co/YnGehZHSp8
github.com
analyzes popular Raft implementations for a critical replication progress corruption bug that occurs during membership changes - drmingdrmer/raft-rejoin-bug
0
0
1
10 years after leaving, got a message from a former colleague asking for help fixing the storage system I built. 🤔
0
1
6
While building OpenRaft, I discovered many Raft impls lack protection against infinite append-entries loops during config changes. Asked Claude to audit major Raft libs against OpenRaft's solution—several still have this bug. Writing a detailed analysis. Stay tuned!
1
1
12
openraft example: handling gRPC payload size limits in append_entries RPC. Shows how to chunk large log replications automatically. https://t.co/sMigAOyPhd
github.com
Changelog feat: example: handle gRPC payload size limit in append_entries Implement automatic chunking for append_entries when gRPC payload exceeds message size limits. When the server returns OutO...
1
0
3
AI is weirdly good at showing me what I'm actually thinking. I explain something half-baked, ask it to fill in the details, and suddenly I see all the holes in my logic. Seeing my own ideas rephrased is like holding up a mirror to my brain.
0
0
4
Thanks @PopDotLol for eliminating compio's tokio dependency - one less transitive dep for OpenRaft https://t.co/zzn8FkLD7i
github.com
The PR replace tokio in rt-compio with: flume for both bounded and unbounded mpsc. This is what we used internally at compio, so no additional dependencies. see for tokio::sync::watch. futures::lo...
0
0
3
One of the biggest benefits of using AI for programming is having more time to think. Instead of spending hours wrestling with API documentation and compilation errors, I can focus on solving the actual problems.
0
0
2
Every 的一篇博文，记录了他们内部 6 位工程师日常是怎么使用 AI 的，可以学习借鉴一下。这 6 个人都很厉害，撑起了 4 款 AI 产品、一个咨询业务，还有一个 10 万多读者的订阅每日更新。 第 1 位 —— 走在实验前沿：Yash Poojary, Sparkle 总经理 Yash 是 Sparkle
39
241
1K
New example added to OpenRaft: follower reads for distributing read load across the cluster while maintaining linearizability https://t.co/b7OMCg8FJR
#Rust #Raft
0
0
3
1² + 2² + 3² + ... + n² = ⅙n(n+1)(2n+1) always seemed abstract to me. I was familiar with the visual proof for 1 + 2 + 3 + ... + n using two triangles, but I never imagined you could prove the sum of squares by actually stacking pyramids in 3D space. Beautifully intuitive!
1
0
2
另外效率提升来自于并行了...以前思考占一部分时间扣腚还要花时间, 现在我可以让AI自己扣的时候想点别的有的没的🧠🧠🧠
用了AI之后有代码质量大幅提高的感觉🤔对p人来说, 有时功能做完就懒得收拾, 因为调整起来太费功夫. 现在可以把确定性的调整都扔过AI,还做的色艺双全. 自己只需负责想清楚就行, 感觉大脑利用率提升了🧠
0
0
2
用了AI之后有代码质量大幅提高的感觉🤔对p人来说, 有时功能做完就懒得收拾, 因为调整起来太费功夫. 现在可以把确定性的调整都扔过AI,还做的色艺双全. 自己只需负责想清楚就行, 感觉大脑利用率提升了🧠
1
0
8