Kiến trúc hệ thống
Postgres SKIP LOCKED: Xoá Bỏ Gánh Nặng Message Broker
Tìm hiểu cách mệnh đề FOR UPDATE SKIP LOCKED trong PostgreSQL giúp dựng hàng đợi tác vụ an toàn giao dịch mà không cần thêm Redis hay RabbitMQ.
Chủ đề
Kỹ thuật phần mềm
Một tuyển tập để khám phá, từng ý tưởng một.
Bài viết
Mới nhất trước
AI Agent
Vì Sao Harness Là Con Hào Kinh Tế Thực Sự Của SaaS
Năng lực mô hình AI đang dần trở thành hàng hóa dùng chung. Giá trị cốt lõi và con hào kinh tế của SaaS chuyển dịch hoàn toàn sang bộ khung điều phối (harness).
Cơ sở dữ liệu
Chặn Trùng Lịch Đặt Chỗ Triệt Để Với Postgres Exclusion Constraint
Loại bỏ hoàn toàn race condition và lỗi trùng lịch đặt chỗ bằng cách sử dụng PostgreSQL range types kết hợp GiST exclusion constraints.
AI Agent
Khi AI Lập Trình: Ngôn Ngữ Sẽ Tiến Hoá Ra Sao?
Khi các AI agent viết phần lớn mã nguồn, thiết kế ngôn ngữ lập trình, công cụ dev và hệ sinh thái thư viện sẽ thay đổi căn bản.
AI Agent
Computer Use Cần System 1, Không Phải LLM Khổng Lồ
Dùng LLM hàng trăm tỷ tham số để bấm nút là lãng phí. CUA-S1 chứng minh mô hình 706k tham số đủ sức làm chủ tự động hóa giao diện.
Kỹ thuật phần mềm
Lỗi SQLite 16 Năm: Bài Học Hệ Thống Từ Tailscale
Tailscale vừa truy vết sự cố hỏng dữ liệu về một lỗi 16 năm trong SQLite, nhắc nhở tầm quan trọng của kỹ thuật hệ thống nền tảng.
AI
AI Suy Luận: Kết Quả Đúng Nhờ Sai Logic?
Nhiều nghiên cứu chỉ ra mô hình AI suy luận thường ra kết quả đúng dù các bước trung gian bị lỗi. Bài viết phân tích lý do và ảnh hưởng.
Công cụ lập trình
Vì Sao Bun Chuyển Sang Rust: Bài Học Tooling Lập Trình
Việc Bun chuyển kiến trúc sang Rust cho thấy sự an toàn bộ nhớ và hệ sinh thái trưởng thành đóng vai trò quyết định trong công cụ lập trình.
AI
Token Profiling: Cổng Kiểm Soát Chi Phí Cho AI Agent
Khi AI agent chạy các chu trình tự động, chi phí token dễ vượt tầm kiểm soát. Token profiler và cổng regression mang kỷ luật phần mềm vào AI.