Попытался привлечь к созданию поста Gemini c темой акцентирования общего аспекта Arturo, Rye, Spry и Meta. В целом, бот выделил Rebol как параметр по первым двум проектам, указав ошибочно одного автора для всех четырех и продемонстрировав, что о двух остальных система ничего не знает. Попытка указать ссылки на проекты, естественно, ничем не закончилась, а на иронию, почему система, основанная на поиске в сети, не знает о проектах, существующих несколько лет и не интерпретирует тексты по ссылкам, порекомендовала неизвестно что и, видимо за деньги ... Ну и ладно. Вывод такой, что я могу иметь персонального интеллектуального агента, только сконструировав его сам. Это мне стало наконец, очевидно в полном объеме и как следствие разных целей коммерческих корпораций и даже субъективных представлений членов сообщества развития открытого кода. Технологическое развитие достигло такого предела, что субъект уже не в состоянии проконтролировать потенциальные объемы знаний, с которым можно конструировать персональныой интеллектуальный профиль. То есть надо просто выбрать свой технологический стек типа процессор Risc V, объектной и персистентой OS, интегрированной с Веб браузером и хостовый интерфейс как специализированный интерпретатор для создания DSL. Все существующее не идеально, но тенденции прогнозируемы и все, что можно сделать это оптимизировать выбор ... А с точки зрения, конструирования своего интерфейса, то в качестве старта - это формат обмена, а формат хранения, уже следствие первого, поскольку передается и "хранимый" код. И это формат обмена - ASON AltScript. А четыре упомянутых выше проекта как попытка окончательного анализа для интерпретации формата типа стандартизации в спецификации. Рассматривать Baron и Red не имеет смысла, поскольку это в полном объеме клонирование Rebol без его критического анализа. Итак, формулируем формат! С акцентом на активный голый объект с историей состояний (интерпретаторов и микро баз данных), который взаимодействет с другими объектами посредство объектов месседжей (предикаций). Концентрируемся на их структуре! Можно ли метаинтерпретатор интерпретировать как "почтовый диспетчер", который не только коордиирует распределение процессов, но и распознает безадресные, накапливая опреленную лексику, ранжированный терминологический словарь.
понедельник, 14 апреля 2025 г.
понедельник, 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, а все что касается простанственных рассуждений, развития дисциплины МЕТАМОДЕЛИРОВАНИЯ, то это последний пост без привлечения интеллектуальных ботов. Они стали прекрасными поисковиками. Да, ещё не все знают ... но активно развиваются ... Главное научиться формулировать вопросы, тему ... и тогда они становятся прекрасными соавторами внятных интерпретаций, по сути рефератов. Так что все следующие посты будут новым экспериментом.
пятница, 21 марта 2025 г.
Haiku
Чем меня заинтересовало направление BeOS? Не только, что бывшая команда Apple, а прежде всего тем, что это более развитый POSIX. Файл атрибутируется метаинформацией, что фактически, делает файловую систему объектной базой данных. Её открытая версия.
Сетевой стек работает в режиме ядра ...Одна из отличительных особенностей системы — архитектура трансляторов — системных интерпретаторов файловых форматов. Кроме того, Haiku продолжает традиции BeOS по активному использованию файловых мета-атрибутов, что позволяет реализовать работу с данными простыми и очевидными методами (см. OpenTracker). Файловая система OpenBFS поддерживает расширенные атрибуты файлов, журналирование, 64-разрядные указатели, поддержку хранения мета-тегов, максимальный размер файла — 260 гигабайт, раздела — 2 эксабайта (261 байт или 2 миллиарда гигабайтов).
Интерфейс в пользовательском пространстве, но из-за совместимости с BeOS.
Мне трудно представить, что я ещё полезу разбираться в ядро ... Но базовые вещи ... , с их документацией познакомиться стоит.
воскресенье, 16 марта 2025 г.
Не "чистые", а "голые" объекты
Круг замкнулся. Не считая нескольких лет, когда я занимался моделированием уравнений матфизики, точнее моделями, описывающимися уравнениями матфизики и компьютерные системы были исключительным инструментом для реализации соответствующх алгоритмов, осознанно, к этим инструментам я стал подходить позднее, когда стал менеджером в разных организациях, требующих автоматизировании их "бизнес-процессов". Так вот, имея навык исключительно с "процедурной" концепцией и немного с реляционной теорией SQL и теорией продукций PROLOG, я попал в самый апогей дискурса между ООП и функциональным программированием. При этом меня тотально окружали приверженцы последнего , а я был типа "белой вороны", отстаивающий объектный подход. Но теперь, я "прошел" путь от полного презрения концепции функций к её пониманию и связи всех концепций, в принципе. Совсем мало анализируются, собственно, архитектуры систем и все сводится, как привило, к обсуждению синтаксиса или интерфейса к этим архитектурам. То, что говорят, когда сравнивают, например, Форт, Лисп ,АПЛ и Смолтолк - совсем не то и совсем не о том, особенно когда это все ещё неявно замешивается с алголо-подобным синтаксисом или сранения, в конечном итоге, с ним. Короче ... тема интересная, хотя может и не важная ... с точки зрения оптимизации, которая, как правило, нужна в последнюю очередь, когда, действительно, "куда-то клюнул петух". А когда все работает и страшно все это менять, а вдруг сломается ... зачем ... то очевидно, что до этого нет никому дело, кроме кучки энтузиастов, которые всегда были и, наверное, будут. Так вот. Экскурс в Self привел к IO, а через автора последнего к СИСТЕМЕ ПРЯМОГО МАНИПУЛИРОВАНИЯ СТРУКТУРИРОВАННЫЗ ДАННЫХ ... Вот так просто и ясно сформулирована коечная цель.
И сразу все встало на свои места! Даже отношения клиент-сервер и хост-домен, не говоря уже о MVP (в обоих смыслах). Теперь надо просто это все осмыслить с позиции модели акторов, где акторы - интерпретаторы ... P2P ... смарт-контракты ... и Web GUI в ядре ... Но ... при этом, все объекты (включая процессы), объекты внимания, где их базовая характеристика, только инкапсуляция, а все остальное факультативно. Объекты-интерпретаторы ... объекты-месседжи ... объекты-ресурсы ... объекты-инструменты ... и т.д. и т.п. Функции - интерпретаторы ... и те же объекты! И, похоже, что двух архитектур, прототипами, которых являются Erlang и Tiddlywiki, вполне достаточно и они универсальны! И вот что надо иметь в виду (может подсматривая за ассоциативнм массивом AWK) при реализации PicoLisp на WASM с базовым форматом ASON.
пятница, 7 марта 2025 г.
Ещё две неожиданные темы
Перечитывал документацию Self. Есть новое текущее понимание как все должно быть и с этим новым пониманием некоторые старые тексты понимаются по-другому и не только глубже, но и шире ...
А ещё одна тема - концепция local-first, * которая очевидна, но стала модной в прошлом году и по этой причине, была проигнорирована, но случайно авторитетные специалисты обратили внимание ...
Перевариваю ... параллельное погружение в PicoLisp и WASM создают ментальные перегрузки, заставляют теперь все новые вещи интегрировать и примерять в едином ключе, в некоторой обощенной концепции, а мозг уже стал лениться ... учиться чему-то новому ... которого при внимательном рассмотрении-то и нет, но что тоже требуется понять через призму новых интерпретаций и другой лексики, увидеть аналогии в "разных пространсвах имен".
И по старой привычке зачем-то полез экспериментировать с очердной и новой для меня соцсетью Zulip ... https://metamodelling.zulipchat.com Отказался от твиттера и фейсбука, хотел сузить присутствие в сети, а в результате прибавилось мест в пять раза больше (!) ... В некоторых присутствую только как читатель, подписавшись. Надо думать как это теперь использовать, утверждается, что удобно работать с темами, на что, собственно и купился. В крайнем случае, буду опять же, читателем, поскольку там есть новые проекты компьютерных языков.
пятница, 28 февраля 2025 г.
Urbit
Инициировал очередной тиддливики файл для анализа архитектуры urbit. Как глубоко заметил deep-econom необходимо проанализировать реализацию их виртуальной машины в сравнение с концепцией EVAL в Lisp. Я бы ещё добавил с экспериментами выделения минимального базиса слов Forth. Вывод минимального количества аппликаторов (комбинаторов, лямбд, стрелок, модификаторов, правил, шаблонов, паттернов, МОДЕЛЕЙ ... что и надо специфицировать как базовые интерпретаторы) - эвристика, потому что эффективность как баланс между скоростью и памятью зависит от аппаратных реализаций. Теоретически достаточно два, комфортнее четыре, а может шесть, восемь, двенадцать ... а то и 16 или даже 18. Надо экспериментировать, как и с размерами базовых фрагментов памяти. Но это того стоит. Получить свой стандарт виртуальной машины, учитывающей операционнцю среду с её пространством имен типа адреса, файлов, директорий, портов, процессов, сервисов, демонов ввода-вывода и так далее, прежде всего, оптимизировав интерфейс с хостом.
Сразу возникают и ассоциации с kx-systems, кстати, где база данных, что примечательно, явно, центральный аспект. По сути, надо проанализировать, параллельно интернет-интерфейс на предмет включения в ядро, механизмы взаимодействия с сетью и графический интерфейс, сразу работающий с холстом для представления графов и фрагментов ассоциативного массива.
Ответы на эти вопросы, выработка логической позиции - "розеттский камень" программирования.