воскресенье, 29 сентября 2024 г.

Web-инфраструктура для персонального профиля

Я пользователь интернета со времен связи Церна с Институтом ядерной физики СО РАН и с энтузиазмом воспринял инициативу Google стать форпостом сети с моделью бесплатных информационных сервисов, амортизируя свои издержки продажей рекламы. Это сподвигнуло меня сделать отдельный сайт, посвященный сервисам Google ... но потом стало бросаться в глаза постоянное шараханье гугловской команды от пользователя интернета к конкуренции с бизнес-монстрами и в результате даже отказы от своих публичных проектов типа G+ или P2P на базе протокола IMAP ... игнорирование частных инициатив, возможно несущих угрозу бизнесу ... и так далее ... И это угроза бизнесу проявилась даже у таких конкурентов типа Opera, где в лету канул их замечательный проект блогосферы с расшариванием десктопных папок ... Короче, именно  такое очевидно "монопольное поведение" мейнстримных игроков, заставило внимательнее сканировать сеть на предмет приватнх альтернативных проектов ... вопреки всему ... К сожалению, последние не могут справится с "раздвоением между содержатеьной целью и ей монетизацией", в результате, либо сама новая идея реализуется (часто в испорченном варианте) мейнстримом, либо просто игнорируется или "замусоривается откровенным говном" ... Есть исключения и компромиссы ... типа того же проекта Tiddlywiki ... но опять же с полным игнорированием пердставителей мейнстрима ...

В общем, компромиссы так компромиссы ... решил вернуться к идее максимального использования гугловских сервисов для "системы персональных знаний", но с тематикой типа "против гугл", посвященной, действительно, парадигмальным идеям в практике программирования. Зайти на очередной круг и при этом начать осваивать мейнстрим типа JavaScript, но транслировать и интерпретировать с помощью него его потенциальные альтернативы. Можно было бы развивать любой "синтаксис" и любую информацонную систему в требуемую сторону, что, как правило, не получается из-за амбиций разработчиков. Наконец, старые системы, вынуждены поддерживать весь свой старый синтаксис, хотя можно было бы делать соответствующие трансформаторы и давать возможность автоматического апгрейда.

Короче, новый эксперимент. Но уже на базе определенного фундамента, с учетом модели CAP-грамматики и дисциплины МЕТМОДЕЛИРОВАНИЯ. Заведу новый гугл-сайт (что по сути типа вики) с форумом и, в сочетании с этим блогом посмотрю как это конкурирует с простыми Tiddlywiki-файлами (где будь почта и форум, то вопрос бы очевидно закрылся сам собой). Главное содержание. Очередная попытка, используя, что-то типа "метода переезда" собрать вместе все вещи, расставить их по-новому и ... может кое-что забыть на старой квартире и вместо этого прикупить что-то новое ... Недаром считается, что лучшие метафоры для компьютерных архитектур это класическая архитектура. Кстати, надо последнюю тоже определить элементом в МЕТАМОДЕЛИРОВАНИИ, может в рамках РЕТРОСПЕКТИВЫ.

суббота, 14 сентября 2024 г.

Roc-Elm ... Haskell ... Clean

Машины Тьюринга и Поста, Цепи Маркова, Частично-рекурсивные функции, Теория авоматов, Лямбда-исчисление, Пи-исчиесление, Комбинаторы, Алгебраические типы, Реляционная теория, Теория категорий, Сети Петри, Логические продукции, Трансформация графов ... неполный перечень абстракций, которые сопровождают разные реализации компьютерных систем. 

Машинный код - Ассемблер - Макроассемблер (Форт, синтаксический конструктор) - АПЛ (массив) - Лисп (список, коннекция) - Пролог (БД, продукция) - Смолтолк (GUI для объекта) - Эрланг (закрытие темы параллельных процессов) ... Ряд раличных реализаций компьютерных систем, которые, собственно, являются предметом этих абстракций.

