Thuật toán và cấu trúc dữ liệu — từ chứng minh tính đúng đến hiệu năng thực tế.
3 bài viết
Ba mươi lần so sánh là đủ để tìm một dòng trong một tỷ dòng. Nhưng database không dùng binary search theo cách sách giáo khoa dạy: nó dùng B-tree, một cây được thiết kế để mỗi bước nhảy là một lần đọc đĩa chứ không phải một phép so sánh.
Người dân Königsberg thế kỷ 18 có một câu đố: đi qua cả bảy cây cầu của thành phố, mỗi cầu đúng một lần. Euler chứng minh điều đó không thể, và khi làm vậy, ông vứt bỏ bản đồ để chỉ giữ lại những chấm và những đường. Đó là khởi đầu của thứ đang chạy trong bản đồ chỉ đường và máy giải mã gen hôm nay.
Một mô hình AI có hàng trăm tỷ tham số, không ai chỉnh tay được. Thứ làm việc đó là một ý tưởng từ năm 1847: đứng giữa sương mù, cảm nhận độ dốc dưới chân và bước xuống. Từ đạo hàm, tốc độ học, ví dụ cước taxi đến lan truyền ngược, SGD, Adam và overfitting.
