Bài viết mới
Tất cả bài viết từ The Tech Tree.
38 bài viết
Docker: Ship the Whole Machine
How containerization solved 'works on my machine' and transformed software delivery forever.
The Transformer: Attention Is All You Need
A 2017 paper from Google replaced recurrence with self-attention — and created the architecture behind GPT, BERT, and the modern AI revolution.
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ỏ.
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.
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.
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ó.
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.