aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorbnewbold <bnewbold@robocracy.org>2016-10-25 20:20:50 -0700
committerbnewbold <bnewbold@robocracy.org>2016-10-25 20:20:50 -0700
commit1ff738b1942b4424d5d7c02617938363338b1828 (patch)
treea3f38788b15000ba76d96dd9ae055d96c93e510d
parent8eb63f635c801f236e8e8992f75d473c7e3d85c8 (diff)
downloadmodelthing-1ff738b1942b4424d5d7c02617938363338b1828.tar.gz
modelthing-1ff738b1942b4424d5d7c02617938363338b1828.zip
re-write README
-rw-r--r--README.md42
-rw-r--r--notes/parsing.txt5
2 files changed, 35 insertions, 12 deletions
diff --git a/README.md b/README.md
index 1f7c785..fc4aa4a 100644
--- a/README.md
+++ b/README.md
@@ -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/