Phần mềm

Mình là Senior Software Engineer làm việc trên các hệ thống phân tán — những bài toán phối hợp, đánh đổi về tính nhất quán, những thứ hỏng lúc 3 giờ sáng. Bối cảnh đó định hình những gì mình viết ở đây, nhưng không giới hạn nó.

Nội dung ở đây có hai dạng. Đôi khi là giải thích: mình lấy thứ gì đó mình hiểu và viết ra cho đến khi người khác có thể hiểu được. Đôi khi là một sản phẩm: một thư viện, một công cụ, một hệ thống — thứ gì đó bạn có thể thực sự chạy được. Cả hai đều đáng làm.

Phạm vi cố ý rộng. Một thuật toán làm mình ngạc nhiên, một dự án OSS mình bắt đầu, một giao thức phân tán mình dành cả tuần để đọc, một tiện ích nhỏ giải quyết đúng một vấn đề — nếu nó đủ thú vị để viết, nó sẽ ở đây.

Bạn có thể đọc ba bài này, theo thứ tự

Những gì mình đang nghĩ đến

• Nháp

  TypeScript series — hiện có bốn chương: Structural vs. Nominal Typing, Narrowing, Union & Intersection Types, Literal Types & const assertions. Series về type system như một công cụ tư duy, không phải hàng rào.

• Nháp

  Strict mode trong TypeScript — từng flag thực sự làm gì, cấu hình đúng cho production, và tại sao bật strict không đồng nghĩa với việc viết code strict.

• Nháp

  Một series về distributed consensus — Raft, Paxos, và tại sao chúng vừa đơn giản hơn vừa khó hơn người ta nói. Bắt đầu từ vấn đề, không phải từ thuật toán.

• Câu hỏi

  Hệ thống phân tán hữu ích nhỏ nhất là gì? Một thứ thực sự dạy bạn điều gì đó, không chỉ một thứ tồn tại.

• Đang đọc

  Đang đọc: Kleppmann, Designing Data-Intensive Applications. Cũng đang đọc: bài báo Raft, bài báo Spanner, và tài liệu CRDT — cố hiểu 'consistency' thực sự có nghĩa gì qua tất cả chúng.

Cũng trong Phần mềm