1969 - 1980s
Kỷ nguyên I: Tồn tại & Kết nối
Chuyển mạch gói: Cách mạng lưới truyền tải mọi thứ
Chuyển mạch kênh lãng phí băng thông cho sự im lặng. Chuyển mạch gói cắt thông điệp thành những mảnh độc lập và để mạng lưới quên đi cuộc trò chuyện. Chính sự thay đổi đó là lý do internet tồn tại.
ARPANET: Mạng lưới khởi nguồn tất cả
Một lần đăng nhập sập, một nghiên cứu sinh lo lắng, và một email không được phép — cách một dự án nghiên cứu thời Chiến tranh Lạnh vô tình đặt nền móng cho internet.
Vụ sập 'Lo': Báo cáo lỗi đầu tiên của internet
Tại sao máy tính của SRI sập sau khi Charley Kline gõ ba chữ cái, điều gì thực sự hỏng, và cách một buffer overflow trong một tính năng tự hoàn thành trở thành câu chuyện nguồn gốc của internet.
RFC 1: Tài liệu đã phát minh ra quản trị Internet
Steve Crocker viết RFC 1 trong nhà tắm vào ban đêm vì anh không muốn nghe có vẻ chuyên quyền. Tài liệu rụt rè mà anh tạo ra đã trở thành khuôn mẫu cho mọi tiêu chuẩn internet sau này.
Bài báo của Codd năm 1970, chú giải
Đi qua 'A Relational Model of Data for Large Shared Data Banks' — 'quan hệ' thực sự có nghĩa gì về mặt toán học, ý tưởng nào tồn tại đến SQL, và ý tưởng nào âm thầm bị bỏ.
Mô hình Quan hệ & SQL: Tổ chức dữ liệu của thế giới
Bài báo năm 1970 của Edgar Codd đã cho chúng ta nền tảng toán học cho cơ sở dữ liệu, và SQL cho chúng ta một ngôn ngữ để truy vấn chúng. IBM ngồi trên nó. Oracle xuất xưởng nó trước.
JOIN: Các mối quan hệ qua giá trị, không phải con trỏ
Diễn đạt các mối quan hệ qua giá trị chia sẻ thay vì tham chiếu vật lý là bước đột phá thực sự của mô hình quan hệ. Năm mươi năm sau, bốn loại join, ba thuật toán join, và một câu hỏi căn bản vẫn chạy hầu hết dữ liệu của thế giới.
Ký hiệu @: Cách email được tuồn vào ARPANET
Ray Tomlinson kết hợp hai chương trình hiện có như một dự án phụ không được phép, chọn một ký hiệu dấu câu không ai dùng trong tên, và vô tình xây dựng ứng dụng bom tấn đầu tiên của mạng.
Dạng chuẩn: 1NF → BCNF, với ví dụ
Các quy tắc thiết kế bảng của Codd — mỗi dị thường trông như thế nào, dạng chuẩn tiếp theo sửa nó như thế nào, và khi nào cố tình phá vỡ quy tắc cho hiệu năng.
Bắt tay ba bước, từng gói một
Tại sao TCP cần chính xác ba gói để mở một kết nối, các bit SYN và ACK thực sự làm gì, và tại sao số thứ tự ban đầu có thể dự đoán được trở thành thảm họa bảo mật.
TCP/IP: Giao thức đã kết nối mọi thứ
Hai kỹ sư trong một sảnh khách sạn, một vấn đề không thể: làm cho bất kỳ mạng nào nói chuyện với bất kỳ mạng nào khác. Cách bài báo năm 1974 của Cerf và Kahn trở thành nền tảng của internet.
Diffie-Hellman: Trao đổi khóa đã làm RSA có thể
Trước khi Rivest, Shamir, và Adleman xây ổ khóa, Whitfield Diffie và Martin Hellman đã chứng minh ổ khóa có thể tồn tại. Bài báo năm 1976 của họ là nơi mật mã khóa công khai thực sự bắt đầu.
Chữ ký số: Chạy mật mã khóa công khai ngược lại
Bạn ký bằng khóa riêng. Bất cứ ai xác minh bằng khóa công khai. Sự bất đối xứng đó là nền tảng cho cập nhật phần mềm, chứng chỉ TLS, commit git, và mọi hệ thống phải tin tưởng code mà không tin tưởng kênh.
Mã hóa RSA: Bí mật giữa thanh thiên bạch nhật
Rivest, Shamir, và Adleman đã giải một vấn đề dường như không thể — cho phép những người lạ giao tiếp an toàn mà không cần chia sẻ bí mật trước.
Toán học RSA, từng dòng
Định lý Euler, nghịch đảo modular, và tại sao `(m^e)^d ≡ m (mod n)` thực sự hoạt động — hướng dẫn về toán học mà bài viết RSA lướt qua trong một khối code.
Tại sao TCP được tách thành TCP và IP
TCP gốc là một giao thức làm định tuyến, độ tin cậy, và địa chỉ cùng một lúc. Lập luận năm 1978 của Jon Postel để tách nó thành hai đã mở khóa UDP, video thời gian thực, kiến trúc đồng hồ cát, và gần như mọi thứ đến sau.
Trình tối ưu truy vấn: SQL thực sự chạy như thế nào
Bạn viết điều bạn muốn; cơ sở dữ liệu quyết định như thế nào. Tour qua cách một trình tối ưu phân tích, viết lại, ước lượng, và lập kế hoạch một truy vấn SQL — và tại sao cùng truy vấn có thể nhanh thứ Hai và chậm thứ Sáu.
ACID, từng chữ cái một
Cách cơ sở dữ liệu thực sự cung cấp Atomicity, Consistency, Isolation, và Durability — write-ahead log, MVCC, lịch trình khóa, và vấn đề fsync đã làm xấu hổ hầu hết các stack lưu trữ ít nhất một lần.
Nguyên tắc đầu cuối: Tại sao internet ngu một cách có chủ đích
Bài báo năm 1984 của Saltzer, Reed, và Clark hình thức hóa quyết định thiết kế đã làm internet hoạt động — đặt trí thông minh ở các rìa, giữ phần giữa ngu ngốc, và nhìn nó tồn tại lâu hơn mọi mạng thông minh hơn đã cạnh tranh với nó.
Điều khiển tắc nghẽn TCP: Từ Nagle đến BBR
Bốn mươi năm cố gắng trả lời một câu hỏi — bạn nên gửi các gói nhanh đến mức nào khi bạn không thể thấy mạng mà bạn đang gửi chúng qua?