#Compiler

Giáo sư Notre Dame ra mắt sách giáo khoa biên dịch miễn phí, mở cánh cửa mới cho lập trình viên

Giáo sư Douglas Thain tại Đại học Notre Dame phát hành sách giáo khoa biên dịch miễn phí, giúp sinh viên xây dựng compiler từ đầu và mở ra cánh cửa học tập công bằng.

Grokking

BitPay được cấp phép hoạt động crypto trên toàn EU theo MiCA

BitPay được cấp phép hoạt động crypto trên toàn EU theo khung quy định MiCA, cho phép cung cấp dịch vụ thanh toán xuyên biên giới.

Công Nghệ

Cornell công bố khóa tự học CS 6120: Trình biên dịch nâng cao

Cornell phát hành phiên bản tự học của khóa trình biên dịch CS 6120, giúp người học tiếp cận kiến thức cấp tiến sĩ về triển khai ngôn ngữ lập trình, tối ưu hóa và thu gom rác.

Grokking

SpaceX chi 60 tỷ USD mua Cursor, nhưng SSA form biến code hỗn loạn thành dạng tối ưu cho compiler bằng cách nào?

SSA form buộc mỗi biến chỉ được gán đúng một lần, biến code thành dạng mà compiler có thể tối ưu hóa cực kỳ hiệu quả. Đây là nền tảng của LLVM, GCC và mọi trình biên dịch hiện đại.

Grokking

Type inference suy luận kiểu dữ liệu mà không cần lập trình viên khai báo bằng cách nào?

Type inference giúp compiler suy luận kiểu dữ liệu mà không cần lập trình viên khai báo. Từ thuật toán Hindley-Milner đến TypeScript và Rust, cơ chế bên trong hoạt động ra sao?

Grokking

Register allocation gán biến vào thanh ghi CPU bằng cách nào?

Register allocation là quá trình trình biên dịch quyết định biến nào được lưu trong thanh ghi CPU tốc độ cao hay bộ nhớ chậm hơn. Kỹ thuật này dùng đồ thị giao thoa để xác định các biến có live range chồng nhau không thể dùng chung thanh gh

Grokking

Dead code elimination loại bỏ code thừa mà không thay đổi kết quả chương trình bằng cách nào?

Dead code elimination loại bỏ code thừa bằng thuật toán mark-sweep trên biểu diễn SSA, giữ lại chỉ những lệnh thực sự ảnh hưởng đến kết quả chương trình.

Grokking

Escape analysis quyết định biến nào được cấp phát trên stack thay vì heap bằng cách nào?

Escape analysis là kỹ thuật compiler xác định liệu một đối tượng có "thoát" ra khỏi hàm tạo ra nó hay không. Nếu không thoát, đối tượng được cấp phát trên stack thay vì heap, tiết kiệm đáng kể chi phí garbage collection.

Grokking

Semantic analysis kiểm tra ý nghĩa code sau khi parse xong?

Bạn viết một dòng code int x = "hello";, compiler báo lỗi 'type mismatch'. Nhưng ai phát hiện lỗi này? Không phải bộ phân tích cú pháp, vì câu lệnh nà...

Kỹ Thuật

Nanopass Framework: Cách tiếp cận mới giúp viết Compiler dễ dàng hơn

Viết compiler, công cụ dịch mã nguồn thành chương trình chạy được, từ lâu bị coi là một kỹ năng "huyền bí" và cực kỳ phức tạp, chỉ dành cho các chuyên...