🤔

We introduce LeaseGuard: a Raft-specific lease protocol with a precise spec and fast recovery after crashes. By leveraging Leader Completeness, the log itself becomes the lease, avoiding the need to maintain extra protocol vars/messages. Using log knowledge, LeaseGuard

Performance Hints Over the years, my colleague Sanjay Ghemawat and I have done a fair bit of diving into performance tuning of various pieces of code. We wrote an internal Performance Hints document a couple of years ago as a way of identifying some general principles and we've

x.com/i/article/2003…

Managing consistency between services inside Convex is ostensibly hard but we've been designing distributed systems for decades. That's our jam. What *has* been hard is load balancing. We use decentralized load balancing where Conductors pick a Funrun to send a transaction to,

提前优化这个话题真是有趣，第一次见这个说法还是 brpc 作者 gejun。即如果不精心设计和实现，会写出一个处处是热点，优化无从下手的系统。 可是这个说法的前提是一开始就要面对 G 家规模的系统。不适用于 99% 的 cpper。 如果遵循 pay as u need 哲学，不过度设计，性能瓶颈反而随着需求自然显现。

丸辣，发现自己有这种倾向，喜欢从满足需求集合的最小单元开始实现，自底向上的构建和完善。 mini-framework 缺乏兼容性的另一面是不用面面俱到，可以面向特定场景做针对性的极致优化。 也许 mini-framework 没什么错，有争议的的是推广迷你框架去替代已有框架，这可能是另一个会反复上演的故事了🌚

On Metastable Failures and Interactions Between Systems. Here are some thoughts on metastable failure feedback loops and trying to avoid them charap.co/on-metastable-…

github.com/SlugLab/CXLMem… world first type 2 emulator!

[academic navel-gazing] I was curious what’s been top of mind at the flagship systems conferences (OSDI + SOSP) over the past decade. So I used ChatGPT Research to analyze the last 10 years of papers (718 papers total), classifying them into coarse topic areas. High-level

Marcus Eisele Claude has been running my nanochat experiments since morning. It writes implementations, debugs them with toy examples, writes tests and makes them fail/pass, launches training runs, babysits them by tailing logs and pulling stats from wandb, keeps a running markdown file of

发现自己的 coding 模式最近几个月的一些变化。 - rules/docs 的习惯 我现在会非常谨慎引入 rules/mcp tools，相反会在文件、类、代码上以更聚集性（locality）的方式把重要的结论、演进历史、设计决定嵌入或者存在同一级别。让 swe agent 按需能搜到、pick up 到。 - fine-grained conversation

万能 x 圈，求高效的管理cursor rules，cc的CLAUDE.md以及codex 的AGENT.md的方法。老登感觉自己太落后了

damn fast

I rarely like survey papers but this one is an exception, reads really well like a blog and has really good insights all along.

damn，coder will not exist any more. only builder can survive

I'm Boris and I created Claude Code. Lots of people have asked how I use Claude Code, so I wanted to show off my setup a bit. My setup might be surprisingly vanilla! Claude Code works great out of the box, so I personally don't customize it much. There is no one correct way to

Boris 的 9 条 Claude Code 实战技巧：原来高手的配置这么“朴素” Boris Cherny 在 Anthropic 内部有个绰号：Claude Code 之父。他最近在 X 上很活跃，于是很多人问 Boris：你自己到底怎么用 Claude Code？他刚在 X 上分享了 9 条实战技巧。 没有你想象的那么多技巧，每一条都朴实无华。

i finally have the tmux setup of my dreams - vesper theme matching my terminal - fuzzy project sessionizer - option+hjkl to move between panes - sessions persist across reboots - minimal status bar, no clutter thanks claude, back to building