September 10, 2026

Rust and the Case of the Redundant Comparison

Bài viết kể về quá trình phát hiện và sửa lỗi trình biên dịch Rust khi sinh ra lệnh so sánh thừa trong Vec::clear(), nguyên nhân do khác biệt so với phương pháp set_len(0) nhanh hơn trong thư viện hyper, và cách khắc phục bằng pattern SetLenOnDrop để vượt qua hạn chế phân tích alias của LLVM. Quá trình bao gồm biên dịch Rust từ nguồn, viết test codegen, tham gia review PR và merge qua bors, kết quả được tích hợp trong Rust 1.30.

Những lập trình viên muốn tối ưu hóa hiệu suất cho các ứng dụng sử dụng Vec hoặc thậm chí là các thư viện như hyper sẽ tìm hiểu cách Rust xử lý các trường hợp như Vec::clear() để tránh lỗi hiệu suất do so sánh thừa và áp dụng các giải pháp hiệu quả hơn như SetLenOnDrop.

The Art of 64-bit Assembly

Lập trình 64-bit Assembly đòi hỏi kỹ năng chuyên sâu, không dựa vào "phép thuật" hay "phím tắt" nào, cũng không thể đổ lỗi cho runtime.

Lập trình viên cần đọc bài này để hiểu rõ cách thức thực thi và tối ưu hóa các chỉ thị cơ bản ở cấp độ thấp nhất của hệ thống, giúp họ viết mã hiệu quả hơn và debug hiệu suất khi ứng dụng gặp vấn đề ở cấp độ 64-bit.

Flight Data Subsystem

Trang tham khảo tối giản về Flight Data Subsystem (FDS) của tàu Voyager, hiển thị bản dump bộ nhớ các địa chỉ zeroed cùng tập lệnh nhỏ gồm các thao tác load, store, arithmetic, logic, jump, skip, halt và define-word.

Lập trình viên hiểu về hệ thống Flight Data Subsystem của Voyager không chỉ giúp bạn hiểu sâu về kiến trúc hệ thống không gian thực tế mà còn cung cấp kiến thức cơ bản về cách thiết kế hệ thống thấp cấp, từ đó áp dụng vào các dự án phần mềm hiện đại như hệ thống embedded, hệ thống thời gian thực và các giải pháp tối ưu hóa hiệu suất.

The NX bit is not just about security

A developer building a bare-metal ARM64 hypervisor for postmarketOS on a MediaTek MT6735 phone tracked down a months-long boot lockup bug caused by speculative instruction fetches to an unmapped bootrom address at 0x0. After ruling out register corruption, icache/dcache coherency, kernel panics, and CPU errata, the fix turned out to be that marking memory as Device only blocks speculative data accesses on ARM - speculative instruction fetches require the memory to be separately marked non-executable (NX). Once the hypervisor's memory mappings were marked non-executable, the phone booted reliably to Android.

Unearthing my 1996 windowed OS in machine code for Am29000 homebrew computer

Năm 1996-1997, tác giả tự viết toàn bộ hệ điều hành cửa sổ "Windows Fénix" bằng 32-bit machine code cho máy tính tự chế dựa trên AMD Am29000, hỗ trợ đa nhiệm hợp tác, hệ thống cửa sổ dạng danh sách hình chữ nhật (inspired bởi X11's XRegion.c), rasterizer font Type 1 thủ công, I/O đĩa trừu tượng SCSI, và đường dẫn file Unicode — tất cả chỉ vừa trên đĩa mềm 1.44MB. Hơn 20 năm sau, ông viết trình giả lập Am29000 từ đầu (3075 dòng C, dùng libSDL2) để khôi phục lại các ảnh đĩa gốc, gỡ lỗi qua hàng triệu chu kỳ lệnh nhằm sửa lỗi emulator như lỗi mở rộng dấu hiệu trong EXHWS và xử lý register PC ngược. Mã nguồn giả lập và ảnh đĩa đã công khai trên GitHub với bản biên dịch sẵn cho Windows và macOS.

Đọc bài này để khám phá cách một lập trình viên trẻ tuổi (18 tuổi) năm 1996 đã xây dựng một hệ điều hành windowed hoàn toàn bằng mã máy cho máy tính homebrew, chứng minh sự sáng tạo và kỹ năng kỹ thuật trong thời đại thiếu công cụ hiện đại.

os8088 -- a Mac-style GUI OS for the IBM PC XT

Hệ điều hành os8088 mô phỏng giao diện Mac System 1, chạy trên Intel 8086/8088, viết bằng assembly chế độ thực, khởi động từ đĩa mềm, chỉ tốn 256KB RAM.

Là người yêu thích lịch sử và kiến thức về hệ điều hành cổ điển, bạn sẽ tìm hiểu cách một hệ điều hành đơn giản nhưng điển hình như OS Mac System 1 được chuyển dịch sang kiến trúc x86 của IBM PC XT, giúp hiểu rõ hơn về cách tương thích và phát triển hệ thống trên các nền tảng khác nhau.

Developing Assembly with autonomous Coding Agents

An increasing share of software engineering is moving toward autonomy. Recently, I set out to explore the current frontier of coding agents, including IBM Bob, Claude Code, Codex, and Gemini, to see if I could build functional applications without writing, or even inspecting, the underlying source code.