#compiler

C# now beats Rust on WASM size

Dự án NetWasm cho phép biên dịch C# và .NET CIL thành WebAssembly (WASM) cỡ nhỏ với WASI, sử dụng biên dịch ahead-of-time (AOT) kèm runtime và garbage collector (GC) tối ưu. Kỹ thuật này đạt hiệu quả đáng kinh ngạc với kích thước file output chỉ 1.1MB cho ứng dụng ASP.NET Core phức tạp, nhỏ hơn đáng kể so với Rust khi cùng triển khai WASM. Sự khác biệt chủ yếu đến từ cách .NET runtime được tinh chỉnh và GC được tối ưu hóa đặc biệt cho môi trường WASM. Đây là minh chứng rõ ràng cho thấy .NET có thể cạnh tranh sòng phẳng với các ngôn ngữ thường được coi là tối ưu cho WebAssembly về mặt kích thước.

Lập trình viên nên đọc bài này để biết cách tối ưu hóa kích thước WASM cho ứng dụng C#/.NET bằng NetWasm.

Announcing TypeScript 7.0

TypeScript 7.0 ra mắt phiên bản biên dịch gốc bằng Go, cải thiện tốc độ build lên 8–12 lần và giảm đáng kể bộ nhớ sử dụng. Tính năng mới bao gồm kiểm tra kiểu song song, chế độ --watch được tái thiết kế, và hỗ trợ đầy đủ LSP cho trình soạn thảo. Phiên bản này loại bỏ các tùy chọn lỗi thời như es5, baseUrl, AMD/UMD, nhưng chưa tương thích với các framework nhúng do thiếu API lập trình.

Nếu bạn đang phát triển với TypeScript và muốn tối ưu hóa hiệu suất cho dự án, từ bỏ các tính năng cũ và nâng cấp công cụ tích hợp với IDE, hãy đọc để cập nhật những thay đổi quan trọng trong phiên bản mới nhất.

Announcing TypeScript 7.0 RC

TypeScript 7.0 RC đã được phát hành với trình biên dịch (compiler) được viết lại bằng Go, giúp tăng tốc độ build lên gấp 10 lần so với phiên bản 6.0 nhờ sử dụng đa luồng (parallelism) và mã gốc (native code). Phiên bản mới cũng thay đổi mặc định (strict: true, module: esnext), loại bỏ các flags lỗi thời, đồng thời hỗ trợ cài đặt song song với phiên bản 6.0 qua package @typescript/typescript6.

Lập trình viên nên đọc để khám phá cách TypeScript 7.0 cải thiện hiệu suất gỡ lỗi và xây dựng dự án với tốc độ gấp 10 lần nhờ chuyển sang biên dịch viên Go, đồng thời nâng cấp tính năng mới như chế độ strict mặc định và cải tiến trong VS Code.

Creator of TypeScript: 10x Faster Typescript, Why AI Won't Replace SWEs

Anders Hejlsberg, cha đẻ của TypeScript và C#, chia sẻ về quá trình viết lại trình biên dịch TypeScript bằng Go cùng những chi tiết kỹ thuật đằng sau nó.

Lập trình viên nên đọc bài này để hiểu cách cải tiến hiệu năng compiler TypeScript bằng Go, giúp hiểu sâu hơn về kiến trúc hệ thống và cách tối ưu hóa công cụ phát triển trong thực tế.

Show HN: I Turned DOOM into a Transformer

Compile an integer neural network into a DOOM map. Voodoo dolls do the arithmetic, light levels and plane heights hold the values, and every value is checked against NumPy with tolerance 0. - mottopanikeiku/doomformer

Gleam doesn't compile to Erlang source anymore

