System in Rust, Application in AI.
Slow down. Have fun. Live well.
INTJ-A. No ism.
Lifelong Programmer and Writer.
Study in Public, Building in Public.
🦀 保命
当年 FORTRAN 团队认为,只有证明生成程序几乎和手写代码一样高效,系统才可能被广泛使用。如果生成代码只有手写代码一半速度,接受度就会有严重危险。
这和现在大家对 AI 生成代码的担忧和抵制的原因一致:
“你生成得很快,但我怎么知道它不是又慢、又错、又难调?”
但编译器和 AI 有本质区别:确定性。
编译器是机械翻译,AI 是不确定性生成。
两者信任基础不一样:前者的信任问题主要是编译器正确性和优化质量;后者的信任问题还包括需求理解、边界遗漏、架构幻想、测试缺失和语义漂移等等。
当年 C 能赢过 FORTRAN 成为系统语言首选,主要还不是“相信编译器”这种叙事,而是它把自动化做成了可检查、可调试、可混用、可逐步采用、贴近硬件的抽象和可移植的工程工具。
所以,如果要从历史里吸取教训的话,那就是现在 AI 生成代码必须得把“概率生成”压进“工程验证”这个框架里。
否则大家拒绝直接使用 AI 生成的代码,不是跟不上时代的守旧思想,只是想对代码进行合理的风险控制。
I got into @ycombinator S26!
The past 6 months have felt like 2 years:
- Turned down 7-figure new grad offers at top companies
- Bootstrapped until my bank account hit zero
- Pivoted 5 times, and did door-to-door sales for a couple of months
- Joined @zfellows and flew out to SF last month
- Cancelled my return flight to Toronto
- Had wonderful neighbours I'd just met crowd-fund my apartment deposit
- Got the call from @aroraharshita33 6 hours after my YC interview
...all without telling my mom.
Codag is the crystallization of everything I picked up across infrastructure, systems, and platform engineering.
Our thesis is that within two years, agents will be the primary consumer of logs, and soon the primary producer of them. Today's observability stack and dashboards were built for humans to look at. Agents are a different reader entirely, and the infrastructure for understanding systems at scale has to be rebuilt for them.
That is what we're building. We start with log compression: turning millions of lines into a compact, cited capsule an agent can actually read, so it stops drowning and starts debugging.
I cannot believe I get to work on this full time - I wake up every day looking forward to building more. To everyone who made it real: @carterkev, @cory, @aroraharshita33, @amiklas, @nemild for taking the bet, the neighbours who backed a stranger with a laptop, and the countless friends that support me. Thank you.
We just published an open source CLI and algorithm for log compression, fully free at codag.ai. If your agent debugs production, I'd love for you to try it, or just to talk. Got a lot more coming soon, and most of it will be open source.
Now I should probably call my mom 😰
사실 사회 전체적인 학력이 올라가면서 학력 자체의 의미도 달라지고 있는 것 같은데, 솔직히 대부분의 학부과정은 학문을 탐구하는 전당이라는 의미로서의 대학 과정이라기보다는 취업사관학교가 되어 버린지 오래이고, 그런 부분은 석박사가 떠안은 것 같다. 석사가 거의 의무처럼 된 중국에서는