1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
|
_ _ _ _ _ _
_ __ ___ ___ __| | ___| | |_| |__ (_)_ __ __ _| |
| '_ ` _ \ / _ \ / _` |/ _ \ | __| '_ \| | '_ \ / _` | |
| | | | | | (_) | (_| | __/ | |_| | | | | | | | (_| |_|
|_| |_| |_|\___/ \__,_|\___|_|\__|_| |_|_|_| |_|\__, (_)
|___/
an experimental systems-modeling-wiki-thing
`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.
|
