Nguồn: Hacker News / GitHub Tóm tắt Thư viện planb-lpm là một cài đặt lại sạch của thuật toán PlanB từ bài báo NSDI ‘26, thực hiện IPv6 longest-prefix-match (LPM) sử dụng cấu trúc linearized B+-tree kết hợp với AVX-512 SIMD. Thuật toán gốc được đề xuất bởi nhóm nghiên cứu từ Đại học Tsinghua, nhằm tối ưu tra cứu địa chỉ IPv6 trong các bộ định tuyến phần mềm với tốc độ cao....
Nguồn: Algorithmica HPC Tóm tắt Binary GCD (hay Stein’s algorithm) là biến thể hiệu quả của thuật toán Euclid để tính ước chung lớn nhất, tận dụng các phép tính bit thay vì phép chia modulo tốn kém. Thay vì dùng a % b, thuật toán sử dụng phép dịch bit và phép trừ — những phép tính có độ trễ thấp hơn nhiều trên CPU hiện đại. Bài viết trên Algorithmica (dự án giáo dục HPC của Sergey Slotin) trình bày chi tiết các bước tối ưu hóa: loại bỏ số chẵn bằng cách dịch bit, tránh phân nhánh không cần thiết, và cách CPU hiện đại xử lý các nhánh dự đoán....
Nguồn: John D. Cook Tóm tắt John D. Cook khám phá câu hỏi thú vị: thư viện toán học nhỏ nhất có thể chứa gì mà vẫn đủ useful? Bài viết này là một exercise về mathematical minimalism — xác định tập hợp primitives tối thiểu có thể derive ra các hàm toán học thông dụng khác. Một trong những insight chính là nhiều hàm toán học mà chúng ta xem là “cơ bản” thực ra có thể được derive từ một số ít hàm thực sự fundamental....
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....