What if compiler errors were an API? (AI-native language demo)
quality 2/10 · low quality
0 net
AI Summary
Valea is a systems programming language designed for AI agents that outputs compiler errors as JSON-formatted API responses instead of human-readable text, enabling more reliable machine parsing and code generation without regex scraping.
Tags
Entities
Valea
hvoetsch
Valea – a systems language designed for AI agents, not humans - asciinema.org Valea – a systems language designed for AI agents, not humans by hvoetsch 2 hours ago Share Download .cast - original recording .txt - plain text version .gif - animated GIF WSL2 • xterm-256color • bash 2 views I’ve been thinking about why AI agents struggle with code generation — it’s not the models, it’s the languages. Every compiler was designed to output human-readable errors. Agents have to regex-scrape them, which breaks constantly. https://github.com/hvoetsch/valea So I built Valea: a minimal systems language where the compiler speaks JSON by default. Share this recording × https://asciinema.org/a/834560 Copied! Append ?t=30 to start the playback at 30s, ?t=3:20 to start the playback at 3m 20s. See sharing docs for more link customization options. Embed as image link Use snippets below to display a preview image linking to this recording. Ideal for places where scripts are not allowed, such as project README files. HTML: 
Copied! Markdown: [](https://asciinema.org/a/834560) Copied! Embed the player If you're embedding on your own page or on a site which permits script tags, you can use the full player widget: Copied! Paste the above script tag where you want the player to be displayed on your page. See embedding docs for more player customization options. Download this recording × You can download this recording in asciicast v2 format , as a .cast file. Download Replay in terminal You can replay the downloaded recording in your terminal using the asciinema play command: asciinema play 834560.cast Copied! If you don't have asciinema CLI installed then see installation instructions . Use with stand-alone player on your website Download asciinema player from the releases page (you only need .js and .css file), then use it like this: See asciinema player quick-start guide for full usage instructions. Generate GIF from this recording × While this site doesn't provide GIF conversion at the moment, you can still do it yourself with the help of asciinema GIF generator utility - agg . Once you have it installed, generate a GIF with the following command: agg https://asciinema.org/a/834560 demo.gif Copied! Or, if you already downloaded the recording file: agg demo.cast demo.gif Copied! Check agg --help for all available options. You can change font family and size, select color theme, adjust speed and more. See agg manual for full usage instructions.
Copied! Markdown: [](https://asciinema.org/a/834560) Copied! Embed the player If you're embedding on your own page or on a site which permits script tags, you can use the full player widget: Copied! Paste the above script tag where you want the player to be displayed on your page. See embedding docs for more player customization options. Download this recording × You can download this recording in asciicast v2 format , as a .cast file. Download Replay in terminal You can replay the downloaded recording in your terminal using the asciinema play command: asciinema play 834560.cast Copied! If you don't have asciinema CLI installed then see installation instructions . Use with stand-alone player on your website Download asciinema player from the releases page (you only need .js and .css file), then use it like this: See asciinema player quick-start guide for full usage instructions. Generate GIF from this recording × While this site doesn't provide GIF conversion at the moment, you can still do it yourself with the help of asciinema GIF generator utility - agg . Once you have it installed, generate a GIF with the following command: agg https://asciinema.org/a/834560 demo.gif Copied! Or, if you already downloaded the recording file: agg demo.cast demo.gif Copied! Check agg --help for all available options. You can change font family and size, select color theme, adjust speed and more. See agg manual for full usage instructions.