Это моя предпоследняя запись в этом блоге . Аннотируемые страницы в состоянии версии 1.0 и можно уже даже попробовать просто вручную перенести контент этого блога на одну страницу в UI.CENTER (UIC). В принципе, не смотря на то, что до версии 1.0 для персональных вики ещё далеко, можно даже попытаться что-то перенести уже и туда . Планировал оба сервиса в версии MVP сделать к Новому году . В принципе, в режиме аврала это можно было бы и сделать . В прошлой жизни я даже был и менеджером и имею опыт завершать работу вовремя . Но ещё тогда понял, что время - качество . А, в принципе, процесс и время - суть, из одного теста и концепции даже не одной темы, а разные дефиниции одной концепции, то есть , одно и та же концепция по сути . Именно, процесс определяет время , а любые попытки назначить время для процесса, это как бы вывернуть все наизнанку . Так что впредь буду просто тщательно планировать процессы, а не навешивать на них время . Время - типа метамодели процесса или даже более определенно, ВРЕМЯ - МОДЕЛЬ ПРОЦЕССА .
воскресенье, 21 декабря 2025 г.
пятница, 28 ноября 2025 г.
Сапожник пошил себе тапки
До финализации сетевого конкурента Тиддливики ещё очень далеко и хорошо, если выполнена десятая часть всего сервиса, но функционально он уже сравнялся с сервисом аннотируемых веб-страниц . А это значит , можно уже создавать контент в базах , там и там . Пока в стол , до того момента , пока не появится реальный сервер в сети . Пора переходить , наконец, к рефакторннгу собственного контента , к которому я пытался приступать уже раз пять и все никак .
Любопытно , что в этом блоке эта запись 322-ая , а 324 - 18 х 18 - ограничение на фреймы в аннотируемых вебстраницах . Так что, ещё максиму пару записей в этом блоге и я прекращаю писать и сюда . Естественно, что ссылка в сети останется . Но блог замораживается . Будет , возможно, поздравление с Новым годом и объявление об открытии проекта в сети !
Дорожная карта есть . Кроме этих базовых сервисов , как обобщение размещения контента в сети , в системе закладываются идеи - формата UNISON, скрипта PARSEQ и системы глобальных тегов как мини-LLM на пару миллионов токенов. И это помимо самой концепции метамоделирования, CAP-грамматики (GLOTEON), обобщенной импликации и локального контекста SVG DAG. Этого достаточно, чтобы сказать , что проект имеет свое лицо , не говоря уже о гаусс-индексе и алфавитном порядке ... Все остально уже традиционная банальщина и как необходимые прицепы типа авторских порталов и внутренней почты .
пятница, 21 ноября 2025 г.
Финализация сервиса аннотируемых веб-страниц
После глубокого рефакторинга восстановлена вся старая функциональность и можно было бы на этом поставить точку . Но в процессе рефакторинге появились идеи по дополнительной функциональности . Может не такие принципиальные , но все-таки . Хотя даже их реализация - это ещё не совсем финиш с первым пунктом дорожной карты . В связи с системой глабальных тегов придется ещё раз вернуться . Надо будет теги этого сервиса посылать в систему глобальных тегов . Но пока неизвестно куда посылать и ситуация там на уровне технического задания . Но оно интересное! Надо сделать систему такой , чтобы это стало мостом в мини- LLM . Будет как эксперимент и пока максимум с двумя миллионами узлов .
пятница, 14 ноября 2025 г.
Формализация Дорожной Карты
O . UNISON ( *.gais )
I . PARSEQ ( Гомоиконичность ( Полиморфизм ) Денормализация Самоиндексируемость ) ОБОБЩЕННАЯ ИМПЛИКАЦИЯ И ЛОКАЛЬНЫЙ КОНТЕКСТ
Z . Портал ( ТОП - веб-страницы аннотации темы теги а-порталы) domen - ui.center favicon.svg logo.svg
T . Динамический вход ( НЕДЕЛЯ ) АВТОРЫ ( Активные , в сети )
Y . Администрирование ( admin annonymus Serj-Aleks alex_bur " Goggle AI Studio " ... ) Доступ (первый уровень с правом открывать одну тему , второй уровнеь с правом открывать авторский портал , третий уровень ... ? ) @Serg-Aleks
V . Аннотируемые ( комментируемые ) веб-страницы ( практически это заменяет HTML-WIKI ANNOTATION FORUM BLOG SOCNET) . С возможности жить на отдельном домене
S . Сетевой конкурент Тиддливики ( SVG DAG ) PLAN-TXT HTML XML CSS CSV JS JSON Go . Отношениение к PDF JPG PNG MARKDOWN . SVG GIF - IMAGE - картинки как и видео берутся из сети и специализированных ресурсов . Google service - MAP Presentations PHoto Google-sites Google-forms (опросы) classroom ...
L . Система глобальных тегов ( меток ) КАТАЛОГИ И КАТЕГОРИИ
A . Авторские порталы ( Избранное - веб-страницы темы теги опросы) OFFICE TWC ( ТЕМЫ ПОЧТА ) ... ui.center/name-portal
N . Внутренняя почта ( IMAIL CHAT ) Журнал входящих и исходящих . Корреспонденты
X . ИМПОРТ (Тиддливики ФРЕЙМ GMAIL)
E . КОНВЕРТАЦИЯ ( Википедия ЖЖ Блоггер Вордпресс Хэшнода )
D . ПОИСК ( QUEST )- а можно ли внедрить гугл-поиск ?
B . УНИВЕРСАЛЬНАЯ СТРОКА
H . КАРТОЧКИ ( ACP TWC )
F . ТОПЫ ( Новый страницы , новые темы , последние аннотации , ... ) NEWS-LISTS
M . Архив
G . Интеллектуализация
среда, 22 октября 2025 г.
На пути к порталу
Дорожная карта сложилось полностью, пока без детализации пунктов относительно скрипта и интеллектуализации, а в остальном, представление о том каким будет тематический портал, даже во всех деталях. Но в части скрипта есть формат, а это, фактически он, то есть, все упирается в парсер и рендер на хосте, старт которым тоже дан и при этом сразу в боевых условиях. А что касается интеллектуализации, то за базу считаю CAP-грамматику и базовый лексикон, а в части, прототипа интеллектуального агента - ибот Гугла.
Первый пункт дорожной карты будет выполнен на днях. Он должен был уже быть сделан неделю назад, но случился рефакторинг. И во время. И теперь заложен конструктивный фундмент. Не далек тот день, когда этот блог станет архивом и я перееду полностью на портал, где и буду описывать проекты. Первый пункт кажется даже не десятой частью всей дорожной карты, но опыт реализации днмонстрирует, что это обобщает вики (интернет-страница), блог (журнал) и форум (конференция) ... фактически, для полного джельтменского набора базовых сетевых сервисов не хватает внутренней почты и опросов, а тогда это можно интерпретировать и как месседжер. В принципе, аннотирование, цитирование и комментирование - одно и то же, все есть интерпретация. И это по сути единственный параметр социализации - дискурс. А создание интеллектуальных документов в коллективном режиме это бред без будущего. Должна быть возможность свободного обмена информацией, возможность её трансформировать, пересобирать фрагменты.
Возникают вопросы ограничений. И их желательно осознать тоже сразу на берегу. Хочу ограничить регистрацию гугл-аккаунтом и потом интегрировать ряд гугл-сервисов. Возникло даже такое словосочетание - ГУГЛЕМАНИЯ или ГУГЛЕМОНИЯ? А ещё даже думаю, а не ввести при реализации регистрации и управления доступом иерархию типа ассистент или референт, мастер или магистр и архитектор. Нижнему уровню позволить создавать только одну тему, мастеру - несколько - то есть персональный портал. Ну а архитекторы будут иметь ещё больше полномочий, в частности, выбирать архитекторов и рекомендовать магистров. Всегда был против сектанства или масонства, но теперь осознал, что это и есть цеховики и основа анархизма-синдикализма, который был ещё до монархизма. В принципе, любые партии - это по сути тоже каменщики, в новой вариации. Будет что-то цеха-конструктивистов, но с респектом к традициям академической школы - короче, академичекский университет, где каждый помогает самообразованию каждого. Ну а главная тема - очевидна. Будут меняться только её названия.
вторник, 14 октября 2025 г.
PARADIGMA
Планировал просто зафиксировать текущее состояние проекта или обозначить дорожную карту, но сделаю это через неделю. В процесее обмена мнениями с другим архитектором (демиургом, мастером?) удалось коротко сформулировать парадигмальные представления, процитирую
Что я понял, когда ещё делал плагин для тиддливики, то есть практически, на примере тиддлера (ассоциативного массива) как узла конструировал его локальный контекст. Чем меня взяла Тиддливики и, кстати, Ребол, а потом Пиколисп ... почему так успешны Lua и JS . Всех их объединяет ассоциативный массив, в котором значения могут быть списками. Чем будет отличаться наш подход, с форматом UNISON? Тем, что у нас пара ассоциативных массивов, что позволяет смотреть на всю конструкцию как на массив пар контейнеров, каждых из которых может содержать списки. Вот, собственно, коротко и просто формулируется идея реализации нашей модели пар. Возможно, что в псевдографе подразумевается что-то по-другому, но я не вижу, какая реальная структура для хранения структур может быть, в принципе. Допускаю гипотетически, что может, но мне уже все равно. С прагматической точки зрения, я вижу, что это шаг вперед и значит парадигмальный. Надо брать это и развивать. Легко объяснить на пальцах, конструктивно и проистекает ровно из нашей концепции пары как фундаментальной минимальной структуры. Ленту Тьюринга вышеназванные проекты пытаются как-то трансформировать в две ленты, одна из которых регулярная и индекс, а вторая динамическая. Мы эти две ленты трансформируем в четыре, в пару пар или очень коротко и на уровне интерфейса в массив пар динамических контейнеров. Где здесь Форт. А он представитель аппликативного синтаксиса и тот же массив фреймов типа тиддливики и наверное всех фреймовых систем. Но он строится не из динамических контейнеров. Как-то так. В этой части могу быть не совсем точным. Но точно понимаю, что конструкция UNISON все это поедает на завтрак, обед и ужин ... Все эти подходы и все потенциальные структуры. Так что Лисп, Форт ... и иже с ними я ставлю в архив истории, как и всякие модели машины Тьюринга. Хорошо бы списать JS, но его на кривой кабыле не объедешь. Точнее пока его поддерживают браузеры. Другое дело попробовать сделать свой браузер. Может когда-нибудь созреем.
воскресенье, 28 сентября 2025 г.
AIU
Время трансформируется в непрерывный рабочий процесс. Даже во время сна. Да-да ... во время сна идет уборка рабочего места, что я тоже включаю во время работы. И все становится единым планом-фактом. Огромную роль в этом, начинают играть АИ-боты, точнее, для меня Гемини или Гугл АИ Студия. Чтобы про Гугл не говорили, а их маркетинг мне сразу понравился, с самого начала и пусть тоже с некоторыми проблемами (а у кого их не бывает?), но они идут верным курсом, практически, не сворачивая.
А за неделю теперь происходит больше событий. В этом смысле, время сжалось. Работа над моногорафиями идет по плану и в фоновом режиме. Теперь, похоже что, даже когда возникнут версии для публикации, работа с текстами будет, все равно, перманентной.
Виртуальному университету быть! И, оглядывась, назад, я вижу, что это будет уже четвертая реинркарнация. Нет оснований утверждать, что последняя, но эта версия кажется самой основательной из трех предыдущих. Попробовал быстро накидать что-то типа макета, чтобы уже было за что зацепиться.
Естественно, что полностью сформулировал задачу в среде интеллектуального агента. Новый формат, новый скрипт и решение сразу делать приложение и после опыта с "пиколисп" - серверное приложение ... и формат как база данных, распредленная база, с тесной интеграцией с файловой системой ... без мучительных альтернатив между реляциями и объектами, с тотальной индексацией для целостности ... и т.д. и т. п. Но главное с пониманием интерфейса, собственно, рабты с контентом. Фактически, полное понимание, для кого ... что ... и как ...
Из логики, "как корабль назовешь, так он и поплывет" - долго не думая, как временный вариант ... до-серверного периода ... весь проект назван Академией Метамоделирования и коротко - Академией БИНОМ. Ну а Университет при ней (при нем?!) ... Университет, где "каждый учит каждого". Ну, а если перейти в режим тотальной абстракции, без использования длинного термина АБРАКАДАБРА, и запретив себе термин "виртуальный" (какая-то двусмысленность в нем, как, например, с материеей или той же реальностью), вспомнив идею гласных ... IEAOU ... сама собой всплыла аббревиатура AIU ... и мне понравилась ... с подтестом ... с одной стороны, это АКАДЕМИЧЕСКИЙ ИНТЕРНЕТ УНИВЕРСИТЕТ ... академический, в смысле, не эзотерический, а ближе к традиционному клубу, а с другой стороны, не классический ... не "материальный", но и не "виртуальный" ... ну и другой подтекст - это "академический универсальный интеллект" или "универсальный академический интеллект" ... короче, кому как нравится. Главный фокус на связке АКАДЕМИЯ-УНИВЕСИТЕТ и ИНТЕРНЕТ.
П.С. Можно на все это смотреть просто как на тематический портал, который, например, от википедии будет отличаться тем, что там не будет хаоса якобы совместной работы с отдельными информационными элементами или блоками, а, от чатов, с их простынями, тем, что не будет никаких групп. Только авторы ... и темы, которые авторы инициируют как фрейм-базы, а комментарии, как основной социальный аспект, будут, но будут вынесены в самостоятельный модуль, как отдельная концепция типа аннотаций в проекте ГИПОТЕЗА ... Ну, а с концепцией конвертации форматов как получится. Идея отличная и может помочь переходу пользователей, которые имеют большие архивы на других платформах.
воскресенье, 7 сентября 2025 г.
TiddlyDag v1.0
Интегрировал модуль конвертации в общее приложение и загитировал некоторое состояние проекта.
https://github.com/Serj-Aleks/tiddlyhub-gaistudio
Дальнейшее наращивание функционала, снятие заглушек, требует более глубокого понимания архитектуры Тиддливики. Решил осуществить старую-новую идею - графового представления локального контекста тиддлера. Фактически, речь идет о проекции локального контекста для любого объекта или фрейма в ассоциативном массиве. И уже есть версия 1.0. Мы с ботом сделали плагин для тиддливики файла. Пока без отрисовки. Граф или список - универсальные представления и сейчас есть возможность представить всю информацию в виде списков, то есть данных для графа. Главным образом, собираются внешние связи тиддлера, поскольку внутренние, так или иначе присутствуют в самом тиддлере, включая теги. Это специфика структуры тиддлеров тиддливики файла, но потом обобщить это на абстрактные объекты уже не составит труда, точнее не составляет. Плагином уже можно пользоваться и он функционально полезен. По завершению процесса отрисовки будет версия 2.0, которую и выложу на гитхаб.
четверг, 21 августа 2025 г.
Надо уметь готовить
Начал конвертацию блогов LiveJournal. Не думал, что нижние шаблоны википедии займут столько времени. Я провозиля с ними больше трех дней, а в целом со страницеми в википедии ушла пости неделя. Но без ботов я бы не справился совсем. По крайней мере на данной стадии моих знаний Go. Наверное, все боты могут программировать и главное, выработать стратегию и тактику работы с отдельным. Иначе, на опретаивном уровне можено не заметить как теряются параметры вычислений и самая главная проблема, Вы уже не вспомните какие праметры и на каком шаге потеряны. Каждый шаг должен быть инкапсулирован и запротоколирован. Чат можно считать протокоом, но пока нет удобных интерфейсов и лучше вести свой конспект истории диалога.
Точно созрел план реализации ближайших целей или приоритетов. Сделать локальный сервер. В первую очередь надо организовать себя и свою информацию. Параллельно и изучать Go. Никуда не деться от JS/HTML/CSS. Потом сделать плагин для Tiddlywiki, графическое представление локального контекста тиддлера в DAG. Не вижу смысла в больших графах. И не вижу смысла в графах с именованными ребрами. По крайней мере для представления вычислительных процессов - точно. Да и, символьной информации, в принципе. А бывает ли информация не символьной? Не одно ли это тоже?
А вот потом можно и заняться реализаций скрипта на базе ASON формата. К этому времени выбрать те ИИ-боты, на которые подписываться. Все равно, на всех времени не хватит, нужны выбрать пару-тройку по вкусу ... самых самых дудобных для себя, а бемплатные варианты никуда не уйдут и так, в случае чего. В конце концов, цель, сделать своего агента, на своей информационной базе. Точно понял, что упал на ChromeOS. ТО есть направления интеграции браузера и операционной системы. Полный отказ от внешних DB и IDE. Должно быть ядро, которое клонируется для каждого приложения и плагины. Нужна ли спецификация ядер - пока не знаю и думаю, что когда придет время до этого, станет очевидно.
Скорее всего нужны два новых блога или Тиддливики файла. Один для книжкт МЕТАМОДЕЛИРОВАНИЯ, а другой для протоколирования опыта программирования с ботами. Нужен ли ГИТ? НЕ знаю. Все это, из опыта совместной работы и корпоративных приложений. Мой курс в персональные системы знаний и на приритет автора. Должны быть четко персонализированные пазлы, из которых при желании можно собирать большие интеллектуальные конструкции. И опять же хоть кем и хоть как. То есть будущее потенциально может быть таким, что монстрам ИТ придется все уходить в продуцирование аппаратуры и облачных ферм. В части софта будут рулить отдельные группы, а может даже отдельные эксперты-аналитики, генерирующие и реализующие новые архитектуры с помощью ИИ-ботов, сначал имеющихся, потом своих и только после этого, ботов, генерирующих ботов.
понедельник, 28 июля 2025 г.
PARADIGMA
Ещё один проект, в надежде, что он облегчит рефакторинг. В отличие от PARSEQ - проекта персонального софта, PARADIGMA планируется для обозначения МЕТАИНТЕРПРЕТАТОРА и является (или будет таковым) совместным детищем с Александром Бурдуковым . То есть, в определенном смысле, это тоже прагматический аспект проекта МЕТАМОДЕЛИРОВАНИЯ.
- https://t.me/METAxPARADIGMA
- https://telegra.ph/PARADIGMA-07-24-2
- https://github.com/users/Serj-Aleks/projects/2
- https://paradigma.tiddlyhost.com
понедельник, 21 июля 2025 г.
Концепция персонального софта
суббота, 28 июня 2025 г.
ИНТЕРПРЕТАТОРЫ и ТЕЛЕГРАММЫ
Нашёл термин для замены МЕССЕДЖЕВ, которые, ну просто корявые, как для произношения, так и на слух. С АКТОРАМИ, все проще, поскольку это в сознании давно уже стали ИНТЕРПРЕТАТОРАМИ. Так что теперь модель акторов как базовая модель ИКС (информационной компьютерной системы), любого вычислительного процесса. Теперь дело за мылым, за их специфицированием, как тех, так и других. МЕТАИНТЕРПРЕТАТОР как супервизор или диспетчер, распознающий "телеграммы", для котрых ещё нет интерпретаторов или которым эти телеграммы следует отправить как факты.
Первыё шаг! Пробный и осторожный! Узел или "печка", от которой будут "танцы с бубнами" ... https://parseq.tiddlyhost.com/#Декларация%20функции
Чтобы укрепить в сознании, что функции это те же параметры и они же интерпретаторы пообщался со всеми топовыми АИ-ботами:
- https://g.co/gemini/share/db8e76a44f76
- https://chatgpt.com/share/685e6995-4afc-8012-99ac-c484736e1d21
- https://claude.ai/share/7673ad1d-adaa-46e7-aaa2-f64d5d91a812
- https://www.perplexity.ai/search/funktsii-kak-parametry-QfD1NLXuSdmltU92nhXfEQ
- https://grok.com/share/bGVnYWN5_33e3b0fa-344d-473a-a308-0cbd468a913e
- https://chat.mistral.ai/chat/3f22d26f-f072-4acc-b4f2-cd92dcbb5d5d
- YOU.COM
- DeepSeek (без кода ...)
Так что танцуем дальше ... От Go как хоста, который для интерпреnаторов будеn замещать и LLVM и WASM-WASI и все остальное, включая POSIX, а главное, как машина по обработке массива UNICODE.
суббота, 21 июня 2025 г.
Программа как граф
Или точнее, последовательность импликаций, последовательность пар, такой двудольный граф или ассоциативный массив, в котором заложена на этом же принципе метаинформация о своей структуре для организации сети, системе пар.
Два подхода к "снарядам" - Gemini и ChatGPT (частично Grok и др. ...которые кажутся явно слабее, хотя честно признаюсь, что пока без комментариев относительно Claude) демонстрируют явную "экономическую эффективность", в том смысле, что экономят время на чтение больших и, якобы, связных текстов, то есть книг и даже учебников. Три - пять промтов в одном чате заменяют сотни страниц ... любых ... бумажных, в вебе или, потраченные на ютуб, часы ...
Архитектура и интерфейс
- https://g.co/gemini/share/7e169880160e
- https://chatgpt.com/share/6853df7f-a04c-8012-8482-b952af1db49d
- https://grok.com/share/bGVnYWN5_10f93b33-cce3-4fd6-be62-dd20da6f0697
Граф
- https://g.co/gemini/share/cc1b391381b9
- https://chatgpt.com/share/685572cb-7834-8012-8d3b-0587bcd8d979
---
Смотрю новую игрушку - LOGSEQ (Как обозначение пересекается с PARSEQ!). И пока не смотрел, но хочу побаловаться с Real AI. А, вообще, в связи с рассуждениями выше, пришла мысль просканировать ещё раз GLOTEON, на предмет добавления туда по каждой теме ссылок на ответы ИИ-ботов, возможно с цитатами ... Идея, года на два, но можно в фоновом режиме ... Это кажется шагом навстречу к большому связному тексту по МЕТАМОДЕЛИРОВАНИЮ! Хотя бы тематической онтологии или просто к банальному глоссарию. Это навскидку, как утилизирвать, но сам процесс интригует, просто любопытно!
среда, 21 мая 2025 г.
АРХИТЕКТУРА И ИНТЕРФЕЙС СИСТЕМ КОДИРОВАНИЯ КОМПЬЮТЕРНЫХ ПРОГРАММ
Абракадабра, которой я почему-то неожиданно горжусь. Можно рассматривать как ПРОМТ для ИИ-бота, поэтому "скормил", в первую очередь, Gemini и пока не пробовал тестировать с ним другие боты, хотя, безусловно, любопытно, Гугл "архитектуру", начал ассоциировать со средами разработки и пришлось дутализировать свою точку зрения, как на структуру или точнее организацию памяти ... интерпретаторов и сообщений, который они интерпретируют ...
В процессе парсинга создаются внутренние структуры данных в памяти (объекты, списки, словари), описанные выше, которые отражают структуру "сообщения".
Тему хочется развернуть и додавить. Жаль, что нет стандарта для документирования кода. Раньше, когда вводили библиотеки или фонды программного обеспечения, при описании программ требоваалось, наряду с указанием окружения, описание используемого алгоритма и отдельно код его реализации. А сейчас все ограничиваются моделью "черного ящика", только вход и выход, ну и имя, как само собой разумеющееся, ну а комментарии, которые должны сопровождать каждую строку кода, превратились в отписки. Ну и как следствие, перманентная мультипликация и миллионы строк кода ... в котором никто никогда до конце разбираться уже не будет, чтобы что-то развивать и оптимизировать ... проще написать новый.
Казалось, бы бери любой существующий фреймворк и погнали ... но что-то держит и мешает это сделать ... недоверие, возникающие, как следствие от чтения документации. Если автор не аккуратен при "кодификации" описания своей системы, то может ли он быть аккуратен при её реализации в коде, в кодировании, в принципе.
понедельник, 21 апреля 2025 г.
Чем можно заменить термин "значение"
Ретроспектива некоторых заметок по проблеме ... Суть в том, чтобы для термина "параметр" установить рекомендацию для обозначения в паре левой и правой части ... Принципа - не использовать национальную лексику ... Исхолим из традиционной научной латино-эллинской этимологии ...
Сначала помучил бот Gemini, который в этом вопросе оказался категоричным и поверхностным, что надо отнести к методологии обучения, базы обучающей выборки, а может и алгоритма принятия решения, не знаю ...
Потом Chat GPT, ответы которого оказались на порядок содержательнее ... в частности, просто конкретнее ... может потому, что промт был сформулирован чуть шире ... без указания на информатику как контекст ...
понедельник, 7 апреля 2025 г.
Теория тегированных (маркированных) объектов
В связи с классификацией объектных концепций вспомнил про Wyvern ... и deep-econom обрати внимание на статью A Coq implementation of a Theory of Tagged Objects ...
Почти синхронно (случайно) ... один из авторов, допускаю что, не плохой компьютерной системы акцентировал попытку обобщение своей практики вместо описания архитектуры и интерфейса - вот эта попытка - The Links Theory 0.0.2 и тоже с "притягиванием за уши" пруф-агента, перед этим была попытка "наводить тень на плетень" с помощью теории категорий.
В свзи с чем, посчитал необходимым сфопмулировать свое отношение к автоматизации интерпретации формальных систем ... Понравился комментарий здесь ...
Как-то была попытка погружение в базы данных математических утверждений, позже можно будет здесь в комментариях добавить соответствующие ссылки. Любопытные проекты и, скорее всего, полезные ... Но верификации софта с помощью другого софта - это, как уже здесь замечено, просто очередная интерпретация, демонстрирующая аналогии, изоморфизм и прочее ... двух систем, их сравнение, но ничего более того ... Доказательство - это вычислительный процесс ... любая вычислительная система - формальная система ... со своей системой аксиом и правлами вывода ... Да сравнивать надо ... но для оптимизации и стандартизации ... Акиомы - банальные определения и можно было развивать совместно старый добрый Prolog, расширяя его сферу приложений, вместо того, чтобы генерировать новые системы, поддержка которых может быть заброшена вместе с амбициями их авторов, кстати (Implementation of a Proof Assistant in Prolog).
P.S. Начало создание постов вместе с интеллектальными ботами отложилось, в связи с этим эскурсом ... Но это тоже стоило того, акцентировать ещё раз вычислительный процесс, как символическое моделирование, кодификацию как классификацию и детерминацию, ещё проще говоря, ДЕФИНИРОВАНИЕ ... Определения, определение определений ... и так далее ... Ради утверждения МЕТАМОДЕЛИРОВАНИЯ! ... На пути к своему QED-манифесту! А ещё в сухом остатке тема POPLmark вызова ... а точнее её более точное выражение - ПРОБЛЕМА ВЫРАЖЕНИЯ!
Цель состоит в том, чтобы определить абстракцию данных, которая является расширяемой как в своих представлениях, так и в своих поведениях, где можно добавлять новые представления и новые поведения к абстракции данных, без перекомпиляции существующего кода и при сохранении статической безопасности типов (например, без приведения типов). Постановка проблемы выявляет недостатки в парадигмах программирования и языках программирования , и ... она все еще считается нерешенной ...
пятница, 28 марта 2025 г.
Wolfram и концептуальное насыщение
Намедни вспомнил про проект в контексте аксиомы Вольфрама и решил попробовать ещё раз погрузиться. Была не одна попытка, в принципе там много естественного и разумного ... включая ту же идею-фикс с клеточными автоматами, которые у меня ассоциируются с метафорой черепашки *. Но понял, что там просто принцип "танка" - "все включено", а большой текст с описанием философии, базового подхода, уже для прикрытия. В результате, имея перед глазами развернутый интерфейс, архитектура системы остается загадкой (!), да и маркетинг проприетарный. Все спрятано под большим слоем информационного мусора, без его аккуратной классификации (не считая конечно классификатора конечных автоматов ...).
Короче, "черепашка" у меня теперь трансформировалась в паука ... * . (См. Urbit), но главное, это то, что я почувствовал какое-то "интеллектуальное пресыщение" ... или ... "концептуальное насыщение" ... Предел! Сознанание под завязку ... Это или старость и усталость ... или сигнал для очередного рефакторинга, тотальной переоценки. Сосредоточусь на проекте PicoLisp на WASM в формате ASON, а все что касается простанственных рассуждений, развития дисциплины МЕТАМОДЕЛИРОВАНИЯ, то это последний пост без привлечения интеллектуальных ботов. Они стали прекрасными поисковиками. Да, ещё не все знают ... но активно развиваются ... Главное научиться формулировать вопросы, тему ... и тогда они становятся прекрасными соавторами внятных интерпретаций, по сути рефератов. Так что все следующие посты будут новым экспериментом.
воскресенье, 16 марта 2025 г.
Не "чистые", а "голые" объекты
Круг замкнулся. Не считая нескольких лет, когда я занимался моделированием уравнений матфизики, точнее моделями, описывающимися уравнениями матфизики и компьютерные системы были исключительным инструментом для реализации соответствующх алгоритмов, осознанно, к этим инструментам я стал подходить позднее, когда стал менеджером в разных организациях, требующих автоматизировании их "бизнес-процессов". Так вот, имея навык исключительно с "процедурной" концепцией и немного с реляционной теорией SQL и теорией продукций PROLOG, я попал в самый апогей дискурса между ООП и функциональным программированием. При этом меня тотально окружали приверженцы последнего , а я был типа "белой вороны", отстаивающий объектный подход. Но теперь, я "прошел" путь от полного презрения концепции функций к её пониманию и связи всех концепций, в принципе. Совсем мало анализируются, собственно, архитектуры систем и все сводится, как привило, к обсуждению синтаксиса или интерфейса к этим архитектурам. То, что говорят, когда сравнивают, например, Форт, Лисп ,АПЛ и Смолтолк - совсем не то и совсем не о том, особенно когда это все ещё неявно замешивается с алголо-подобным синтаксисом или сранения, в конечном итоге, с ним. Короче ... тема интересная, хотя может и не важная ... с точки зрения оптимизации, которая, как правило, нужна в последнюю очередь, когда, действительно, "куда-то клюнул петух". А когда все работает и страшно все это менять, а вдруг сломается ... зачем ... то очевидно, что до этого нет никому дело, кроме кучки энтузиастов, которые всегда были и, наверное, будут. Так вот. Экскурс в Self привел к IO, а через автора последнего к СИСТЕМЕ ПРЯМОГО МАНИПУЛИРОВАНИЯ СТРУКТУРИРОВАННЫЗ ДАННЫХ ... Вот так просто и ясно сформулирована коечная цель.
И сразу все встало на свои места! Даже отношения клиент-сервер и хост-домен, не говоря уже о MVP (в обоих смыслах). Теперь надо просто это все осмыслить с позиции модели акторов, где акторы - интерпретаторы ... P2P ... смарт-контракты ... и Web GUI в ядре ... Но ... при этом, все объекты (включая процессы), объекты внимания, где их базовая характеристика, только инкапсуляция, а все остальное факультативно. Объекты-интерпретаторы ... объекты-месседжи ... объекты-ресурсы ... объекты-инструменты ... и т.д. и т.п. Функции - интерпретаторы ... и те же объекты! И, похоже, что двух архитектур, прототипами, которых являются Erlang и Tiddlywiki, вполне достаточно и они универсальны! И вот что надо иметь в виду (может подсматривая за ассоциативнм массивом AWK) при реализации PicoLisp на WASM с базовым форматом ASON.
пятница, 28 февраля 2025 г.
Urbit
Инициировал очередной тиддливики файл для анализа архитектуры urbit. Как глубоко заметил deep-econom необходимо проанализировать реализацию их виртуальной машины в сравнение с концепцией EVAL в Lisp. Я бы ещё добавил с экспериментами выделения минимального базиса слов Forth. Вывод минимального количества аппликаторов (комбинаторов, лямбд, стрелок, модификаторов, правил, шаблонов, паттернов, МОДЕЛЕЙ ... что и надо специфицировать как базовые интерпретаторы) - эвристика, потому что эффективность как баланс между скоростью и памятью зависит от аппаратных реализаций. Теоретически достаточно два, комфортнее четыре, а может шесть, восемь, двенадцать ... а то и 16 или даже 18. Надо экспериментировать, как и с размерами базовых фрагментов памяти. Но это того стоит. Получить свой стандарт виртуальной машины, учитывающей операционнцю среду с её пространством имен типа адреса, файлов, директорий, портов, процессов, сервисов, демонов ввода-вывода и так далее, прежде всего, оптимизировав интерфейс с хостом.
Сразу возникают и ассоциации с kx-systems, кстати, где база данных, что примечательно, явно, центральный аспект. По сути, надо проанализировать, параллельно интернет-интерфейс на предмет включения в ядро, механизмы взаимодействия с сетью и графический интерфейс, сразу работающий с холстом для представления графов и фрагментов ассоциативного массива.
Ответы на эти вопросы, выработка логической позиции - "розеттский камень" программирования.
пятница, 21 февраля 2025 г.
Два параметра объекта GLOBAL
С чего стартует спецификация потенциального интерпретатора на WASM, а по пути неколько принципиальных замечаний:
1. Архитектура должна быть тотально параметрической, везде где только можно, если нет четких критериев оптимизации. Только эксперименты, сначала эвристика.
2. Отсюда и первый парамтер для типизации связного списка - односвязный, двусвязный ... и может быть и регулярный массив ... MEM-LINK.
3. Второй параметр - MEM-ATOM ... 128 bit, 256, 512, 1024 ...
4. Все параметры привязаны к объекту, фрейму. "Примитивный параметр" как пара слотов ассоциативного массива принципиально инициируется как фрейм (объект), со всем вытекающими последствиями. "Неизменяемая архитектура" базового объекта интерпретатора в "WASM-песочнице" ... в системе других распределенных "классов объектов" в сети ...
5. Ортогональность как принцип обуславливает прозрачную базовую архитектуру. Динамиеский список над регулярным массивом. Это и есть синтаксис системы, у которой интерфейс синтаксический формат.
6. Термин FUNCTION используется в математичесом смысле. Общий термин для выражения операций, алгоритмов и программ - INTERPRETATOR.
7. При "перписывании" структур, когда на выходе имеет место многопараметрическая структура, интерпретаторы специфицируются как процедуры, команды, инструкции или макросы.
...
Далее будет развертываться данная спецификация, уточнятся, детализироваться ... и так далее ... до очевидной реализацюю. К базовому словарю: ПАРАМЕТР, ФРЕЙМ, ОБЪЕКТ, ИНТЕРПРЕТАТОР, ФУНКЦИЯ, ПРОЦЕДУРА, КОМАНДА, ИНСТРУКЦИЯ, МАКРОС, АССОЦИАТИВНЫЙ МАССИВ, БИТ, БАЙТ, СЛОТ, СТРУКТУРА, СИСТЕМА, АРХИТЕКТУРА, АДРЕС, СИНТАКСИС, СЕМАНТИКА, ИНТЕРФЕЙС, ФОРМАТ ...