AIVO là blog kỹ thuật của Tú (tusgino). Viết chậm, hiểu sâu về kiến trúc hệ thống production-grade, hạ tầng đám mây và trải nghiệm đọc trên web.https://aivo.io.vn/https://aivo.io.vn/blog/coverage-100-ma-van-khong-chay/https://aivo.io.vn/blog/coverage-100-ma-van-khong-chay/Một tính năng chết hẳn trong sản phẩm, trong khi 178 test xanh và coverage vẫn 100%. Coverage đo dòng đã chạy, chứ không đo đường mà sản phẩm thật sự đi.Tue, 29 Sep 2026 00:00:00 GMThttps://aivo.io.vn/blog/hoi-truoc-khi-ghi/https://aivo.io.vn/blog/hoi-truoc-khi-ghi/Quyền không phải một cờ đúng sai. Nó là một seam có hợp đồng, ba mức sandbox chỉ áp cho tệp, và một mặc định: không ai trả lời thì câu trả lời là không.Mon, 28 Sep 2026 00:00:00 GMThttps://aivo.io.vn/blog/cat-ngu-canh-van-kiem-toan-duoc/https://aivo.io.vn/blog/cat-ngu-canh-van-kiem-toan-duoc/Compaction không xoá gì cả. Nó chỉ che một khoảng trên bề mặt gửi cho model, ghi lại đúng khoảng đã che, và để nguyên bản gốc trong sổ để lần sau tra lại.Sun, 27 Sep 2026 00:00:00 GMThttps://aivo.io.vn/blog/mot-tool-call-di-qua-bay-chang/https://aivo.io.vn/blog/mot-tool-call-di-qua-bay-chang/Một lời gọi tool đi qua bảy chặng trước khi chạm tới thân tool. Chính sách, hook và sandbox sống trên đường đi đó, và thân tool không cần biết gì về chúng.Sat, 26 Sep 2026 00:00:00 GMThttps://aivo.io.vn/blog/so-ghi-la-nguon-khong-phai-ban-sao/https://aivo.io.vn/blog/so-ghi-la-nguon-khong-phai-ban-sao/Mọi thứ model nhìn thấy phải nằm trong sổ trước. Ngữ cảnh gửi cho model không được lưu song song — nó được suy ra, và đó là khác biệt giữa nguồn với bản sao.Fri, 25 Sep 2026 00:00:00 GMThttps://aivo.io.vn/blog/cung-mot-vong-lap-hai-kien-truc/https://aivo.io.vn/blog/cung-mot-vong-lap-hai-kien-truc/Mọi harness đều có sổ ghi, sổ tool, ngân sách và tầng quyền. Chúng khác nhau ở chỗ cái nào bạn được phép thay — tôi đã đọc mã nguồn bốn harness để trả lời.Thu, 24 Sep 2026 00:00:00 GMThttps://aivo.io.vn/blog/harness-bat-dau-tu-cho-nao/https://aivo.io.vn/blog/harness-bat-dau-tu-cho-nao/Vòng lặp chỉ là bộ điều phối. Thứ biến nó thành harness là bốn mảnh cắm rời được, và trong một harness thật cả bốn đều là plugin thay được từ cấu hình.Wed, 23 Sep 2026 00:00:00 GMThttps://aivo.io.vn/blog/system-one-typed-decisions/https://aivo.io.vn/blog/system-one-typed-decisions/Khám phá System One AI với TypeSafe Jev: thay thế LLM chậm chạp bằng Typed Decisions, phân phối xác suất và 3 primitive Choice, Score, Noul trong thực tế.Tue, 22 Sep 2026 00:00:00 GMThttps://aivo.io.vn/blog/vong-while-chay-duoc-toi-luc-khong/https://aivo.io.vn/blog/vong-while-chay-duoc-toi-luc-khong/Một agent loop chạy được sau mười dòng. Bản production của cùng vòng lặp đó dài 101 dòng, và phần dôi ra đều là những chỗ nó từng vỡ. Đây là bốn chỗ đó.Tue, 22 Sep 2026 00:00:00 GMThttps://aivo.io.vn/blog/model-de-nghi-code-thuc-thi/https://aivo.io.vn/blog/model-de-nghi-code-thuc-thi/Model chỉ thấy phần khai báo của tool, không thấy phần thực thi. Một tool call là yêu cầu có cấu trúc mà code của bạn kiểm tra, kiểm quyền, rồi quyết định chạy.Mon, 21 Sep 2026 00:00:00 GMThttps://aivo.io.vn/blog/cua-so-ngu-canh-khong-phai-tri-nho/https://aivo.io.vn/blog/cua-so-ngu-canh-khong-phai-tri-nho/Cửa sổ ngữ cảnh là ngân sách hữu hạn, không phải trí nhớ. Cùng một request, hai tỉ lệ ước lượng token lệch nhau 1,6 lần, và bạn không biết mình ở đâu.Sun, 20 Sep 2026 00:00:00 GMThttps://aivo.io.vn/blog/mot-lan-goi-api-roi-quen-het/https://aivo.io.vn/blog/mot-lan-goi-api-roi-quen-het/Mỗi lần gọi API là một hàm thuần: text vào, text ra, xong là hết. Cái bạn tưởng là trí nhớ của model thực ra là lịch sử bạn tự gửi lại, và bạn trả tiền cho nó.Sat, 19 Sep 2026 00:00:00 GMT