Computer-Science

Nguồn: Bartosz Ciechanowski Tóm tắt Bài viết của Bartosz Ciechanowski là một hướng dẫn tương tác về chuẩn dấu phẩy động IEEE 754 — nền tảng của mọi phép tính số thực trong máy tính hiện đại. Tác giả nổi tiếng với phong cách trực quan hóa phức tạp qua các animation và widget tương tác nhúng trong bài. Bài giải thích cách một số thực được biểu diễn bằng ba thành phần: bit dấu (sign), số mũ (exponent), và phần nguyên (mantissa)....

Nguồn: madhadron.com Tóm tắt Tác giả Frederick Ross lập luận rằng thay vì học nhiều ngôn ngữ lập trình riêng lẻ, lập trình viên nên hiểu bảy “ur-languages” — các mô hình tính toán căn bản mà từ đó mọi ngôn ngữ hiện đại đều xuất phát. Các mẫu lặp (loop patterns) trong C, Java hay Python về cơ bản là giống nhau; điểm khác biệt thực sự nằm ở cấp độ tư duy tính toán sâu hơn....

Nguồn: Hacker News Tóm tắt “Category Theory Illustrated” là một cuốn sách giáo khoa trực tuyến miễn phí giải thích lý thuyết danh mục (category theory) thông qua hình ảnh trực quan. Chương này tập trung vào khái niệm Orders (thứ tự) — một trong những cấu trúc toán học cơ bản được category theory trừu tượng hóa một cách đẹp đẽ. Orders trong category theory mô hình hóa các quan hệ “nhỏ hơn hoặc bằng” một cách tổng quát....

Nguồn: stylewarning.com Tóm tắt Bài viết của Robert Smith phân tích và phản biện một paper đang gây chú ý trên internet: “All Elementary Functions from a Single Operator” của Andrzej Odrzywołek, cho rằng hàm exp-minus-log (EML) cùng với các biến và hằng số đủ để biểu diễn mọi elementary function. Paper này được một số người ca ngợi như “breakthrough” có thể làm lại nền tảng của computer engineering và machine learning....

Nguồn: prog21.dadgum.com Tóm tắt Bài viết của James Hague (2008) phản bác quan niệm phổ biến rằng việc viết compiler là cực kỳ khó. Lý do nhiều lập trình viên cảm thấy compiler phức tạp không phải vì bản chất kỹ thuật của nó, mà vì các sách giáo khoa về compiler thường quá rộng và đặt bar quá cao ngay từ đầu, khiến người đọc không biết bắt đầu từ đâu....

Nguồn: Hacker News Bài báo học thuật trên arXiv đề xuất một tổng quát hóa chính tắc của cấu trúc dữ liệu OBDD (Ordered Binary Decision Diagram) — một công cụ quan trọng trong verification hình thức và tổng hợp logic. Nghiên cứu này có tiềm năng mở rộng khả năng biểu diễn và xử lý các bài toán logic phức tạp hơn so với OBDD truyền thống. Xem bài gốc để biết thêm chi tiết về lý thuyết và bằng chứng toán học....

Nguồn: Hacker News Nghiên cứu toán học trên arXiv chứng minh rằng tất cả các hàm sơ cấp (elementary functions) như sin, cos, exp, log… đều có thể được xây dựng từ một toán tử nhị phân duy nhất. Kết quả này có ý nghĩa lý thuyết sâu sắc về nền tảng của toán học tính toán và có thể ảnh hưởng đến thiết kế của các hệ thống tính toán tượng trưng (symbolic computation)....