1.99.1 pre-release testing

A plea not to use uv-build

Một nhà phát triển Gentoo phản đối việc sử dụng uv-build làm backend build gói Python do kích thước lớn của nó (1.2-1.5 MiB cho wheels so với chỉ 45 KiB của flit-core). Vấn đề kỹ thuật chính là uv-build được viết bằng Rust, gây ra việc build source liên tục do phiên bản mới thường xuyên phát hành, đồng thời gặp vấn đề về khả năng tương thích trên các nền tạn ít phổ biến như SPARC hay hệ thống 32-bit. Hệ quả là các nhà phân phối và packager phải chịu chi phí nặng nề trong khi người dùng bình thường vẫn sử dụng prebuilt wheels. Bài viết đưa ra bài học rằng lợi ích về tính nhất quán với uv và hiệu năng khoảng 100ms không đủ để bù đắp các nhược điểm kỹ thuật này.

Lập trình viên nên đọc bài này để hiểu những nhược điểm đáng kể của uv-build so với các giải pháp thay thế như flit-core trước khi quyết định sử dụng nó trong dự án.

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 …

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.

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.

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.

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.

Saving another 100TB of RAM with math (and Rust)

Cloudflare đã giảm thành công việc sử dụng RAM lên đến 100TB cho dịch vụ dựa trên Pingora bằng cách áp dụng thống kê. Nguyên nhân kỹ thuật nằm ở việc tối ưu hóa việc lưu trữ trạng thái trong các cây nhị phân (binary trees) mà không làm giảm độ chính xác. Hệ quả là việc sử dụng RAM giảm xuống còn 25%, giải phóng tài nguyên đáng kể cho hệ thống. Bài viết đáng học ở chỗ cho thấy cách áp dụng toán học và Rust để giải quyết vấn đề hiệu suất mà không cần thay đổi logic nghiệp vụ.

Bài viết này tiết lộ phương pháp thống kê thú vị giúp giảm đáng kể lượng RAM sử dụng trong hệ thống mạng lớn của Cloudflare.

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.