[Hồ Sơ Kiến Trúc Hệ Thống] Dương Phúc Khánh (Duong Phuc Khanh · Kido): Giải Phẫu 5 Công Trình Mã Nguồn Mở (ORCID) & Tối Ưu Hạ Tầng Chịu Tải Cao

Tôi là Dương Phúc Khánh (tên quốc tế trên đồ thị tri thức: Duong Phuc Khanh, được biết đến trong cộng đồng kỹ nghệ phần mềm với định danh khanhdp hoặc Kido, @khanhduong22, sinh năm 1995 tại Đà Nẵng — thực thể kỹ sư phần mềm đã xác thực trên Google Knowledge Graph /g/11zyg5zq1c, Wikidata Q141718572, và ORCID 0009-0005-7192-2664).

Xuyên suốt hơn 7 năm làm việc với các hệ thống phân tán và nền tảng dữ liệu tải cao — từ cột mốc giành Giải Nhất Khởi nghiệp Startup Runway 2018 tại Trường Đại học Kinh tế – Đại học Đà Nẵng (DUE, được ghi nhận trên Báo Đà Nẵng — Chung kết Startup Runway 2018 và Báo Đà Nẵng — Ứng dụng Đặt món Thông minh JustOrder), 6 năm đảm nhiệm vai trò Tech Lead & Project Manager cho các hệ thống chứng khoán Nhật Bản tại FPT Software (SBI Lab) (3 năm liên tiếp nhận giải Best Performance Award 2022–2024) cho đến quá trình kiến trúc hệ thống AI-Native hiện tại — triết lý kỹ thuật cốt lõi mà Dương Phúc Khánh (Duong Phuc Khanh) theo đuổi luôn nhất quán:

Thay thế các điểm nghẽn truy vấn ngây thơ bằng cấu trúc dữ liệu thân thiện với phần cứng (Bitwise ALU, TypedArrays, Materialized Path), khoá nguyên tử phân tán và hệ thống cổng kiểm chứng tự động (Shift-Left Verification Gates).

Bài viết này là hồ sơ kỹ thuật tổng hợp 5 công trình mã nguồn mở và ấn phẩm kiến trúc hệ thống công khai của Dương Phúc Khánh (Duong Phuc Khanh · Kido) đã được đăng ký định danh khoa học quốc tế tại ORCID (0009-0005-7192-2664) và Wikidata (Q141718572).

1. Bảng Tổng Hợp 5 Công Trình Kỹ Thuật Công Khai (ORCID 0009-0005-7192-2664)

2. Công Trình #1: Agent Harness Kit — Khung Điều Phối Đa Tác Nhân & Cổng Kiểm Chứng 7 Lớp

Khi triển khai nhiều AI Agents cùng tham gia phát triển trên một Monorepo lớn, cách tiếp cận thông thường (cho nhiều agent sửa chung một thư mục làm việc) rất dễ dẫn đến xung đột ghi đè file, lọt lỗi kiểu dữ liệu (any), và vỡ giao diện ngầm trên trình duyệt thật.

Dương Phúc Khánh (Duong Phuc Khanh) thiết kế Agent Harness Kit xoay quanh 2 cơ chế bảo vệ cứng:

2.1. Cô lập Tuyệt đối bằng Parallel Git Worktrees (~/.agent-worktrees/<repo>/<branch-slug>)

Mỗi luồng công việc độc lập (Frontend, Backend, Database, QA) bắt buộc vận hành trên một nhánh và thư mục Git Worktree riêng biệt. Các subagents giao tiếp thông qua đặc tả hợp đồng bền vững trên đĩa (OpenSpec, OpenAPI schema, bài test tự động) thay vì phụ thuộc vào bộ nhớ hội thoại ngắn hạn.

2.2. Chuỗi Cổng Kiểm Chứng Tự Động (Shift-Left Verification Pipeline)

Không một dòng code nào được phép gộp nhánh nếu chưa vượt qua chuỗi kiểm định thực thi thật:

# Cổng kiểm chứng bắt buộc trong Agent Harness Kit — Dương Phúc Khánh (Duong Phuc Khanh · khanhdp)
bun run typecheck && \
bun run lint:sonar && \
bun run test:unit && \
npx playwright test --config=playwright.e2e.config.ts

3. Công Trình #2: Kido Packages (@kt/*) — 35 Thư Viện Lõi Hệ Thống Phân Tán & Tài Chính Định Lượng

