Tìm kiếm
6 kết quả cho “Antithesis”. Tìm không phân biệt dấu.
- Getting from tested to battle-tested Bài tóm tắt · Jane Street · 2025
…t là khách hàng và đồng thời dẫn vòng gọi vốn tiếp theo của Antithesis (bài nói rõ). Nhận định về công cụ ghi "theo Jane Street". Bối cảnh - Aria là message bus nội bộ độ trễ thấp,…
- Scaling and benchmarking a critical message bus using a new indexing strategy Bài tóm tắt · Jane Street · 2026
…ẫu nhiên, nội dung và thứ tự message không đổi), chạy trong Antithesis, và một "bầy" agent soát code. Vì sao - Kết quả (2026): index tip đã lên production; trong staging giảm 30% C…
- Protocol-Aware Deterministic Simulation Testing Bài tóm tắt · TigerBeetle · 2026
…kiểm tra từ ngoài vào (Jepsen, hay hypervisor tất định kiểu Antithesis) không thấy được bất biến nằm dưới ranh giới API; với hạ tầng nền tảng phải kiểm thêm từ trong ra . Thay đổi…
- Kiểm thử độ tin cậy (chaos, fault injection, mô phỏng tất định) Chủ đề Thành viên
Lỗi trong hệ phân tán là chắc chắn (máy chết, zone mất, dependency chậm, cấu hình sai), nhưng phần lớn lỗi nằm ở những tổ hợp hiếm mà test chức năng không chạm tới. Bài toán là chủ động gây lỗi để biết hệ thống phản ứng…
- Event-driven, message queue và Kafka Chủ đề Thành viên
Khi một hệ có nhiều bên cần biết "có gì vừa xảy ra" (đơn hàng đổi trạng thái, tin đăng được sửa, ticket được cập nhật), gọi đồng bộ từng bên một làm producer phải biết mọi consumer, và một consumer chậm kéo chậm cả…
- Jane Street Công ty Thành viên
Công ty giao dịch định lượng và market making, viết gần như mọi thứ bằng OCaml. Blog không kể chiến lược, nhưng kể khá nhiều về hạ tầng quanh chúng. Ở tầng công cụ, từ 2012 họ tự viết build system Jenga; năm 2014…