Blog
Updates, decisions, and research from the ARIA project.
ARIA v0.1.0
The first tagged release. Three backends. A downloadable JAR. No gcc required to run ARIA programs on the JVM.
ARIA-JVM: A JVM Bytecode Backend Without gcc
Three PRs. A complete JVM bytecode backend. All three example programs compile and run on the JVM with no C toolchain required.
Effect Annotations Now Survive Codegen
PR #7 closes the semantic fidelity gap. ARIA effect declarations now translate to GCC/Clang attributes in C output and survive as comments in WAT. The effect system is end to end.
First External Contribution: WASM Backend and Comptime
PR #1 shipped a WAT/WASM codegen backend and compile-time evaluation. The generics-via-comptime pattern is the thesis in action.
Why ARIA, Why Now
The thesis introduction. Why AI-optimized intermediate representations are the right abstraction for the prompt-to-binary pipeline, and why the time to build one is now.
Choosing Clojure: The S-Expression Alignment Argument
Parsing s-expressions in a language that is s-expressions. Why Clojure is the structurally inevitable choice for the ARIA toolchain.