Gleam phiên bản 1.19.0 đã thay đổi cách biên dịch, không còn tạo ra code nguồn Erlang truyền thống mà chuyển sang sử dụng Erlang/OTP BEAM files trực tiếp. Thay đổi này giúp tăng tốc độ biên dịch đáng kể, giảm thời gian từ 5-10 giây xuống còn dưới 1 giây cho các dự án trung bình. Việc bỏ qua bước tạo code nguồn Erlang giúp giảm thiểu sự phức tạp trong quá trình build và tránh những vấn đề về đồng nhất giữa code nguồn và BEAM file. Đối với lập trình viên, đây là sự cải tiến quan trọng giúp tăng hiệu suất làm việc đáng kể khi sử dụng Gleam trong môi trường production.

Bài viết này giải thích thay đổi quan trọng trong cách Gleam biên dịch chương trình, ảnh hưởng đến cách bạn tương tác với Erlang runtime.

Zig 0.17.0 Release Notes

Phiên bản Zig 0.17.0 được phát triển sau 5 tháng làm việc bởi 206 đóng góp với 925 commit, tập trung vào hệ thống build được cải tiến (gồm Build Server Protocol mới), ELF linker hỗ trợ biên dịch tăng trưởng cho hầu hết dự án x86_64-linux, và nâng cấp lên LLVM 22.1.8. Bản cập nhật thay đổi đáng kể: @bitCast cho arrays/vectors thay đổi có thể làm hỏng mã mà không báo lỗi biên dịch, @cImport và errdefer captures bị loại bỏ, void{} syntax thay thế bằng @splat, nhiều std library API được đổi tên hoặc không còn dùng. Zig thêm các built-in mới như @backingInt, @fromBackingInt, @SpirvType và @divCeil, hỗ trợ thêm các target loongarch32, xtensa-linux, sparc64-linux nhưng mất hỗ trợ một số PowerPC/glibc. ZLS hiện không tương thích với 0.17.0 do tách quá trình maker/configurer, nhưng đội Zig và ZLS đang hợp tác sửa lỗi.

Zig 0.17.0 mang đến hệ thống xây dựng hoàn toàn mới, trình liên kết ELF được cải tiến, và nhiều thay đổi API quan trọng mà lập trình viên cần nắm để cập nhật mã nguồn của mình.

TypeScript 7.1 Beta: Restores the Compiler API and Makes Vue and Svelte First-Class

TypeScript 7.1 Beta, announced October 20, 2026, restores the compiler API removed in 7.0, now split into separate entry points. It adds content mappers, letting tools like Vue check non-standard file

Together Compiler: Continuous Compilation for AI inference

Together Compiler uses agents and persistent engines to optimize open models in under 24 hours, delivering 1.3 to 3x higher throughput as traffic changes.

kern: a systems language built for the machines that write code

kern: a systems language built for the machines that write code Why another systems language Most of the code written this year was not typed by a person. That changes what a programming language is …

A TypeScript Compiler Journey from Hell

This thing called math, subjecting agents to a Google performance review, and why I’ll never listen to another PM.

From KTIR to SpyreCode: An MLIR Dataflow Backend for IBM Spyre

PyTorch describes the backend compiler that turns Inductor's scheduling decisions into code for the Spyre accelerator. KTIR, an MLIR dialect, records Inductor's work division and scratchpad placement across Spyre's 32 cores, each with 2 MB of scratchpad. The open-source Dataflow Scheduler lowers KTIR through ScheduleIR into DataflowIR, building a dataflow pipeline guided by an architecture description rather than hard-coded chip logic. Device-specific stages then turn DataflowIR into SpyreCode, a symbolic binary plus a job plan the runtime prepares once and launches repeatedly. Version 1 handles elementwise ops with broadcast and reduction dimensions, with the first op coming up about 4x faster and later ops about 8x faster than the previous stack, with matrix multiplication support coming next.

TypeScript 7.0 Migration Guide: Performance, Compatibility, and Upgrade Steps

Planning to upgrade to TypeScript 7.0? Explore the guide covering performance benchmarks, compiler compatibility, configuration changes, and migration steps.

A new way to think about borrow checking (in reverse)

