Redis có kiểu dữ liệu mảng mới nhờ AI

Lập trình viên huyền thoại Salvatore Sanfilippo (antirez), cha đẻ của Redis, vừa chia sẻ câu chuyện phát triển kiểu dữ liệu Array mới cho Redis – một quá trình kéo dài 4 tháng với sự hỗ trợ đắc lực từ AI. Thay vì mất 4 tháng cho một tính năng, antirez cho biết nhờ GPT 5.3 (Codex) và các mô hình LLM khác, anh đã hoàn thành nhiều hơn trong cùng thời gian, từ thiết kế, viết spec, đến tối ưu code hệ thống. Điều này cho thấy AI không chỉ giúp viết code nhanh hơn mà còn nâng cao chất lượng thiết kế phần mềm phức tạp.

Cấu trúc dữ liệu thông minh tự biến hình

Điểm đặc biệt của Array mới này là cấu trúc dữ liệu thích ứng: khi mảng nhỏ, nó dùng directory + slices thông thường; khi số lượng phần tử vượt ngưỡng, nó tự động chuyển thành super directory với các slice dense, cho phép thao tác ARPOP, ARSCAN với tốc độ tuyến tính theo số phần tử thực tế, không theo khoảng chỉ mục. Antirez nhấn mạnh rằng nếu không có AI, anh sẽ phải chấp nhận thiết kế compromise, nhưng nhờ AI, anh đã đi xa hơn, code được tinh chỉnh bằng tay kết hợp AI, stress test kỹ lưỡng. Ứng dụng thực tế: Redis Array mới cho phép lưu file markdown một cách hiệu quả, giúp doanh nghiệp Việt tiết kiệm chi phí hạ tầng công nghệ.

Cú hích cho open source và làn sóng AI-assisted coding

Câu chuyện của antirez là minh chứng rõ ràng cho xu hướng AI-assisted coding – lập trình viên Việt Nam cũng có thể tận dụng các công cụ như GPT, Codex để tăng năng suất gấp nhiều lần. Redis vốn là hệ thống lưu trữ trong bộ nhớ phổ biến, và kiểu dữ liệu Array mới này, khi được cập nhật vào bản phát hành chính thức, sẽ mang lại lợi ích thiết thực cho các startup, fintech, và hệ thống real-time. Sự kiện này cũng khẳng định open source vẫn là môi trường màu mỡ cho AI và sáng tạo.