renzume.

Compiler Design

Why I'm Writing a Scheme Implementation in 2025 (The Answer is Async Rust)

A developer introduces scheme-rs, a work-in-progress R6RS implementation designed for seamless interoperability with async Rust. The project aims to solve async Rust's debugging and iteration challenges while serving as a foundation for a future language called Gouki, which will combine Scheme's macro system with advanced typing features.

Pointers Are Complicated II, or: We need better language specs

The article explores how pointer provenance affects compiler optimizations, demonstrating how three seemingly correct LLVM transformations can lead to incorrect results when combined. The author argues for treating compiler IRs as proper programming languages with precise specifications to prevent optimization conflicts, particularly regarding pointer-integer casts and provenance tracking.