From 1ff738b1942b4424d5d7c02617938363338b1828 Mon Sep 17 00:00:00 2001 From: bnewbold Date: Tue, 25 Oct 2016 20:20:50 -0700 Subject: re-write README --- README.md | 42 ++++++++++++++++++++++++++++++------------ notes/parsing.txt | 5 +++++ 2 files changed, 35 insertions(+), 12 deletions(-) create mode 100644 notes/parsing.txt 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/ -- cgit v1.2.3