diff options
author | bnewbold <bnewbold@robocracy.org> | 2016-10-25 20:20:50 -0700 |
---|---|---|
committer | bnewbold <bnewbold@robocracy.org> | 2016-10-25 20:20:50 -0700 |
commit | 1ff738b1942b4424d5d7c02617938363338b1828 (patch) | |
tree | a3f38788b15000ba76d96dd9ae055d96c93e510d | |
parent | 8eb63f635c801f236e8e8992f75d473c7e3d85c8 (diff) | |
download | modelthing-1ff738b1942b4424d5d7c02617938363338b1828.tar.gz modelthing-1ff738b1942b4424d5d7c02617938363338b1828.zip |
re-write README
-rw-r--r-- | README.md | 42 | ||||
-rw-r--r-- | notes/parsing.txt | 5 |
2 files changed, 35 insertions, 12 deletions
@@ -1,16 +1,34 @@ -`` - _ _ _ _ _ _ - _ __ ___ ___ __| | ___| | |_| |__ (_)_ __ __ _| | - | '_ ` _ \ / _ \ / _` |/ _ \ | __| '_ \| | '_ \ / _` | | - | | | | | | (_) | (_| | __/ | |_| | | | | | | | (_| |_| - |_| |_| |_|\___/ \__,_|\___|_|\__|_| |_|_|_| |_|\__, (_) - |___/ + + + _ _ _ _ _ _ + _ __ ___ ___ __| | ___| | |_| |__ (_)_ __ __ _| | + | '_ ` _ \ / _ \ / _` |/ _ \ | __| '_ \| | '_ \ / _` | | + | | | | | | (_) | (_| | __/ | |_| | | | | | | | (_| |_| + |_| |_| |_|\___/ \__,_|\___|_|\__|_| |_|_|_| |_|\__, (_) + |___/ an experimental systems-modeling-wiki-thing -`` -Parser Refs: -http://notes.willcrichton.net/parsing-strategies-in-rust/ -http://smallcultfollowing.com/babysteps/blog/2015/09/14/lalrpop/ -https://github.com/nikomatsakis/lalrpop/ + +`modelthing` is a set of software tools for collaboratively editing +symbolic models of real world systems. + +*What kind of real world systems?* any system that can be described by +algebraic differential equations. Examples: a double pendulum, population +dynamics in ecology, Moore's Law of increasing transistor density, the light +emited by an LED as a factor of current and voltage, real estate prices as a +factor of rent control, etc. + +*What kind of symbolic models?* models which both hold semantic meaning and can +be computed. machines should be able to translate the models between different +symbolic, graphical, and interactive mediums, and both humans and machines +should be able reason with and judge the appropriateness of the models. + +*What kind of collaborative editing?* aspirationally, rational discourse +between strangers on the internet who come to progressively more accurate +consensus. The models should be re-usable by hierarchal reference, with +automated tooling to cross-check for compatibility. + +*Does it work?* there's no "here" here, yet, just some sketches and +experiments. diff --git a/notes/parsing.txt b/notes/parsing.txt new file mode 100644 index 0000000..6a13b76 --- /dev/null +++ b/notes/parsing.txt @@ -0,0 +1,5 @@ + +Parser Refs: +http://notes.willcrichton.net/parsing-strategies-in-rust/ +http://smallcultfollowing.com/babysteps/blog/2015/09/14/lalrpop/ +https://github.com/nikomatsakis/lalrpop/ |