Is PHP a Rusty language?

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.

What to Do When Your Constants Are Someone Else's Law

Trong lập trình, hằng số số 18 trong code có thể xuất phát từ quy định cụ thể nào đó, khiến lập trình viên phải ghi chú dài giải thích nguồn gốc. Nguyên nhân kỹ thuật là quy định ngoài hệ thống buộc chúng ta phải hardcode giá trị thay vì tính toán động, tạo ra sự phụ thuộc vào nguồn bên ngoài. Hệ quả là khi quy định thay đổi, code sẽ lỗi nếu không cập nhật hằng số tương ứng. Bài viết dạy cách xử lý tình huống này bằng việc trích dẫn nguồn chính xác và thiết kế system linh hoạt để giảm tác động khi giá trị thay đổi.

Bài viết giải thích cách xử lý các hằng số trong code khi chúng xuất phát từ quy định bên ngoài để dễ bảo trì và cập nhật.

Turn Your GitHub Contribution Graph Into an ASCII City

GitHub contribution graph được biến đổi thành một thành phố ASCII độc đáo dựa trên số commit hàng ngày. Tác giả sử dụng ngôn ngữ Go để xử lý dữ liệu commit và chuyển hóa mỗi ngày có commit thành một tòa nhà với chiều cao tương ứng. Kết quả là một thành phố trực quan hóa hoạt động lập trình hàng tháng với các "tòa nhà" cao nhất thể hiện những ngày có nhiều commit nhất. Đây là một dự án thú vị để minh họa hoạt động GitHub bằng cách áp dụng kỹ thuật ASCII art vào dữ liệu cá nhân.

Bài này sẽ hướng dẫn bạn cách biến đồ thị đóng góp GitHub thông thường thành một thành phố ASCII độc đáo và thú vị.

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.