Show HN: Kore – Stack based language where compiler is the reward function (github.com)

Kore, a newly developed stack-based programming language, introduces a unique approach where its compiler acts as the reward function for program correctness verification before execution. Built in Rust, Kore employs a specialized type system that statically checks stack effects and capability requirements at compile time, ensuring that programs are not only syntactically valid but also semantically sound. This capability minimizes the risks commonly associated with AI-generated code, which is often executed without prior validation, leading to unpredictable outcomes. The significance of Kore for the AI/ML community lies in its potential to enhance AI code generation. By offering a deterministic and pure semantics model—where the same input yields the same output every time—Kore facilitates a smaller action space of approximately 140 tokens compared to the vast 50,000 in Python, making it easier for AI models to generate functional code. Kore's validation mechanism delivers performance at 50,000 program evaluations per second, which can be particularly beneficial for training reinforcement learning agents. This combination of static verification, restricted capabilities, and a focus on correctness makes Kore a promising tool for building safe, reliable AI systems and opens avenues for further research in automated programming.