AIToday
Hacker NewsPublished: May 8, 2026, 13:01 JST1 min read

Greyforge Labs releases Sley, an agent-native structural programming language with deterministic execution and auditable code modifications.

Greyforge Labs releases Sley, an agent-native structural programming language with deterministic execution and auditable code modifications.

3 Key Points

  1. Sley is a programming language designed for AI agents that uses a compiler (Loom) to read human-reviewable source code, expose typed abstract syntax trees (ASTs), check task and effect semantics, and accept verified grafts (modifications) instead of blind text edits.

  2. The language includes 19 implemented command-line tools (parse, format, check, run, ast, graph, query, lint, doctor, plan, fix, verify, deploy, trace, seal, zjx, graft, new) and supports module imports, task/type/effect declarations, explicit capability gates for effects, and deterministic host seeding for databases, secrets, deployments, spending, network calls, shell commands, and model calls without live external access.

  3. Project scaffolding templates are available for hello, library, CLI, service, data pipeline, deploy, spend gate, agent, agent task pack, and multi-module agent projects through `sley new` with non-destructive generation.

Ask the AI about this article →

Get AI news like this every morning

For example, today's edition would include:

  • Aranya raises $11M to turn bare-metal servers into AI clusters in 48 hoursSiliconANGLE AI · 2h ago
  • CBTS launches Forge Agents for custom AI agentsSiliconANGLE AI · 2h ago
  • Phonely launches Alma, voice AI trained on 10M callsSiliconANGLE AI · 2h ago

AI-summarized, only the topics you pick — one digest a day via Email, Slack, or Discord.

Free · takes 30 seconds · unsubscribe anytimeWhat is AIToday? →

Ask AI

Ask AI anything about this article. Q&As are published on this page for other readers too.

Next articleMicrosoft executives expressed skepticism about OpenAI funding in 2017–2018 emails revealed during Musk v. Altman trial