Веб ... Конкурентность ... Смартконтракты ... Социальные сети ... Интернет вещей - новая виртуальная реальность ... и желание всю эту практику, аключая саму практику абстрагирования свести к единому формализму и в одной конвенциональной лексике ... 

Можно такое сделать? Не просто можно, а неизбежно так будет сделано, если конструируется система взаимодействия ... модели акторов, интерпретаторов которые интерпретируют сообщения, генерируют их и трансформируют. Все это модели и их выражения - код и данные ... и абсолютные аналогии наверху "семантического дифференциала" ... Это можно продемонстрровать, но аргументом, опять же, может быть только эффективная компьютерная система, интегрирующая другие ... И трудно выбрать линию, которая наиболее адекватна некоторым собственным текущим представлениям, среду, которую можно использовать для дальнейшей эволюции ... Когда я начинал осознанно путь выбора, то это были ограничения типа - только не C/C++ или Java, только не Oracle или Макинтош (Apple) и только не Linux, оправдываясь, с одной стороны, неубедительной практикой их представителей, а с другой, неприятием их амбиций, предавших традиции IBM и AT&T (Unix). Я активно использую продукцию Microsoft и Google, но не потому, что она лучше, а скорее из сложившихся обстоятельств и отсутствием альтернатив.

Короче, круг пунктов интерполяции стал активно сужаться, благодаря новым проектом и активизацией некоторых старых ... Vlang, Zig ... Pantom OS, UNISON, FML ... Flatassembler, ASON AltScript (Rebol), Tiddlywikik ... WebAssembly, JavaScript ... К этому вот теперь прибавился новый список, в котором интенция - Clean. Недавно один из его апостолов защитил докторскую диссертацию, что похоже на маркетинговых ход и из чего я делаю вывод, что надо будет ожидать что-то типа rust-овского бума для этого проекта, его реирканцию ... 

P.S. Хочу обратить внимание, что все системы как надстройки над аппаратурой, по сути одинаковы, только в разной степени развиты ... основная проблема в описании самих систем, которые должны либо описывать сами себя, то есть быть интуитивно транспарентными, либо их авторы и разработчики должны нам просто показать архитектуру организации памяти, терминологический граф своей системы и продемонстрировать его подграфы, которые являются переходами ... акцентируя контейнеры и их содержимое, то есть делая акцент не на синтакисе, а на, собственно, свои модели. Ещё раз утверждаю, что парадигм программирования не существует! Есть синтаксические игры и пустые дискуссии вокруг них. Комитеты по стандартизации - это манекены, которые не проводят никакого анализа на транпорентность и аналогию. Может нужен какой-то общественный, открытый комитет, типа для открытого компьютерного оеспечения? Для анализа новых спецификаций, экспертизы новых определений на их чистоту. Типа общественного патентного биро, только с уклоном не в серификацию качества типа хорошо или плохо, правильно или неправильно, а детализируя параметры ... что, опять же, по сути терминологический граф с выдеением подграфов, осущствлящих генерацию и трансформацию. Просто и понятно! Да, плюрализм! У формата сообщения может быть несколько интерпретаторов, а один интерпретатор способен реагировать на разные форматы! Но сначала это надо дифференциировать, прежде чем интегрировать. И в основе всего этого "стрелка" или, что тоже самое "пара", как минимальная структура!

суббота, 7 сентября 2024 г.

Fediverse, fedwiki ... factor

