Vlad's Roam Garden

Powered by 🌱Roam Garden


This is an "Orphan" page. Its core content has not been shared: what you see below is a loose collection of pages and page snippets that mention this page, as well as snippets of this page that were quoted elsewhere.

Referenced in

consider constraining your system to give it desired properties

making a language explicitly non-Turing-complete allows you to easier analyze the code/data in it and ensure that it's safe/optimize it automatically/etc