---
format: "aidr-story-markdown/v1"
id: "4a1f24a030abf679fab676b81e63a6ffaa975408bd02b02a905e7dc2501ccf31"
canonical_url: "https://aidr.today/4a1f24a0?lang=en"
title: "Ship Your Interpreter"
lang: "en"
requested_lang: "en"
available_langs: ["en","vi"]
translation_fallback: null
fallback_fields: []
published_at: "2026-10-17T14:16:33.000Z"
category: "Research"
topics: ["llm"]
source_urls: ["https://www.basis.ai/blog/ship-your-interpreters/","https://lobste.rs/s/rtd5gq/ship_your_interpreter"]
summary: "LLMs can write rules for a programming language and prove that its interpreter follows them."
---

# Ship Your Interpreter

> [Open the canonical story](<https://aidr.today/4a1f24a0?lang=en>)

**Published:** 2026-10-17T14:16:33.000Z
**Category:** Research
**Topics:** llm

## Summary

LLMs can write rules for a programming language and prove that its interpreter follows them\.

## Sources

- [Story source](<https://www.basis.ai/blog/ship-your-interpreters/>)
- [Discussion](<https://lobste.rs/s/rtd5gq/ship_your_interpreter>)