compiler

This blog post explains how to build a host-tuned GCC compiler using profile-guided optimization, LTO, and -O3 to achieve faster compilation times, with detailed instructions and benchmarks.

At Gleam Gathering 2026, Rob Durst shared how he rewrote a YAML-to-Terraform configuration tool as a compiler using Gleam, and how he came to appreciate the power of type-driven design and the decoder pattern.

SPy is a statically typed variant of Python that includes both an interpreter for rapid development and a compiler for high performance, aiming to retain Python's dynamic features while enabling static compilation.

This article presents treating ARPG buildcraft as a compiler pipeline, where authored content is compiled into runtime data to avoid special-case code for skill-support interactions, using Zig-based examples.

minc is a minimal programming language that compiles directly to native executables for multiple platforms without external tooling. It features modern syntax, built-in SIMD, and a bundled shader compiler.

Microsoft announces a redesign of C#'s unsafe keyword in C# 16 to enforce memory safety contracts, making unsafe operations visible and compiler-enforced, with preview in .NET 11 and production in .NET 12.

CPPL is a compiler-mediated framework that bridges LLMs and hardware design by using a Python DSL and JSON-based intermediate representation to enable statically checkable, optimizable RTL generation.

GCC 16 introduces improved hierarchical error messages for C++ templates and updated SARIF machine-readable diagnostic output, enhancing developer experience.

The author explains switching to a Markdown-based test suite for EndBASIC's compiler and VM, motivated by making the tests serve as canonical documentation for LLMs to learn the language's idiosyncrasies.

Explains the implementation of Go's select statement, covering compiler rewrites and the runtime's selectgo function.

Mercury is a logic/functional programming language that combines declarative programming with static analysis and error detection. The repository provides source code, documentation, and backend support for multiple platforms.

XS is a new programming language distributed as a single statically-linked binary containing the compiler, language server, debugger, formatter, linter, test runner, profiler, and package manager. It runs unchanged on multiple platforms including Linux, macOS, Windows, WASI, iOS, Android, ESP32, and Raspberry Pi, and offers multiple backends including a JIT, VM, and transpilers to C and JavaScript.

Explores when C++ compilers can devirtualize virtual function calls, covering cases like known dynamic types and final keyword, with comparisons across GCC, Clang, MSVC, and ICC.

The Fil-C optimized calling convention ensures memory safety for C programs even under adversarial misuse, while maintaining efficiency by omitting safety checks in the common case. It explains the generic and register-passing optimizations that handle type violations via panics or well-defined behavior.

OxCaml, Jane Street's fork of the OCaml compiler, introduces compile-time guarantees against data races, enabling sequential consistency without runtime overhead. The blog post explains the new mode axes and their implications for parallel programming.

FPSan is a Triton compiler pass that enables verification of algebraic equivalence of floating-point programs by replacing floating-point operations with integer operations, relying on Schanuel's conjecture for correctness.

Spectre is a new programming language for safe, contract-based low-level systems programming, enforcing immutability by default and compile-time/runtime contract checking. It compiles via QBE IR and includes a feature to translate C code to Spectre.

This article describes the Rust Forge, a repository of supplementary documentation for the Rust programming language, with instructions for building, contributing, and maintaining the documentation.

The developer created a native build system and is building an --emit-c option to complement the 'with migrate' feature, aiming for cross-platform support and eliminating Makefiles and shell scripts.

Hoot 0.9.0, a Scheme to WebAssembly compiler backend for Guile, has been released with new features and bug fixes, including DWARF support, standard Wasm exceptions, and a game jam template for the Lisp Game Jam.