Неделя выдалась активной и связано это было с отношением с "телеграМ". По этическим причинам решил переехать на постоянное место жительство в соцсетях в другое место. Жаль "телеграФ", но буду искать новые варианты. Аккаунт как в ЖЖ не удаляю, много туда ссылок и буду читать корреспондентов, но постить туда уже ничего не буду. Переехал в "хабциллу", где администратор одного из хабов быстро откликнулся. Открыл сразу два канала - под своим именем для заметок проекта МЕТАМОДЕЛИРОВАНИЕ и тематический РЕТРОСПЕКТИВА, с уклоном в социальные аспекты. Попробовал там же сервисы "вики" и "веб-сайт" из-за чего, собственно, выбрал "федиверсе" и то что с ним дружит "вордпресс". Сервисы сырые и и неудобные. Подумал, что может вики попробовать в "федвики", но не нашёл ни одного провайдера. Тем не менее переезд снова инициировал идею анализа современных актуальных проектов, авторы которых идут своей дорогой против мейнстрима коммерческих гигантов. Скорее всего тему буду развивать на платформе Тиддливики. Самый удобные и надежный вариант. JavaScript подождёт, хотя видимо в ближайшем будущем объехать его мимо не возможно, но для своего проекта и практики программирования хочу все-таки выбрать что-то более концептуально фундаментальное. Увидел проект Spry , который показался с моей колокольни близким по духу. В связи с чем начал смотреть проект Nim, где впечатлила амбиция сать лучшими и единственными ... но алголовский синтаксис настораживает и в этом смысле даже интереснее тот же Crystal . Короче, буду продолжать искать свою инфраструктуру, продлжать смотреть за развитием flatassembler, Racet, Faro ... где прежде всего есть графическая среда ... Первый очень далеко до Веба, как впрочем тот же Factor, но возможно, что последнему и уделю больше всего внимания. Концептуальность проекта зашкаливает, как впрочем, и амбициозность, и видно что автор глубоко понимает проблематику. Не хочу погружаться в "кучи", и сборки мусора. Я видел проект и даже участвовал, где на фортовских "стеках" была и сетевая объектная база данных и ГИС ... Буду привыкать к комбинаторам без скобок, а не к аппликативному синтаксису. Тем более, сейчас я точно понимаю что хочу, что все полные по тьюрингу системы одинаковы и что источник проблем - стартовый синаксис интерфейса, описание системы авторами и активность разработки ... и синтакический компромисс между функциональными скобками лямбда-блоков и конкатенационной природой натуральных диалектов для меня будет решаться как раз на стыке JS и, скорее всего, этого самого Factor"а. В конечном итоге, разрешение этих проблем в GUI и системе, позволяющей настраивать любой синтаксис. А такого пока никто не сделал. По пути к зрелости, почти все игнорируют важные вещи на уровне ядра, "живую среду", где пока безусловным лидером является Smalltalk, но который совсем не дружит с внешней средой, хотя его разработчики могли бы и позоботиться хотя бы о том, чтобы сделать транспилеры этой внешней среды в себя.


среда, 28 августа 2024 г.

METATEMATIKA

Вариант или версия ГЛОТЕОНА, структуры или каркаса имеет место быть! Теперь можно "и в ширь и в глубь" ... Но перед спецификацией глоссария в сторону МЕТАМОДЕЛИРОВАНИЯ есть идея сделать тематические списки. Примеры с НАТУРОЙ ... или НОМЕРОМ ... Пока не знаю в какой форме это будет. Может надо пока (временно) отдельным файлом и после результата принять решение по оформлению. Назову файл МЕТАТЕМАТИКА.

Дальнейшие рассуждения по поводу JS привели к мысли, что это как выбор "гражданства", идентификация своей хостовой инфраструктуры ... ЭЙПЛ, МАЙКРОСОФТ ... ГУГЛ ... В очередноq раз загружу NW.JS и, наконец-то попробую погрузиться ... скорее всего это приведет в перспективе к CHROM OS или даже NODE.JS OS. Когда-то пропобавл загрузить WOLFRAM и ужаснулся, когда он съел на компе больше гигабайта ... С "нодой", точнее с NPM это наполовину меньше ... Понимая, что в ядре даже с GUI не больше полумегабайта, такие объемы кажутся устрашающими ... Но может пора смириться. Пора начинать путь к интеллектуальному агенту со своей системой интерпретации, со своим синтаксисом и, в конце концов, экосистема JS кажется самой комфортабельной и устойчиво-развивающейся ... 

