Tag
Verdagon details how the experimental Valen programming language enforces memory safety across the Valen/Rust boundary, implementing group borrowing (borrow checking without shared-xor-mutable) while seamlessly calling into Rust functions directly.
The Rust team announces Rust 1.99.0, stabilizing C-ABI variadic functions, layout information APIs from raw pointers, and updated guidance on Box::leak patterns ahead of custom allocator support.
The beta of `wgsl-rs`, a Rust-to-WGSL transpiler, has been released on crates.io, covering work like operator precedence fixes, vector equality handling, literal-suffix inference, and runtime wgpu codegen from an IR.
EDG has open-sourced its well-known C/C++ compiler front end, including parsing compatibility with Clang, GCC, and MSVC, a C/C++-generating back end, a prelinker, and extensive documentation for developers and AI agents.
Edward Kmett's Turbo Haskell (THC) compiles GHC Core via Truffle/GraalVM, supporting full prim-ops, JIT and AOT via Native Image, polyglot FFI to Python/Ruby/R/JavaScript, SIMD, green threading on Project Loom, and even compiling GHC itself.
Tianqi Chen (MLC AI) announced an open-source online book and upcoming CMU ML Systems course module on Agentic GPU Programming for MLSys, covering how coding agents use compiler-driven harnesses, knowledge bases, and benchmarking to write and optimize GPU kernels.
MLC AI releases TIRx Harness, an open compiler harness that gives AI agents a structured environment to explore, debug, and optimize GPU kernels. Agent-built Kimi Delta Attention kernels achieved 2.94x geometric-mean speedups over FlashKDA (forward) and 6.84x over FLA (backward).
The article outlines a systematic method for improving Haskell build times by benchmarking, identifying bottlenecks like slow modules, analyzing causes such as excessive type-level programming, and evaluating trade-offs in optimizations.
The author shares their experience of struggling to build a compiler with OpenAI Codex but finding success with Claude AI.
This 2011 mailing list thread discusses compiler challenges in optimizing interpreter loops and how LuaJIT2 achieves better performance through assembly-level techniques like fixed register assignment.
EvilVM is a native code Forth compiler deployed as position-independent shellcode for remote code execution in information security contexts, providing an interactive shell and capabilities for remote code delivery and compilation.
The blog post explains how to implement the first Futamura projection by specializing an interpreter to a program, using a Brainfuck-to-Carp compiler as a practical example.
Evocation is a Forth dialect and self-hosting compiler targeting amd64 architecture, designed for experimentation with language design and featuring self-bootstrapping for auditable binaries.
SDCC is a Small Device C Compiler, a development tool for programming small and embedded systems in the C language.
The article discusses an ambitious project to revive the Vale programming language and create a new language called Valen, aiming for seamless integration with Rust to enable cross-language generics and memory safety.
The user discovered that the COBOL compiler they use on Linux is developed under the leadership of Japanese people, and appreciates the Japanese dedication to maintaining legacy systems.
AttnFuse introduces a composable DSL for compiling custom attention patterns, including RoPE, to fused GPU kernels, achieving speedups over existing methods like PyTorch's flex_attention.
Singeli is a domain-specific language for high-performance programming with SIMD support, implemented in BQN and emitting C code, designed for flexible abstractions over CPU instructions.
The author implemented a full stack for running large language models on hardware from scratch, including the model, GPU instruction set, compiler, and simulator, to make each layer understandable. The project is open-sourced on GitHub.
Metacarp is a new compiler for the Carp programming language, written in Carp itself, featuring modular libraries, an LLVM backend, and incremental JIT compilation capabilities.