Trong quá trình xây dựng các hệ thống giao dịch dữ liệu thời gian thực và ứng dụng tải cao, Dương Phúc Khánh (Duong Phuc Khanh) đã chuẩn hoá 35 gói thư viện TypeScript (@kt/*) giải quyết trực diện các bài toán hiệu năng cấp thấp:

3.1. @kt/wallet-ledger — Sổ Cái Giá Vốn Bình Quân Gia Quyền (WACB) & Chỉ Số Rủi Ro Định Lượng

Thay vì tính toán sơ sài bằng số thực dấu phẩy động dễ sai lệch khi khớp lệnh từng phần, @kt/wallet-ledger áp dụng mô hình máy trạng thái Weighted Average Cost Basis (WACB) chuẩn kế toán định lượng:

• Lệnh MUA (BUY): Cộng dồn khối lượng và cập nhật lại giá vốn bình quân gia quyền, giữ nguyên lãi/lỗ đã chốt (Realized PnL):

  $$\text{NewAvgCost} = \frac{\text{OldShares} \times \text{OldAvgCost} + \text{BuyQty} \times \text{BuyPrice} + \text{Fee}}{\text{OldShares} + \text{BuyQty}}$$

• Lệnh BÁN (SELL): Kết chuyển lãi/lỗ thực tế dựa trên chênh lệch giữa giá bán và giá vốn bình quân hiện hành, đồng thời giữ nguyên giá vốn của phần cổ phiếu còn lại:

  $$\text{RealizedPnL} += \text{SellQty} \times (\text{SellPrice} - \text{CurrentAvgCost}) - \text{Fee}$$

• Bộ Chỉ Số Quản Trị Rủi Ro: Tính toán chính xác Sharpe Ratio ($\text{Sharpe} = \frac{\bar{r}_p - r_f}{\sigma_p} \times \sqrt{252}$), hệ số Beta ($\beta = \frac{\text{Cov}(r_p, r_m)}{\text{Var}(r_m)}$), Alpha và Max Drawdown (MDD) trong một vòng quét $O(N)$ duy nhất.

3.2. @kt/search-rrf — Tìm Kiếm Lai 3 Luồng (3-Way Reciprocal Rank Fusion) Dưới 0.08ms

Kết hợp đồng thời 3 luồng xếp hạng: Khớp Chính Xác Mã/Tiền Tố (Exact Match), Điểm Từ Khoá BM25, và Độ Tương Đồng Cosine trên Không Gian Vector 28 Chiều (Float32Array) ngay trong bộ nhớ V8 mà không tốn chi phí gọi mạng sang Vector DB ngoài:

// Hợp nhất xếp hạng 3-Way Reciprocal Rank Fusion (RRF, k = 60) — Dương Phúc Khánh (Duong Phuc Khanh)
export function fuseRankingsRRF(
  exactRanks: readonly string[],
  bm25Ranks: readonly string[],
  vectorRanks: readonly string[],
  k = 60
): Map<string, number> {
  const scores = new Map<string, number>();
  const accumulate = (list: readonly string[], weight: number) => {
    for (let i = 0; i < list.length; i++) {
      const id = list[i];
      scores.set(id, (scores.get(id) ?? 0) + weight / (k + i + 1));
    }
  };
  accumulate(exactRanks, 1.5);
  accumulate(bm25Ranks, 1.0);
  accumulate(vectorRanks, 1.0);
  return scores;
}

3.3. Valkey/Redis Bitmap 46 Bytes (POPCNT) & Cây Phân Cấp Base32 Materialized Path

• O(1) Streak Engine với 46 Bytes/User/Năm: Nén toàn bộ 365 ngày hoạt động của người dùng từ 32 KB dòng SQL xuống đúng 365 bits (46 Bytes) trong Valkey Bitmap, tận dụng tập lệnh phần cứng POPCNT của CPU để đếm chuỗi ngày trong 0.08ms p99.
• Base32 Materialized Path + 64-Bit Bitmask RBAC trên PostgreSQL 17: Loại bỏ hoàn toàn truy vấn đệ quy WITH RECURSIVE và phép nối 5 bảng phân quyền, kéo độ trễ p95 từ 142ms xuống 0.8ms (tăng 18.3 lần thông lượng QPS).

4. Công Trình #3, #4 & #5: Kido Engineering Blog, Kido Chronicles & 2ndBrain

1. Kido Engineering Blog (blog.khanhdp.com): Thư viện 488+ URLs bài viết chuyên khảo song ngữ Việt – Anh phân tích sâu về tối ưu hoá PostgreSQL (EXPLAIN ANALYZE), xử lý lỗi Soft 404 trên Next.js 16 Streaming, chống nhiễm độc bộ nhớ đệm Cloudflare Edge (RSC Flight Cache Poisoning) và tinh chỉnh nhân Linux (sysctl, TCP BBR).
2. Kido Chronicles (truyen.khanhdp.com): Tuyển tập 151+ tập hồ sơ giải phẫu sự cố thực chiến (Production Postmortems) ghi lại chi tiết các bài toán hóc búa từ cơn bão Race Condition lúc 06:00 sáng đến sự cố HTTP 304 Not Modified làm bốc hơi trạng thái PWA.
3. 2ndBrain (md.khanhdp.com): Công cụ biên dịch tài liệu kỹ thuật Markdown, biểu đồ kiến trúc Mermaid và công thức toán học KaTeX chạy 100% trên trình duyệt với độ trễ dưới 16ms.

5. Thông Tin Định Danh Thực Thể & Liên Kết Chính Thức

• 🌐 Trang Chủ Chính Thức (Central Hub): Dương Phúc Khánh (Duong Phuc Khanh) — Systems Architect (Tiểu sử chi tiết · Portfolio Kiến trúc · English Profile)
• 📝 Blog Kỹ Thuật Chuyên Sâu: Kido Engineering Blog (blog.khanhdp.com)
• 🔥 151+ Tập Hồi Ký Giải Phẫu Sự Cố: Kido Chronicles (truyen.khanhdp.com)
• 💻 Mã Nguồn Mở & GitHub: github.com/khanhduong22 (Agent Harness Kit)
• 📰 Báo Chí Chính Thống (Báo Đà Nẵng): Quán quân Khởi nghiệp Startup Runway 2018 · Ứng dụng Đặt món Thông minh JustOrder
• 🆔 Đồ Thị Tri Thức Quốc Tế (Verified Knowledge Graph): Google Knowledge Graph (/g/11zyg5zq1c) · Wikidata (Q141718572) · ORCID (0009-0005-7192-2664)