Example
Project / Running model-written programs
Ask a model for a program you can reuse.
A math practice app could ask a model for every question and answer. Each response then needs checking. Another approach is to ask it for a program that generates questions and computes their answers.
Yichus supports this with Bosatsu, a typed functional language. An application supplies a small library the generated program may use. The compiler checks its types and rejects code that reaches effects outside the calculation, such as database or network access. Diagnostics can go back to the writer.
Source and local setup instructions on GitHub. This page has no live model runner.
What works today
The Programs adapter compiles source against the application’s allowed library and runs accepted programs in separate processes with time and memory limits. Mathstreams uses it for reusable math question generators.
Passing those checks does not prove the questions or answers correct. Mathstreams also samples generated questions and asks a model to solve them without seeing the answers. That is another check, not a proof.
All Yichus projects · Portable calculations
Where this fits
What this is about: Why an Analyzable Language?