The receipt should come from the person who received it

Compare Against the Schema They Shipped, Not the One You Expected

Khi kiểm thử mô hình AI, nhóm phát triển sử dụng một harness tự động để xác nhận các đối số mà mô hình trả về. Harness này so sánh dữ liệu thực tế với một schema mà đội ngũ mong đợi, thay vì schema mà mô hình đã được triển khai thực tế. Do sự chênh lệch này, harness báo lỗi liên tục dù mô hình hoạt động đúng theo phiên bản đã ship, gây mất thời gian debug và giảm niềm tin vào công cụ kiểm thử. Bài học là luôn kiểm tra output so sánh với schema thực tế mà mô hình đã được phát hành, dựa trên tài liệu hoặc phiên bản artifact đã deploy. Việc áp dụng nguyên tắc này giúp giảm false positive trong quá trình testing và tăng độ tin cậy của pipeline CI/CD cho các dự án AI open-source.

Bài viết giúp bạn hiểu cách kiểm tra API chính xác bằng cách so sánh với schema thực tế thay vì schema dự kiến để phát hiện lỗi bảo mật sớm.

Introducing rgctl: A Code Knowledge Graph for Engineering Teams and Agents

rgctl là công cụ Rust mã nguồn mở (Giấy phép MIT) chỉ mục hóa codebase một lần thành knowledge graph được map vào bộ nhớ với reachability bitsets tính toán sẵn, trả lời các truy vấn cấu trúc như blast radius, program slicing, taint analysis và community detection trong thời gian dưới miligiây. Công cụ này hỗ trợ ngôn ngữ truy vấn Graph Query Language kiểu Cypher, kiểm tra chính sách CI, tìm kiếm ngữ nghĩa và lập kế hoạch di chuyển (bao gồm tích hợp quy tắc Konveyor/Kantra cho Java EE sang Quarkus). Đặc biệt, rgctl được xây dựng riêng cho LLM coding agent với đầu ra JSON, kết quả xác định và một kỹ năng Claude Code/Cursor có thể cài đặt để agent truy vấn kiến trúc thay vì đọc lại file mỗi phiên. Hỗ trợ 10 ngôn ngữ Tier 1 bao gồm Rust, Python, Java, Go, TypeScript và PHP, với trình điều phối end-to-end tên MigIQ xây dựng trên nền tảng này để tự động hóa di chuyển.

Lập trình viên nên đọc bài này vì rgctl cung cấp giải pháp truy vấn kiến trúc mã nguồn siêu nhanh với đồ thị tri thức, hỗ trợ LLM và tự động hóa di chuyển dự án.

GNOME Sushi gets a GTK4 revamp, new features

Sushi là tiện ích xem trước nhanh bằng phím Space trong trình quản lý file Nautilus của GNOME. Phiên bản mới đã được chuyển sang GTK4 để tương thích với GNOME 51. Việc port này mang lại hiệu suất render tốt hơn, hỗ trợ các widget hiện đại và cho phép thêm các tính năng như xem trước đa định dạng và tùy chỉnh giao diện. Nhờ GTK4, Sushi cũng giảm sử dụng bộ nhớ và tích hợp tốt hơn với các hiệu ứng chuyển động của Mutter. Điều này cho thấy việc cập nhật công cụ giao diện sang toolkit mới không chỉ sửa lỗi mà còn mở rộng khả năng phát triển tính năng mới mà không cần viết lại nhiều mã low‑level.

Bài viết này giúp bạn hiểu những cải tiến và tính năng mới của GNOME Sushi sau khi được nâng cấp lên GTK4, hữu ích cho ai quan tâm đến trải nghiệm file manager GNOME.

AI Can Recommend. But Who Should Be Allowed to Execute?

Hiện nay các hệ thống AI có thể sinh ra các đề xuất hành động trong nhiều lĩnh vực như tài chính, logistics và bảo mật. Tuy nhiên, bài báo SkyDog Nexus Whitepaper Series 14/48 – AI Trust and Execution Layer chỉ ra rằng rủi ro thực sự xuất hiện khi lớp tin cậy và thực thi của AI không có cơ chế xác thực nguồn gốc và kiểm soát chính sách giữa mô hình đề xuất và lớp thực thi. Khi thực thi được cho phép mà không có sự cho phép rõ ràng, các lỗi có thể lan rộng nhanh chóng, gây ra gián đoạn hoạt động, tổn thất tài chính hoặc nguy cơ an toàn. Tác giả đề xuất kiến trúc tách biệt: API đề xuất phải được cô lập khỏi điểm cuối thực thi, kèm bằng chứng thời gian chạy, kiểm soát truy cập dựa trên vai trò và nhật ký bất biến trước khi bất kỳ hành động nào do AI thực hiện được chấp nhận.

Bài này giải quyết câu hỏi cấp thiết về quyền thực thi quyết định của AI trong các hệ thống công nghệ hiện đại.

This Month in Ladybird

Ladybird là một dự án trình duyệt mới được xây dựng từ đầu, nhằm mang lại trải nghiệm hiện đại và khả năng tùy chỉnh cao cho nhà phát triển và người dùng cuối. Trong bản cập nhật này, nhóm đã thêm chế độ duyệt ẩn danh, hỗ trợ nhiều hồ sơ người dùng, cũng như tích hợp chức năng undo/redo cho trình soạn thảo nội dung, đồng thời mở rộng hỗ trợ API Geolocation và WebAudio để nâng cao tính tương tác đa phương tiện. Những thay đổi này đi kèm với việc di chuyển bộ xử lý style và layout sang Rust, giúp tăng tốc compositor khoảng 30 % và giảm mức tiêu thụ bộ nhớ, đồng thời làm cho các tính năng mới như private browsing và profiles hoạt động ổn định hơn. Kết quả cho thấy việc áp dụng Rust cho các thành phần hiệu suất cao mang lại lợi ích rõ rệt về tốc độ và an toàn bộ nhớ, cung cấp bài học quan trọng cho các dự án trình duyệt khác khi cân nhắc di chuyển một phần mã nguồn sang ngôn ngữ này.

Bài viết cập nhật những tiến bộ mới nhất về trình duyệt Ladybird giúp lập trình viên nắm bắt công nghệ và cải thiện hiệu suất phát triển web.

The John Ternus era begins at Apple

John Ternus chính thức trở thành CEO Apple vào ngày 1 tháng 9, kết thúc 15 năm làm việc …

pnpm 12.0

pnpm phiên bản 12.0 đã được phát hành là bản ổn định sau khi viết lại toàn bộ bằng Rust. Việc viết lại này nhằm cải thiện hiệu suất và độ tin cậy mà không thay đổi giao diện người dùng. Các lệnh, cờ, cấu hình và định dạng lockfile của pnpm 11 đều được giữ nguyên, nên nâng cấp không yêu cầu thay đổi dự án hiện có. Tài liệu chính thức đồng thời mô tả cách sử dụng cả hai phiên bản, giúp nhà phát triển có thể chọn phiên bản phù hợp. Bài học từ bản phát hành này là việc viết lại bằng Rust có thể mang lại lợi thế về hiệu suất, miễn là giữ nguyên tính tương thích ngược để giảm gánh nặng chuyển đổi cho người dùng.

Lập trình viên nên đọc bài này vì pnpm 12.0 được viết lại bằng Rust mang lại hiệu năng tốt hơn trong khi vẫn giữ nguyên toàn bộ cú pháp và định dạng file lock từ phiên bản trước.