A build graph that rolls dice

Worse is better: C# versus F#

Bài viết so sánh C# và F# trong môi trường .NET, cho thấy C# vẫn là ngôn ngữ phổ biến cho phát triển ứng dụng truyền thống. Nguyên nhân kỹ thuật mà tác giả cho F# vượt trội là sự hỗ trợ mạnh mẽ cho lập trình hàm: kiểu dữ liệu không thay đổi, suy luận kiểu mạnh mẽ và pattern matching tích hợp sẵn. Nhờ những tính năng này, mã F# thường ngắn gọn hơn, dễ duy trì và giảm nguy cơ lỗi thời gian chạy so với mã C# tương đương. Hệ quả là các nhóm phát triển có thể đạt được tốc độ sản xuất cao hơn và chất lượng code ổn định khi áp dụng F# cho các bài toán phức tạp như xử lý dữ liệu hoặc dịch vụ tài chính. Điều đáng học là khi đánh giá ngôn ngữ cho dự án, không chỉ xem xét mức độ phổ biến mà còn cân nhắc lợi ích của paradigm hàm và mức độ trừu tượng mà ngôn ngữ cung cấp để quyết định xem việc đầu tư thời gian học F# có mang lại lợi ích lâu dài không.

Bài viết này giúp lập trình viên hiểu tại sao F# vượt trội hơn C# trong nhiều trường hợp thực tế.

I made a build visualizer to understand Bun’s compile times

Tác giả tạo ra buildprof - một công cụ tracing mã nguồn mở giúp phân tích thời gian biên dịch phần mềm trên Linux. Công cụ này hiển thị chi tiết quá trình xử lý của các tasks trong build process, ví dụ như khi build ripgrep. Nguyên nhân kỹ thuật gây ra compile time chậm thường nằm ở các task I/O blocking hoặc quá nhiều worker threads. Hệ quả là developers có thể identify bottleneck và optimize build performance một cách hiệu quả. Điều đáng học là kỹ thuật tracing và visualization giúp tối ưu hóa performance trong Rust projects, đặc biệt với frameworks như Bun.

Công cụ buildprof giúp lập trình viên hiểu rõ cách thời gian biên dịch được phân bổ khi sử dụng Bun.

Gleam Gathering 2027 is coming to London!

Gleam Gathering 2027 sẽ diễn ra tại London, thủ đô của UK. Đây là lần đầu tiên tổ chức hội nghị dành riêng cho Gleam. Hội nghị này thu hút những lập trình viên làm việc với ngôn ngữ Gleam. Tham dự sẽ cơ hội học hỏi và chia sẻ kiến thức về ecosystem Gleam.

Gleam Gathering 2027 ở London là hội nghị đầu tiên dành riêng cho Gleam nơi bạn có thể kết nối với cộng đồng và cập nhật kiến thức mới nhất về ngôn ngữ lập trình này.

Could Cargo's scheduler be better?

Bài viết nghiên cứu xem có thể cải thiện lịch trình của Cargo không bằng cách theo dõi syscall trong 17 dự án Rust thực tế để dựng lại đồ thị phụ thuộc và chạy lại dưới các lịch trình thay thế. Họ thử nghiệm một lịch trình b-level (bottom-level) ưu tiên các nhiệm vụ trên đường đi quan trọng, cho thấy nó vượt qua lịch trình mặc định của Cargo, giảm trung bình khoảng 8% thời gian wall tại 4 nhân và khoảng 2% tại 16 nhân, và đạt khoảng 1,3% so với mức tối ưu giả định. Thử nghiệm thêm cho thấy lịch trình này vẫn hoạt động tốt ngay cả khi ước lượng thời gian có nhiễu, và chỉ cần một bit thông tin (ngắn vs dài) hoặc chỉ dựa vào độ sâu của đồ thị cũng thường tốt hơn Cargo mặc định, mặc dù đuôi kết quả kém hơn. Kết quả gợi ý rằng việc lưu trữ một cơ sở dữ liệu cục bộ hoặc chia sẻ các cờ thời gian biên dịch của crate có thể nâng cấp lịch trình Cargo mà không cần dữ liệu thời gian chính xác.

Nghiên cứu này cho thấy một trình lập lịch đơn giản dựa trên đường dẫn phản ứng có thể tăng tốc thời gian biên dịch Rust lên đến 8% mà không cần dữ liệu thời gian chính xác.

Gradle Is Going Agentic

Gradle đang điều chỉnh để tương thích tốt hơn với các coding agent, do đó họ quyết định không kích hoạt sẵn Configuration Cache trong phiên bản Gradle 10. Đây là sự đánh đổi nhằm tối ưu hóa trải nghiệm cho các tác nhân tự động.

Lập trình viên cần đọc bài này để hiểu cách Gradle 10 đã điều chỉnh cơ chế Cache cấu hình để tối ưu hóa hiệu suất cho các công cụ lập trình tự động (coding agents) mà không ảnh hưởng quá lớn đến hiệu năng truyền thống của dự án.

v0.9 of Gleam, a statically typed language for the Erlang VM, is out

Phiên bản v0.9 của ngôn ngữ lập trình Gleam (dành cho Erlang VM) đã được phát hành, giới thiệu những cập nhật và cải tiến mới.

Lập trình viên tìm kiếm hiệu suất và tính nhất quán của Erlang VM nhưng muốn một ngôn ngữ mạnh mẽ hơn với kiểu dữ liệu tĩnh sẽ thích thú với những tính năng mới của Gleam v0.9 như hỗ trợ kiểu dữ liệu mới và cải tiến tính tương thích.

Ruby Crimes in Elixir Codebases

The Erlang, Elixir and Gleam conference in Europe - 2 days of talks,discussions and networking for the BEAM community.

Design your programming languages right (2024)

A rambling collection of opinions on what programming language and configuration format designers should get right from the start, including multiline string indentation handling (praising Dhall and Nix/Lix), relative file path resolution (criticizing Docker Compose and Cargo for getting it wrong), sticking to consistent file extensions for syntax highlighting, allowing trailing commas, using delimited escapes for numeric and string literals, sigil-prefixed keywords to allow future extension, respecting different dev vs release workflows, versioning across code migrations, including release dates alongside version numbers, and building proper file-watching and code search into build tools from the start.