Tìm kiếm
21 kết quả cho “OCaml”. Tìm không phân biệt dấu.
- Using OxCaml to implement type-safe reference counting between OCaml and Python Bài tóm tắt · Jane Street · 2026
…ference-counting-python/) Bối cảnh - Jane Street là công ty OCaml, nhưng Python là ngôn ngữ chính thứ hai, công cụ chủ yếu của trader và researcher cho phân tích dữ liệu và ML; hạ…
- How we accidentally built a better build system for OCaml Bài tóm tắt · Jane Street · 2025
…eet.com/how-we-accidentally-built-a-better-build-system-for-ocaml-index/) Bối cảnh - Khoảng 2012 , không hài lòng với OMake, Jane Street tự viết build system Jenga . Họ mở mã nguồn…
- Introducing OxCaml Bài tóm tắt · Jane Street · 2025
…mà vẫn tương thích ngôn ngữ gốc. Bối cảnh - Jane Street sửa OCaml từ lâu (xem GC 2015 ở ). Vài năm gần đây các phần mở rộng ngôn ngữ đủ lớn để thành một nhánh compiler riêng, vẫn m…
- Building reproducible Python environments with XARs Bài tóm tắt · Jane Street · 2023
…notebook rất nhiều, nhất là cho ML. Phần lớn code (nhiều là OCaml) nằm trong monorepo, nhưng notebook rải khắp nơi và phụ thuộc thư viện bên trong monorepo. Môi trường Python là lớ…
- Building a lower-latency GC Bài tóm tắt · Jane Street · 2015
…một GC cho phép vẫn cấp phát mà latency vẫn thấp. - GC của OCaml vốn khá tốt: major heap thu incremental theo lát, minor heap nhỏ (đo bằng MB, so với 5–10 GiB young generation hay…
- Finding memory leaks with Memtrace Bài tóm tắt · Jane Street · 2020
…ữ phần về thay đổi cách profile bộ nhớ. Bối cảnh - Trước đó OCaml có Spacetime : ghi mọi lần cấp phát. Tìm leak tốt nhưng overhead cao, cần một cấu hình compiler riêng, profile rất…
- A FUSE server for our in-house storage backend Bài tóm tắt · Jane Street · 2026
…epot , một object store kiểu S3 tối ưu cho nghiên cứu, bằng OCaml. Nhưng nhiều thành phần trong hạ tầng nghiên cứu giao dịch đọc file qua giao diện POSIX; một số chuyển được, số kh…
- Memory allocator showdown Bài tóm tắt · Jane Street · 2020
…/blog.janestreet.com/memory-allocator-showdown/) Bối cảnh - OCaml 4.10 thêm allocator best-fit bên cạnh allocator mặc định next-fit . Jane Street chuyển sang best-fit và thấy cải t…
- Đổi ngôn ngữ và runtime Chủ đề Thành viên
Ngôn ngữ ban đầu được chọn để làm nhanh. Khi lớn lên, nó có thể thành nút thắt về hiệu năng, latency, hoặc tổ chức code. Có ba hướng: tối ưu runtime đang dùng, cải tiến dần, hoặc viết lại có phạm vi.
- Hạ tầng nghiên cứu định lượng (dữ liệu thị trường, feature, backtest) Chủ đề Thành viên
Một quỹ định lượng hay công ty market making sống bằng vòng nghiên cứu: đặt giả thuyết → lấy dữ liệu → tạo feature → train model hay dựng tín hiệu → backtest/mô phỏng → đưa vào giao dịch thật → lặp lại. Theo Optiver, độ…
- CI và build ở quy mô lớn Chủ đề Thành viên
Lúc nhỏ, CI là "mỗi commit chạy hết build và test". Khi codebase và số commit tăng, chạy hết trở thành bất khả (Stripe 2026: chạy tuần tự mất bốn tháng), và thời gian chờ của một thay đổi không còn chỉ là thời gian…
- Hệ thống độ trễ thấp (low latency) Chủ đề Thành viên
Ở sàn giao dịch và công ty market making, mỗi giao dịch làm thay đổi thị trường cho giao dịch sau, và ai phản ứng chậm hơn thì thua. Yêu cầu không chỉ là latency trung bình thấp mà latency ổn định ở đuôi, ở thang micro…
- Observability và monitoring Chủ đề Thành viên
Lúc đầu, monitoring là vài dashboard và một công cụ cài sẵn; log đọc thẳng từ máy. Khi hệ lớn lên, chính hệ quan sát thành một hệ phân tán có bài toán riêng:
- Quản lý fleet và migrate code hàng loạt Chủ đề Thành viên
Khi số component (repo, service, pipeline, thư viện) tăng nhanh hơn số kỹ sư, chi phí của mỗi thay đổi xuyên suốt (nâng thư viện, vá bảo mật, đổi API nội bộ, khai tử dataset) tỉ lệ với số component chứ không với độ khó…
- Tách compute khỏi storage Chủ đề Thành viên
Hệ có trạng thái kiểu cổ điển (database, broker Kafka, fileserver Git) đặt dữ liệu bền trên đĩa của chính máy xử lý. Máy đó vừa là compute vừa là storage, nên:
- 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…
- Making "never break the build" scale Bài tóm tắt · Jane Street · 2014
"Not Rocket Science Rule" (Graydon Hoare): repo chính không bao giờ có bản fail test. Cách làm ngây thơ là build-bot nhận từng pull request, merge với tip, build và chạy toàn bộ test, đạt thì mới thành tip mới. Jane…
- Magic-trace: Diagnosing tricky performance issues easily with Intel Processor Trace Bài tóm tắt · Jane Street · 2022
…ript và dựng lại call stack (xử lý tail call, exception của OCaml). Xong trong chưa tới một tuần. - Bản hai dùng thẳng perf event open + libipt để decode tới mức lệnh (theo bài, kh…
- How recurring network maintenance exposed 6 bugs Bài tóm tắt · Jane Street · 2026
…ad pool, thêm vào sau một sự cố cũ) và dns-lib tự viết bằng OCaml (không qua throttle). Ephemeral port (28.232 cổng) dùng chung cả host. Thay đổi chính Sáu bug, mỗi cái nấp sau cái…
- Building visibility into a CI platform Bài tóm tắt · Optiver · 2026
Lượng code qua pipeline của Optiver tăng mạnh vài năm gần đây, không chỉ do software engineer: researcher và trader cũng viết code (visualisation, thí nghiệm, tự động hoá phân tích) qua cùng pipeline build/test, và AI…
- ADMIRE: A Product-Driven Approach to Automating Migrations Bài tóm tắt · Two Sigma · 2021
Đội Platform Engineering của Two Sigma chắc chắn phải làm migration (đổi DC, đổi container scheduler, đổi cloud), và phần lớn migration cần team khác làm việc; team nào cũng than "chẳng phải vừa xong đợt trước sao".