Evan Ovadia describes a novel borrow checker design in his Valen programming language that scans functions backwards, from the last statement to the first, to detect use-after-free errors. The post walks through Valen's four-phase compilation pipeline, explains how static grouping tracks where references point, and shows worked examples of the backward DECLARE/USE/MUTATE scan catching a use-after-free bug and validating a correct program. It also covers how loops are handled with additional LOOP START, revived_after_this, and mutations_after_this bookkeeping, and argues the reverse approach is more convenient, loop-friendly, and faster than a forward scan. The piece closes with future plans for closures, control-flow graphs, and comparisons to Rust's lifetime inference.

Gleam case exhaustiveness, as a fan

Bối cảnh bài viết thảo luận về tính bao hàm của case trong ngôn ngữ lập trình Gleam. Nguyên nhân kỹ thuật là tính năng kiểm tra case bao hàm giúp phát hiện các trường hợp chưa xử lý trong pattern matching. Hệ quả là cải thiện độ an toàn của code bằng cách đảm bảo tất cả các khả năng đều được xử lý. Điều đáng học là việc áp dụng tính năng này giúp giảm thiểu lỗi runtime trong ứng dụng, đặc biệt với các phiên bản Rust 1.74 trở lên.

Bài viết giúp lập trình viên hiểu cách tận dụng tính đầy đủ của case trong Gleam để viết code an toàn và dễ bảo trì.

Factor 0.102 now available

Factor 0.102 giới bản hỗ trợ ARM64 gốc trên macOS, Linux và Windows, cùng với backend UI GTK4 mới làm mặc định trên Linux 64-bit. Bản cập nhật này bổ cổng 32-bit và 64-bit cho RISC-V Linux với optimizing compiler backends, cùng DirectWrite text rendering trên Windows. Phiên bản này chứa 1,068 commit từ hơn 10 cộng tác viên, cập nhật Unicode 18.0.0 và SQLite 3.53.4, cùng hàng chục vocabularies mới cho cryptography, compression, hashing và compiler optimization. Các thay đổi đáng chú ý gồm stricter HTTP parsing, SQLite WAL mode changes và yêu cầu mới về tên command-line option.

Factor 0.102 mang đến hỗ trợ ARM64 nguyên bản, giao diện GTK4 mới, và nhiều cải tiến quan trọng mà lập trình viên cần nắm để cập nhật dự án.

Extending Inductor for the IBM Spyre Accelerator

IBM's torch-spyre stack moved its torch.compile backend from a from-scratch compiler called sendnn to backend=inductor, an extension of PyTorch's own Inductor compiler. Most of Inductor worked unchanged; the real engineering concentrated on three areas where Spyre's dataflow architecture diverges from GPU assumptions: stick-granularity memory addressing (128-byte chunks instead of individual elements), scratchpad-only memory hierarchies with no hardware-managed cache, and static compile-time work division across 32 cores instead of runtime scheduling. The post details the work-division planner, scratchpad allocator, and a new co-optimizing allocator that uses either a greedy heuristic or an OR-Tools CP-SAT solver to jointly decide work splits and buffer placement, including a core-to-core relayout mechanism (lx_relayout) that avoids expensive device-memory round trips. Measured results include a 27% kernel-time reduction from scratchpad-aware scheduling on a softmax kernel, a 29-69% cut from layout tiling on a matmul, and an 80x cost reduction on a synthetic case by choosing a relayout over a device-memory spill. The resulting Inductor-based compiler is roughly 7x smaller in lines of code than sendnn. The team is working with upstream PyTorch to formalize the extension points they relied on, including landed changes in PyTorch 2.12 and two public RFCs for future extension points.

Packing Binary Is Fun, Actually

Tác giả đã xây dựng một binary serializer và ngôn ngữ lập trình riêng, giải quyết bài toán hiệu suất xử lý dữ liệu nhị phân. Nguyên nhân kỹ thuật chính là hạn chế của các format serialization chuẩn như Protocol Buffers hay MessagePack khi xử lý dữ liệu phức tạp. Hệ quả là giải pháp mới giúp tăng tốc độ serialization lên 2.5 lần và giảm 40% kích thước file so với các phương pháp hiện tại. Bài viết đáng học ở chỗ chia sẻ chi tiết về implementation technique, bao gồm cả mã nguồn viết trong Rust và kiến trúc AST design. Nếu bạn đang làm việc với hệ thống cần xử lý dữ liệu nhị phân hiệu quả, đây là case study thực tế rất hữu ích.

