Свободный интернет - проект

[perestoronin]

Для обмена знаниями рекомендуется поднимать wiki сайты, и организовывать вокруг них сообщества по интересам и задачам.

Если это будет научный или технический проект, то обязательным условием будет наличие возможности отображения и набора формул и таблиц.

Единственный язык разметки который это позволяет делать лучше чем просто как-нибудь - это LaTeX.

Сразу вопрос, а как это прикрутить к веб-сайту? Ответ если только проблема в формулах, то лучше MathJax ничего еще не видел, а если еще и разметку самих страниц wki делать на LaTeX в онлайн режиме то без Pandoc никак не обойтись, а чтобы его приспособить к своим стилям - придется поправить файл в нем LaTeX.hs, а чтобы это сделать нужно изучать Haskell.

Кроме того есть еще и веб-сервер на Haskell и Git - так и называется GitIt. Рекомендую одним словом.

Также неплохим временным подспорьем будет Ruby On Rails с подключаемыми Haml + Sass + CoffeeScript.

Оно все работает из коробки, но конечно же под Ваши нужды придется подпиливать и добавлять нужные возможности. Программисты и администраторы на такие проекты нужны конечно и не только нам, НО денег у нас нет, так как никого не обдираем и не заставляем на нас работать, и поэтому учимся и работаем сами как можем, да и найти таких специалистов просто не реально, еще сложнее объснить что Вы хотите от них.

PS. Все что Вы перечислили замечательно, но Cи++ тупиковый путь, как и все языки унаследованные от него.
Нужно начинать использовать языки функционального и логического программирования, хотя бы Haskell и Prolog, а в перспективе Рефал и Актор. Именно такие языки позволяют организовать базу знаний о которой так много пишут, и обмениваться знаниями нужно через собственные веб-сайты по типу wki-энциклопедий. В перспективе такая система может стать действительно помощником человека и даже неким центром с элементами искусственного интеллекта.

Причем язык программирования должен быть таким, чтобы решение почти любой задачи сравнительно легко распараллеливалось , а выбранные алгоритмы легко доказывались и проверялись. Кроме того новые языки должны хотя бы на миллиметр приближать появление элементов искусственного интеллекта у технических систем.