There are many pages. Some pages are samples of applications, some
are part of a repository of mathematcs, some define the underlying logic
(including methods of proof), and some define the notation (Syntax and
MATHS documents have many internal and external links. Each theorem
has a link to its proof. Each defined term links to its definition.
Each name of a mathematical system has a link to its definition.
MATHS is a a source code that can be translated into various mark up
languages such a HTML and TeX. The generated HTML takes up twice the
disk space as the source code.
Some can not be trusted to use the pages as planned
Evidence: every week or so someone submits a piece of HTML
with an invalid addres and irrelevant subject and links to
porn, advertising, drugs and other non-mathematical stuff.
[ 001123.html ]
(Coding Horror blog "Designing For Evil", May 2008).
[ 001171.html ]
(Coding Horror blog , September 23, 2008
"Cross-Site Request Forgeries and You")
A Group Is Its Own Worst Enemy
[ group_enemy.html ]
- Social and technical issues are intertwingled: they can not be separated niether does the technical drive the social.
The system will have antics -- emergent properties.
There will be a formal rules and informal rules.
- Members are not just users.
There will be an onion structure.
Example: reader -> anonymous coward -> named person -> moderator.
The Core subgroup love and weed the garden that others wander through (and vandalize?). = Volunteer fire department.
One user = one vote does not work when any wandering visitor can be a user.
Number of external links
One page -- the bibliography of softwre development has over 113 distinct
sites in "http" URLs.