Kho lưu trữ
Cơ sở dữ liệu & Hạ tầng
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.
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ỏ.
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.
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.
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.
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.
OAuth: Delegating Trust
The authorization framework that lets you 'Sign in with Google' solved the password-sharing problem and enabled the platform economy.
Cookies: Giving HTTP a Memory
Lou Montulli's small text files solved HTTP's statelessness problem — and accidentally created the infrastructure for login sessions, shopping carts, and the ad-tracking economy.
SSL/TLS: Securing the Web
Netscape needed online shopping to work. That meant encrypting HTTP — so two engineers built the protocol that now protects every connection on the internet.
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.
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.