Post #2143827

RE: https://mastodon.social/@dpp/116523200391081871 The short form: open source becomes domain specific languages that have skills, etc. defined for each DSL. LLMs code in the DSL and wire the DSL defined modules together. The key is each DSL has a formal proof of its functionality. A ProofBOM. Use the DSL for free. Pay a license fee for the digitally signed ProofBOM Thoughts @interfluidity @rstephensme @ogrady