Uber Builds GitFarm to Run Git Operations as a Service for Large-Scale Monorepos

gRPC-Rust Roadmap

Đội ngũ gRPC-Rust vừa hoàn thành bản preview phía client và đang chuẩn bị cho các bước …

pnpm 11.24

Phiên bản pnpm 11.24 được ra mắt sau khi các tính năng liên quan đến cài đặt toàn cầu bị gỡ bỏ trong pnpm 11.0. Nó hồi phục lệnh pnpm approve-builds --global, cho phép duyệt và cho phép các bản build toàn cầu mà không bị cô lập như trước. Đồng thời, tính năng publish đệ quy được thay đổi để gom nhóm các gói theo registry, từ đó phát hiện sớm sự không khớp về thông tin đăng nhập trước khi bất kỳ gói nào được push lên. Ngoài ra, cờ --frozen-lockfile không còn gây lỗi khi phiên bản pnpm hiện tại khác với phiên bản được khóa trong lockfile, giúp các quy trình CI ổn định hơn. Điều này giúp các nhóm phát triển tránh lỗi publish do credential và giảm sự phụ thuộc vào phiên bản pnpm cụ thể khi khóa lockfile.

Bài viết này giúp bạn cập nhật những cải tiến quan trọng về quản lý global package và xuất bản batch trong pnpm 11.24.

We Switched From REST to gRPC for the Performance, Got It, and Then Spent a Year Fighting Everything That Used to Be Trivial. Two Years of Running Both Taught Me the Real Tradeoff.

Chuyển từ REST sang gRPC vì hiệu năng, nhưng sau đó phải mất một năm khắc phục những vấn đề vốn dễ dàng trước đây. Sau hai năm vận hành song song, tác giả nhận ra sự đánh đổi thực sự giữa hai công nghệ này.

Đọc bài này để hiểu rõ những nhược điểm không ngờ khi chuyển từ REST sang gRPC, giúp bạn tránh những quyết định kỹ thuật không cân bằng giữa hiệu suất và sự phức tạp thực tế trong dự án thực tế.

Composition and Modular Verification of TLA+ specs

Bài viết phân tích lý do việc ghép hai spec TLA+ đóng lại qua trạng thái chung thường làm quá mức ràng buộc hệ thống, khi mỗi thành phần được giả định độc lập mà không có mô hình môi trường rõ ràng. Để khắc phục, tác giả đề xuất viết spec "mở" bằng cách khai báo rõ ràng hành vi Env (rely) mà môi trường có thể thực hiện, từ đó tách biệt trách nhiệm của thành phần và môi trường. Quy trình xác minh mô-đun gồm ba bước: kiểm tra từng component riêng rẽ, chứng minh các nghĩa vụ rely đối với một "universe hỗn loạn" gồm tất cả trạng thái thỏa mãn kiểu, cuối cùng suy ra bằng quy�� quy nạp. Ví dụ kênh producer/consumer minh họa cách mỗi bên chỉ cần đảm bảo свои rely-guarantee, sau đó ghép lại không gây ràng buộc thừa. Tác giả cũng nêu ra lý do phương pháp này chưa phổ biến do chi phí chứng minh cao, nhưng việc tích hợp TLAPS cùng với hỗ trợ viết chứng minh bởi LLM đang thay đổi cân đối giữa proof và model checking.

Bài viết này giúp lập trình viên hiểu cách xác minh mô-đun và kết hợp đặc tả TLA+ một cách hiệu quả bằng cách tránh ràng buộc quá mức hệ thống và áp dụng các phương pháp chứng minh thực tế.

My Journey into DevOps: Learning Linux, Git, GitHub & My First Docker Container

Bài viết chia sẻ hành trình học DevOps của tác giả, tập trung vào Linux, Git, GitHub và lần đầu tiên sử dụng Docker container, nhấn mạnh sự khác biệt giữa học lý thuyết và ứng dụng thực tế trong xây dựng phần mềm.

Là người mới bắt đầu hoặc muốn mở rộng kiến thức về DevOps, bài này giúp bạn hiểu rõ cách chuyển từ lý thuyết sang thực hành với các công cụ cơ bản như Linux, Git/GitHub và Docker, từ đó nhanh chóng xây dựng được nền tảng thực tế để triển khai dự án.

Why Google stores billions of lines of code in a single repository (2016)

Google Piper là hệ thống kho mã nguồn tùy chỉnh mà hơn 25.000 nhà phát triển sử dụng, chứa khoảng một tỉ file, hai tỉ dòng code và 35 triệu commit. Mô hình phát triển dựa trên trunk cùng với quy trình làm việc CitC và các công cụ như Critique, Tricorder và Rosie giúp duy trì chất lượng mã nguồn trong kho này. Lợi ích bao gồm phiên bản thống nhất, thay đổi nguyên tử và tránh sự phụ thuộc hình kim cương, trong khi chi phí bao gồm khó khăn về mở rộng công cụ, tìm kiếm mã và sự lan tỏa của phụ thuộc. Google đã cân nhắc việc di chuyển sang Git nhưng cuối cùng quyết định không làm vậy, thay vào đó đang thử nghiệm một cách tiếp cận dựa trên Mercurial để cân bằng giữa quy mô và lợi thế của monorepo.

Bài viết này giúp lập trình viên hiểu cách Google quản lý kho mã nguồn khổng lồ với tỷ lệ tệp và dòng code cực cao qua mô hình trunk-based development và công cụ hỗ trợ đặc biệt.

Merge Conflicts Are a Process Problem, Not a Git Problem

Xung đột merge không phải do Git gây ra. Việc sử dụng pull request nhỏ, merge thường xuyên và quy trình làm việc tốt hơn sẽ giảm đáng kể xung đột.

Lập trình viên nên đọc bài này để hiểu cách cải thiện quy trình làm việc với Git bằng cách áp dụng các kỹ thuật như pull request nhỏ, hợp nhất thường xuyên và các workflow hiệu quả, giúp giảm thiểu xung đột mà không cần phụ thuộc vào công cụ.