Kura: a distributed build cache for Xcode, Bazel, and Gradle

Valen's Memory Safety: A New Kind of Borrow Checking

Valen giới thiệu borrow checker mới dựa trên thiết kế Group Borrowing của Nick Smith, nới lỏng quy tắc shared-xor-mutable của Rust thành đảm bảo no-use-after-free linh hoạt hơn. Thiết kế này cho phép chương trình giữ nhiều tham chiếu read-write đến cùng một đối tượng - phổ biến trong C++ - vẫn bắt được lỗi use-after-free tại thời điểm biên dịch mà không tốn chi phí runtime. Cơ chế cốt gồm ownership đơn, object paths, invalidation pointer trong dữ liệu type-unstable, một loại borrow reference thay cho split shared/mutable của Rust, và mut annotations cấp hàm. Tính năng sắp tới gồm gọi Rust từ Valen qua conversion temporary reference, wildcard descendant paths cho việc suy luận provenance return-reference, và kế hoạch kết hợp với reference counting qua mô hình mental array-based (Arrrlang) để giải quyết 2 trong 3 vấn đề memory safety còn lại.

Valen's Memory Safety giới thiệu trình kiểm tra mượn linh hoạt mới cho phép lập trình viên giữ nhiều tham chiếu đọc-ghi vào cùng một đối tượng mà vẫn bắt lỗi use-after-free tại thời gian biên dịch.

I Built a Distributed Task Queue from Scratch with Go and PostgreSQL

Tác giả đã xây dựng Dhara, một distributed task queue bằng Go sử dụng PostgreSQL làm queue …

Learning GPUI by Building My Own Text Editor

Tác giả đã bắt đầu xây dựng một text editor riêng để thử nghiệm GPUI, framework UI được phát triển bằng Rust. Framework này tối ưu cho hiệu năng cao và khả năng tương tác trực tiếp với GPU, giúp giảm độ trễ khi xử lý thao tác người dùng. Quá trình phát triển sẽ cung cấp kinh nghiệm thực tế về cách sử dụng GPUI cho các ứng dụng giao diện phức tạp. Bạn có thể học được cách tích hợp các thành phần UI cơ bản và xử lý sự kiện trong môi trường Rust.

Bài viết này giúp bạn thực hành xây dựng trình chỉnh sửa văn bản với GPUI - framework UI của Rust.

Is PHP a Rusty language?

Vào cuối năm 2025, cộng đồng PHP vẫn đang sử dụng các framework và công cụ cũ mà không có AI agent nào. Một gói viết bằng Rust, có vẻ như là sự thay thế cho PHPStan, đã xuất hiện trên Reddit nhưng ban đầu bị cho là sản phẩm AI không bền vững. Đến mùa xuân năm 2026, khi các AI agent bắt đầu xuất hiện, công cụ Rust này (Mago) vẫn tồn tại và phát triển. Điều này cho thấy các công cụ viết bằng Rust có thể thay thế dần các công cụ PHP truyền thống như PHPStan.

Bài viết này giúp lập trình PHP hiểu được sự thay đổi công nghệ đáng chú ý khi các công cụ viết bằng Rust như Mago dần thay thế các giải pháp truyền thống.

Practical Rust API Design

Bài viết Practical Rust API Design tập trung vào nguyên tắc thiết kế API cho hệ thống ergonomic bằng ngôn ngữ Rust. Nguyên nhân kỹ thuật là cách Rust sử dụng type signature để cung cấp feedback tức thời về tính đúng đắn của code. Hệ quả là lập trình viên có thể hiểu một function chỉ bằng cách xem type signature mà không cần đọc implementation. Điều đáng học là metric tốt cho design ergonomic là lượng thông tin bạn cần nắm trong đầu để hiểu được chương trình đang chạy thế nào.

Bài viết này giúp lập trình viên thiết kế API Rust thân thiện và hiệu quả hơn, giảm tải nhận thức khi phát triển phần mềm.

Announcing Tauri 2.12

Tauri 2.12 ra mắt như giải pháp cross-platform toolkit giúp xây dựng ứng dụng hiệu quả hơn. Phiên bản này tối ưu hóa FFI (Foreign Function Interface) và Rust runtime, giảm 30% kích thước binary so với bản 2.11. Hệ quả là ứng dụng chạy nhanh hơn và tiêu thụ ít bộ nhớ hơn đáng kể, đặc biệt với các ứng dụng sử dụng nhiều tính năng native. Điều đáng học là Tauri kết hợp Rust cho core security với JavaScript framework cho giao diện, tạo ra giải pháp hiệu quả mà không cần sacrifice trải nghiệm người dùng.

Bài viết này cung cấp những cải tiến quan trọng giúp lập trình viên xây dựng ứng dụng đa nền tảng hiệu quả hơn với Tauri.

Async Rust: Where does the scheduler live?

Async Rust đặt ra câu hỏi về vị trí của scheduler trong hệ thống. Các vấn đề người dùng gặp với async Rust thực chất là hậu quả của những bài toán concurrency phức tạp. Khi triển khai async với runtime như Tokio, scheduler đóng vai trò quan trọng nhưng lại gây ra overhead đáng kể. Nghiên cứu này chỉ ra rằng việc tối ưu hóa async runtime cần cân bằng giữa hiệu suất và độ phức tạp của scheduler. Các lập trình viên nên xem xét kỹ trade-off khi chọn runtime và thiết kế hệ thống async để tránh các vấn đề về contention và blocking.

Bài này giải thích nguồn gốc các vấn đề trong async Rust do vấn đề đồng thời phức tạp.

Microsoft doubles down on Rust

Microsoft đã nâng Rust lên Tier-1 status trong hệ sinh thái nội bộ và bắt đầu tích hợp với Microsoft Visual C++ toolchain cho development Windows. Nguyên nhân kỹ thuật do Rust cung cấp khả năng memory safety mà không cần garbage collector, giải quyết vấn đề security vulnerabilities trong C/C++. Hệ quả là các team tại Microsoft đang dùng Rust để viết components quan trọng, giảm 40% vulnerabilities so với code C++ trong thử nghiệm internal. Điều đáng học là Rust đang trở thành công cụ quan trọng cho system programming, đặc biệt trong các dự án yêu cầu high performance và security, và lập trình viên nên cân nhắc học để tăng lợi thế cạnh tranh.

Lập trình viên nên đọc bài này vì Microsoft đã nâng Rust lên vị Tier-1 và tích hợp nó với Visual C++ cho phát triển Windows.