Sổ Tay Từ Vựng & Ngữ Cảnh Giao Tiếp
Tra cứu, phát âm chuẩn bản ngữ, xem câu ví dụ ngữ cảnh song ngữ và đưa từ vào chu trình ôn tập trí nhớ dài hạn FSRS v4 AI.
monad
/ˈmɒn.æd/cấu trúc đơn nguyên trong lập trình hàm
Monads handle side effects in functional code.
lambda calculus
/ˈlæm.də ˈkæl.kjʊ.ləs/phép tính lambda nền tảng lập trình hàm
Lambda calculus forms the basis of functional languages.
memory safety
/ˈmɛm.ər.i ˈseɪf.ti/an toàn bộ nhớ ngăn lỗi buffer overflow
Rust provides memory safety without garbage collection.
garbage collection
/ˈɡɑːr.bɪdʒ kəˈlɛk.ʃən/thu gom rác giải phóng bộ nhớ tự động
Garbage collection prevents memory leaks.
concurrency
/kənˈkɜːr.ən.si/lập trình đồng thời xử lý nhiều tác vụ
Concurrency improves application responsiveness.
parallelism
/ˈpær.ə.lɛl.ɪzm/song song hóa thực sự trên nhiều nhân CPU
Parallelism uses multiple CPU cores simultaneously.
async programming
/eɪˈsɪŋk ˈproʊ.ɡræm.ɪŋ/lập trình bất đồng bộ không chặn luồng chính
Async programming prevents blocking the main thread.
event loop
/ɪˈvɛnt luːp/vòng lặp sự kiện xử lý I/O bất đồng bộ
Node.js uses an event loop for non-blocking I/O.
actor model
/ˈæk.tər ˈmɒd.əl/mô hình diễn viên xử lý đồng thời qua tin nhắn
The actor model avoids shared memory issues.
crdt
/ˌsiː.ɑːr.diːˈtiː/kiểu dữ liệu hội tụ phân tán nhất quán
CRDTs enable conflict-free distributed edits.
homomorphic encryption
/ˌhɒm.ə.ˈmɔːr.fɪk ɪnˈkrɪp.ʃən/mã hóa đồng cấu tính toán trên dữ liệu mã hóa
Homomorphic encryption computes on encrypted data.
zero-knowledge proof
/ˈzɪər.oʊ ˈnɒl.ɪdʒ pruːf/bằng chứng không tiết lộ thông tin bí mật
Zero-knowledge proofs verify without revealing data.
post-quantum cryptography
/ˌpoʊst ˈkwɒn.təm krɪpˈtɒɡ.rə.fi/mật mã hậu lượng tử chống máy tính lượng tử
Post-quantum cryptography resists quantum attacks.
byzantine fault
/ˈbɪz.ən.tiːn fɔːlt/lỗi Byzantine khi node gửi thông tin sai
Byzantine faults occur when nodes send conflicting messages.
paxos
/ˈpæk.sɒs/giao thức đồng thuận phân tán cổ điển
Paxos solves consensus in distributed systems.
raft consensus
/ræft kənˈsɛn.səs/thuật toán đồng thuận dễ hiểu hơn Paxos
Raft consensus is easier to implement than Paxos.
log-structured merge
/lɒɡ ˈstrʌk.tʃərd mɜːrdʒ/cấu trúc lưu trữ LSM tối ưu ghi dữ liệu
LSM trees optimize write-heavy workloads.
column store
/ˈkɒl.əm stɔːr/cơ sở dữ liệu lưu theo cột tối ưu phân tích
Column stores accelerate analytical queries.
vector database
/ˈvɛk.tər ˈdeɪ.tə.beɪs/cơ sở dữ liệu vector cho tìm kiếm tương đồng
Vector databases power semantic search.
wasm
/ˈwæz.əm/WebAssembly định dạng nhị phân hiệu suất cao
WASM enables high-performance web applications.
ebpf
/ˌiː.biː.piːˈɛf/lọc gói mở rộng Berkeley trong nhân Linux
eBPF enables kernel-level observability.
rdma
/ˌɑːr.diː.ɛmˈeɪ/truy cập bộ nhớ từ xa trực tiếp tốc độ cao
RDMA enables low-latency network communication.
numa architecture
/ˈnjuː.mə ˈɑːr.kɪ.tɛk.tʃər/kiến trúc bộ nhớ không đồng nhất đa nhân
NUMA affects memory access patterns on servers.
kernel bypass
/ˈkɜːr.nəl ˈbaɪ.pæs/bỏ qua nhân hệ điều hành để tăng tốc I/O
Kernel bypass reduces network latency.