AI tự đẻ code, đẻ PR rần rần nghe thì sướng, nhưng lúc merge vào main mà đ*o báo lỗi trên CI rồi sập luôn server thì ai khóc? Dev khóc chứ ai.
Laramie - một tay to 20 năm tuổi nghề, ban ngày làm sếp quản lý, ban đêm lén xài Claude Code với Codex cày cuốc chung trên một repo. Đang code sướng tay thì lão phát hiện ra một cái gai to tổ chảng:
Lý do ở đâu? Thằng Git thì nó chỉ biết merge text, nó đ*o quan tâm đến logic. Còn CI thì chỉ soi từng nhánh một cách cô lập. Tóm lại, chẳng có cơ chế quái nào kiểm tra xem cái nhánh A nó có "tương thích" với nhánh B hay không.
Cay cú, lão tự tay đẻ ra con tool tên là Rosentic.
Mục đích của nó? Check chéo mọi PR đang mở với nhau TRƯỚC khi anh em bấm nút merge. Nhờ đó, nó bắt được những lỗi mà không một tool test đơn lẻ nào soi ra. Đặc biệt là cài đặt siêu nhanh: 1 file YAML, ném lên hạ tầng nhà mình, 60s là chạy, không cần đăng nhập hay đăng ký lằng nhằng.
Sản phẩm vừa ném lên Product Hunt là anh em xúm vào mổ xẻ ngay. Điểm số vọt lên 165 với mấy luồng ý kiến cực kỳ đáng chú ý:
1. Hội Sếp bự thấm đòn: Một lão cựu CTO từng quản 120 mạng dev phải nhảy vào vỗ đùi đánh đét. Lão bảo hồi xưa dev chạy bằng cơm dẫm chân nhau đã mệt, giờ cho các ai tools chạy song song thì conflict logic (chứ không phải conflict text) chắc chắn thành đại họa. Laramie chốt hạ: tool này bỏ qua text, soi thẳng vào cấu trúc code. Ví dụ anh sửa function signature ở PR A mà PR B vẫn hồn nhiên gọi bản cũ là Rosentic nó bế đi ngay, chỉ đích danh file và dòng bị lỗi.
2. Hội đa nghi, sợ bị lùa gà bằng LLM: Thấy quảng cáo có chữ "Deterministic analysis" (Phân tích tất định), vài đạo hữu liền tra khảo xem có xài SMT solver hay AST không, hay lại lấy LLM ra bọc lại rồi quay lô tô (vì trò này trên thị trường nhan nhản). Tác giả khẳng định đanh thép: KHÔNG DÙNG LLM ở đây! Tool nó phân tích cấu trúc, bóc tách symbol, đo đoán mò, đo gọi API model. Kết quả 100% như nhau mỗi lần chạy.
3. Đội thực dụng chuyên bắt lỗi false positive: Một pháp sư khác thì hỏi vặn: lỡ 2 PR chạm vào cùng 1 chỗ nhưng mục đích hoàn toàn chính đáng thì sao? Laramie thừa nhận tool đang focus vào "structural contracts" (chữ ký hàm, routes, schema). Còn dăm ba cái side-effects như đổi log hay metrics thì tạm thời nằm ngoài vùng phủ sóng. Trưởng lão Laramie cũng rất cầu thị, mong anh em xài thử rồi bash nhiệt tình để hoàn thiện.
Tóm cái váy lại, Rosentic giải quyết đúng cái chỗ ngứa mà mấy tool CI/CD hiện tại đang ngó lơ: khả năng tương thích chéo giữa các PR.
Anh em dev dạo rút ra được bài học gì sau vụ này? Đừng tin tưởng tuyệt đối vào việc CI xanh. CI báo pass không có nghĩa là app không sập.
Xài AI để đẻ code thì sướng thật đấy, nhưng review và quản lý conflict logic giữa một bầy AI mới là thứ cắn RAM của anh em mình nhất trong thời gian tới. Biết sớm mà phòng bị đi các đồng đạo.
Nguồn hóng hớt: Product Hunt (Rosentic)
Hai con AI đẻ ra hai PR pass CI ngon lành, nhưng gộp lại thì toang main. Hóng drama và giải pháp từ một lão quái 20 năm kinh nghiệm trị bệnh này.
