Crosspost from: https://t.me/justy_tylor/4This article describes Global Dispatch, a new approach for dispatching function calls over a set of specific signatures in programming languages, developed by me some time ago ( Read more... )

Как и собирался, завёл канал в Telegram и опубликовал там первую статью.

https://t.me/justy_tylor

Решил опубликовать кусочек своих исследований, дающих новые возможности в языках программирования и способах представления знаний. Но livejournal (и его клоны вроде dreamwidth) такая хтонь, что публиковать сейчас на нём - примерно как публиковать что-то на GeoCities в конце двухтысячных ( Read more... )

Когда-то я написал пост "Идентификация 4D-документов через криптохэши", и с тех пор неоднократно давал на него ссылки. Реакции были как "примерно понятно, но терминология 3D/4D сложна для восприятия". Да и сами по себе BORO и ISO 15926-2, откуда я (привычно) взял эту терминологию, достаточно тяжеловесны ( Read more... )

Наряду с децентрализованными решениями по обмену информацией (тема, которая поднималась в https://justy-tylor.livejournal.com/257216.html), есть и противоположная тенденция - попытки создать решения, ещё больше отрывающие пользователя от своих данных и идентификации, путём создания ( Read more... )

Тоже размышлял на эти темы ещё с 2010, когда начал заниматься темой интеграции данных, где необходимость поддержки альтернативных миров/версий естественным образом приводит к требованиям децентрализации. Основные выводы таковы:

1. Для обмена данными наиболее важны не протоколы, а форматы. Желательно бинарные бандлы с документами, где на каждом ( Read more... )

Осенью я устранил ряд противоречий в алгоритмах компилятора. В основном - перекладывая как можно больше вывода на "позже", но оставляя удобный доступ ко всему множеству атрибутов из "раньше" для момента этого "позже ( Read more... )

Когда-то давно (15 лет назад) я делал наброски языка разметки текстов. С использованием квадратных скобок [] для тэгов и фигурных {} для ссылок на какие-либо термины. Фактически, как в Wikitext для ссылок используется синтаксис [[имя статьи]], так и там {термин} или {имя статьи}. Но проблема, побудившая меня на размышления о решении, была ( Read more... )

Живя в городах мы привыкли к сквозной нумерации домов, "улица такая-то, дом такой-то". Мы знаем, что с большой вероятностью найдём дом 6 между домами 4 и 8, при этом дом 7 будет на противоположной стороне улицы, а дом 32 где-то вдали, в том же направлении, что от 6 к 8. Это удобно ( Read more... )

Криптохэши прекрасно подходят для идентификации статичных данных. Запросили из content-addressable storage (CAS) файлик (точнее blob) по криптохэшу, вот он пришёл, всё можно проверить, ничего нельзя подменить (с поправкой на стойкость криптохэш-функции). Но проверить можно только целиком. А если идентификация не совпала - можно попробовать ( Read more... )