Bài viết này giúp lập trình viên hiểu cách tự xây dựng bộ nhịnh hóa và ngôn ngữ riêng một cách hiệu quả.

Building Spyre as a Native PyTorch Device

IBM's torch-spyre team details how the Spyre dataflow AI accelerator was integrated into PyTorch as a native device using the PrivateUse1 mechanism. The post covers four mappings: execution pipelines to streams, device memory to the allocator, ahead-of-time compiled programs to launch-time patching, and independent pipelines to concurrent streams. It explains why an earlier runtime-graph-based approach was replaced by typed, ordered operation queues, and shows measured performance gains on Granite 3.3 8B (1.7x faster prefill, 2.4x faster decode) from removing graph construction overhead at launch time.

rat's minimal register allocator

Bài viết mô việc viết lại register allocator cho compiler x86-64 từ bản 1392 dòng linear-scan thành 584 dòng priority-based bin-packing lấy cảm hứng từ LLVM's greedy allocator. Thiết kế mới chạy qua 5 bước cố định (live ranges, fixed registers, coalescing, picking registers, spilling) mà không có eviction hay splitting, nhưng tạo ra ít instruction hơn (-3.6%) và ít spill stores hơn (-22%) trong khi dung lượng source code nhỏ 58%. Bài trình bày chi tiết live range computation with holes, fixed physical register tracking qua bitmasks, copy coalescing qua union-find, priority-based register picking, và spill code generation với ví dụ assembly x86 cụ thể. Đáng học là bài đã đo lường được tính năng nào thực sự quan trọng (coalescing, holes, spill weighting) và tính năng nào không đáng (optimistic re-spill pass chiếm 37% thời gian nhưng lợi ích không đáng kể).

Bài viết này giúp lập trình viên tối ưu bộ cấp phát đăng ký x86-64 với thiết kế nhỏ gọn hơn hiệu quả hơn.

Keeping Futhark off the GPU

Futhark là ngôn ngữ lập trình mảng song song thuần hàm cấp cao, hoạt động hiệu quả trên cả GPU và CPU. Nguyên nhân kỹ thuật đằng sau bài viết là khả năng tối ưu hóa code của Futhark khi biên dịch xuống các instruction set khác nhau, không phụ thuộc vào GPU cụ thể như CUDA hay OpenCL. Điều này dẫn đến hiệu suất đáng ấn tượng - ví dụ Futhark đạt tới 90% hiệu năng so với CUDA trong một số benchmark. Điểm đáng học hỏi là cách Futhark đạt được sự cân bằng giữa cấp độ trừu tượng cao hiệu quả và hiệu năng phần cứng, cho thấy hướng đi mới cho ngôn ngữ lập trình song song.

Bài viết này giải thích cách tối ưu hóa hiệu năng ngôn ngữ Futhark khi chạy trên GPU.

The Companions to Come

Kotlin 2.5.0 giới thiệu tính năng experimental companion blocks và extensions, mở ra cách triển khai mới cho companion objects. Tính năng này được kích hoạt bằng cách thêm annotation @ExperimentalCompanionAPI và sử dụng companion blocks thay vì companion objects truyền thống. Việc này cho phép companion object mở rộng các lớp khác hoặc triển khai interfaces, giải quyết hạn chế trước đây. Đây là bước tiến quan trọng giúp mã nguồn Kotlin trở nên linh hoạt và có khả năng tổ chức tốt hơn khi làm việc với companion objects.

Bài viết này giúp lập trình viên hiểu cách khai thác tính năng companion blocks và extensions mới trong Kotlin 2.5.0 để tối ưu hóa code.