четверг, 22 августа 2024 г.

Структурный Дифференциал и ... Поисковый Индекс

 

https://habr.com/ru/articles/535164

Если элементарная модель - пара, а модель - пара пар ... и так далее ... и все это процесс метамоделирования или, что то же самое - метареферирование ... или дифференциация ... ДИ-ФЕРЕНЦИЯ ... Во времена свободной игры слов кто-то использовал термин БИ-ФЕРЕНЦИЯ ...

Коржибски писал о том, что можно обучиться всему чему только заблагорассудится, если вам открыта структура предмета изучения. Структура, соответственно, становится единственным возможным содержанием знания, и все научные технические тонкости, как бы тяжелы и трудоемки они не были, становятся просто необходимыми инструментами для поиска структуры, и инструменты эти сами по себе не обладают никакой особой ценностью и не являются необходимыми для "знания", как только для конкретного случая обнаруживается структура ("наука и здравомыслие" А. Коржибски). Структура языка просматривается в многопорядковых терминах: «да», «нет», «истинный», «ложный», «функция», «свойство», «отношение», «число», «различие», «название», «определение», «абстракция», «утверждение», «факт», «реальность», «структура», «характеристика», «проблема», «знать», «думать», «говорить», «ненавидеть», «любить», «сомневаться», «причина», «следствие», «значение», «оценка» и многие другие. Это термины, которые принимают определенное значение только при наличии контекста; они неоднозначны или ∞-значны. Сами по себе эти слова бесполезны, но они составляют структуру языка. Точно так же и в математике и многом другом. Структура знания, она как скелет на котором все держится и без него лишь просто набор символов. Например, в математике вам необязательно знать наизусть всю таблицу Брадиса, достаточно лишь знать как ее применить, как бы знать на что "повесить" эти значения, чтобы получить ожидаемый результат. https://habr.com/ru/articles/535164

среда, 14 августа 2024 г.

JavaScrit как тема

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

https://habr.com/ru/news/820519

Вы до сих пор не любите JavaScript? JavaScript как праздник JavaScript – лучший и легкий язык программирования

П.С. С точки зрения систем как моделей - все проблемы в их описаниях.Если, в конце концов, все есть интерпретаторы и сообщения, которые они интерпретируют, то надо полагать, что мы можем указать суперинтерпретару явно имя интерпретатора для интерпретации определенной формы сообщения, а можем и организовать гипервизор, который сам определяет интерпретатор, определяя стиль выражения ... При этом трудно выдержать исключительно аппликативный стиль или только функциональный (скобочный) ... И, в конце концов, без мусора не обойтись ... То есть универсальный интерпретатор должен работать и с мусором ... но и давать возможность конструирования оптимальных проекций. И если сравнивать, то, опять же, с чем-то ... Поэтому все будем сравнивать с JS.

среда, 7 августа 2024 г.

Синтаксические фокусы

Считаю необходимым акцентировать замечание о пустом дискурсе вокруг парадигм программирования ... В связи с чем обратить внимание и на абсолютно адекватную терминологию - специфика процедурно-параметрического полиморфизма ... 

После создания некой версии универсального словаря, основанного на традиционной и конвенциональной латино-эллинской лексики и манифестирующего каркаса МЕТАМОДЕЛИРОВАНИЯ, в планах стоит пунктом - лексика теории и практики программирования, где, не смотря на то, что концепция разделение имени и его значения (объекта и его символа) является фундаментом, в реале, в описаниях этой практики, банальная путаница, к которой помимо разделения физического и ментального прибавляется специфика процесса организации аппаратной компьютерной памяти. Например, пример, из  последних "маркетинговых опусов" ... с реактивностью, асинхронностью или "растовским владением" ... но с которыми можно будет "покончить", только систематизацией всей терминологии, сравнивая авторские определения и их реализацию.