Observed arrival · 2026-09-29
Velme: an intent-driven programming language
Velme proposes a language where you write typed goals and checks, then an LLM drafts code for a deterministic validator to accept or reject.
○Open
⊠Login
$Paid
†Ads
✦Pretty
●Pro
◎Niche
◉Human
⚑Risk
ƒJS
- For
- Developers exploring constrained AI-generated code
- Worth noticing
- The page says the v0.1 specification is complete, but implementation is starting and nothing is usable yet.
Field notes
The proposed workflow begins with typed goals, plain-language plans, permitted calls, and checks or examples. A language model drafts an intermediate representation, while a separate validator is meant to decide whether it passes; the model is not supposed to reach files, the network, or the clock. The page says the v0.1 specification is complete, but implementation is only starting and nothing is usable yet.
Observed signals
Read the marks
Editorial observations of this landing page, not a rating.
○OpenPublic substance visible
✦PrettyNotable craft visible
◎NicheUnusually specific use
One card from the complete issue