nikalexxx

Это были не просто красивые фракталы, а настоящее программирование. По сути мы на фестивале исполняли код на графовой вычислительной машине. Упрощённую версию которой я перенёс в браузер и показывал. Графовая машина работает через подстановку подграфов в графе. Она эквивалентна по мощности машине Тьюринга, лямбда-исчислению или комбинаторам. Так как шаблоны и замены это тоже графы, она универсальна. В отличие от лямбд, здесь не любой граф является правилом вывода. Но любое правило вывода выразимо через граф. Графы направленные, могут быть с циклами. Конкретно фракталы получаются, если в правиле в правой части (замене) есть подграфы из шаблона, разнесенные хотя бы одним ребром с узлами следующего поколения. Поколения узлов нужны для корректной замены подграфов в ширину, чтобы основной граф эволюционировал равномерно. К слову, на такой эволюции графов даже есть физическая теория всего https://www.wolframphysics.org/ У графов много преимуществ по сравнению со строками или деревьями в контексте перезаписи, но есть и слабые места в виде поиска изоморфного подграфа и комбинаторного взрыва. Именно эти места я и оптимизирую в своём проекте.

Фестиваль прошёл отлично! Так много незнакомым людям про графы я ещё не рассказывал 😃 У меня был интерактивный стенд, где каждый мог нарисовать свои правила для эволюции графов и получить свои фракталы. Я начинал с классики — треугольника Серпинского. А у гостей получись совершенно разные итоговые фракталы, мы запускали эволюцию прямо там и смотрели что будет. Следующим постом завтра опубликую скрины и математические подробности. Я так был увлечен, что даже не порекламировал свой канал для участников фестиваля🥲 Так что буду жить тут за счёт сарафанного радио. Вечером кстати был концерт научно-технического рэпа, теоремой Лагранжа прорвали тихий вечерний воздух Чистых прудов 😜 Всем математики!

Фрактальная Одиссея Полвека назад Мандельброт придумал слово «фрактал». В честь этого 23 мая мы делаем фестиваль о красоте математики. Все наши активности связаны общей идеей: показать эту красоту с разных сторон — через математические сюжеты, через искусство, через музыку, через науку. От лекций и мастерских до перформансов и ночной дискотеки — всё это разные подступы к одной теме 🔵 Начнём в 14:00 в библиотеке Достоевского, а во второй половине дня переместимся в соседний клуб Лахесис и продолжим там до 4 утра 🟠 Главный партнёр фестиваля — Technology Leaders of the Future, стипендиальная программа Фонда Тимашева. TLF предоставляет школьникам 14–17 лет, сильным в математике, физике или информатике, полностью оплаченные стипендии на обучение в The Island School (Кипр) и H-FARM International School (Италия). Первая когорта из 60 школьников уже учится; поступление на 2026/2027 ещё доступно — сильных кандидатов мы готовы рассматривать по Fast Track 🔴 Лекции Михаил Гельфанд расскажет про иерархию бесконечностей, Александра Скрипченко — про математику живого, Андрей Райгородский — про раскраски плоскости, Вячеслав Гусев — про фракталы внутри нейросетей. Утром в библиотеке Михаил Евдокимов расскажет про лучшие визуальные задачи для любого возраста, а Ваня Яковлев и Полина Романова — про фракталы вокруг нас 🔴 Мастерские и станции Двадцать активностей, которые стоит посетить и попробовать своими руками: дерево Пифагора и ковёр Аполлония, печать фрактальных тайлингов, витражи, симметрия наноматериалов, квантовые эксперименты, морские фракталы, VR-путешествие, эволюция графов, лингвистические задачи, оригами, мастер-класс по терменвоксу, тай-дай, японская каллиграфия и другие 🔴 Кино, искусство, перформансы Арт-программа включает в себя фрактальную живопись Петра Николаева, работы Александра Солеева, Александра Вайсмана, Алекса Мухина, Ирины Канделариа, группы Evpraxis, а также видео-арт от группы «Явь», «Cactus Juice», художников Артёма Ткача, Meta Chaos и многое другое В социальной части — нетворкинг «Аттрактор» от бюро «Розетка», музыкальный спектакль «Точка-ноль» Алины Асомнии, круглый стол о фракталах между математикой и философией, вечерний научпоп-квиз Григория Тарасевича, а также стихотворный вечер и возможность сделать татуировку Кинопоказ состоит из демонстрации фильма «Пи» Аронофски, документального фильма про фракталы, а также тематической подборки короткометражек и анимаций 🔴 Ночная программа Откроют её Пётр Термен — правнук Льва Термена, один из ведущих исполнителей на терменвоксе в мире, и Влад Горелов с группой «Научно-технический рэп», единственной в России, играющей нердкор. Дальше до 4 утра — мастера экспериментального звука с live-перформансами: Brinstaar, Spiralfractal, Stropharia, S66, Rombix, Womba, Morakh, Hobboth, ænsof, garish_cyborg, The Darkest Supernova, Misha Nikitin 🟠 Фестиваль для взрослых, но детей с родителями пускаем на дневную и вечернюю часть до 22:00 Соорганизаторы: Кроссворд Тьюринга, Летняя школа, бюро Розетка, клуб Лахесис 🔵Сайт фeстиваля, билеты До встречи на фесте!

В следующую субботу на фестивале "Фрактальная Одиссея" будет мой стенд про эволюцию графов. Решил соединить свой основной проект по графам с фрактальным искусством. Как простые замены подграфов порождают сложное фрактальное поведение? Приходите, чтобы узнать и самим нарисовать свои правила эволюции графов и изобрести собственные фракталы! Как видно из программы фестиваля, там будет много крутых активностей, и я уже как зритель с удовольствием в них поучаствую. Кто в Москве, буду рад вас видеть на Чистых прудах в субботу 23 мая 👐

Соединил две библиотеки для отрисовки графов https://github.com/cosmosgl и https://github.com/gravity-ui/graph. cosmos позволяет реализовать силовой алгоритм с помощью GPU, а gravity соединяет на одном холсте canvas и html в зависимости от уровня зума и добавляет виртуализацию. Библиотеку gravity делают ребята из инфры Яндекса (соседняя служба с моей), мы её используем во всех сервисах инфраструктуры, чтобы отрисовать сложные графы (от CI пайплайнов до схемы балансировки трафика). Это пожалуй лучшая библиотека в своём классе, и кажется единственная, где canvas и html так нативно объединены. В общем, рекомендую (в том числе на замену reactflow). Силовой алгоритм легко представить, если все ноды графа заменить шариками, а все ребра заменить на пружинки. Тогда силы натяжения и сжатия пружин приведут систему в состояние с минимальной энергией (точнее будут стремится к этому на бесконечном количестве итераций и при отсутствии осциляторов, для этого предусмотрено затухание сил). Если задать изначально узлам графа случайное положение, то за несколько итераций силовой алгоритм его "распутает" на плоскости, и количество пересечений ребер будет меньше. Несмотря на то, что у меня есть опыт оптимизации силового алгоритма на CPU (мутабельность, нормализация, массивы для попадания в L кэши и тд), не хотелось писать его снова, тем более что есть cosmos.gl. Так что я сделал "золотой костыль", а именно невидимый div элемент, куда срендерил граф космоса и считал оттуда координаты для нод, после чего передал координаты в гравити. До 1000 нод всё вообще летает. Да и до 10 тысяч. Потом начинаются проблемы с отрисовкой длинных ребер, поэтому их можно скрывать по умолчанию. Но у меня пока таких больших графов нет. Всё это я делаю в рамках своего пет проекта по преобразованию графов. Самый близкий аналог это физический проект Стивена Вольфрама с его системой перезаписи гиперграфов. Прошлые посты про сервер, который целиком разворачивается из proto файлов, тоже про этот проект. Вся наша жизнь — граф...

Добрались с женой впервые до Большого театра. На балет Ромео и Джульетта с музыкой Прокофьева. У меня давно в любимых треках танец рыцарей, интересно было послушать было во время балета. Сам балет имеет нормальный сюжет, в отличие от Щелкунчика. Но танцев и пафоса конечно поменьше. Хотя я тот ещё знаток, видел всего два балета 😂 Всем искусства!

Несомненный плюс пет-проектов в том, что там не обязательно следовать всем правилам расширяемого кода и можно захардкодить решения. Мне не подошёл опенсорсный protoc плагин к mongo, так как требовал указания аннотаций, поэтому я написал свой. Проект у меня на go, и так как grpc интерфейсы получаются кодгеном через официальный плагин, есть и плагин под кастомный код, где можно работать уже со структурами прото и не надо парсить файлы. Но есть и особенности, например нет многих хелперов (или я плохо искал), поэтому например proto сообщение для map я ищу в файле просто двумя циклами (даже не рекурсией), так как у меня нет вложенных message (первая картинка). Для шаблонов использовал классический text/template, на второй картинке результат кодогенерации, на третьей кусок шаблона для этого кода. Это написал я на прошлых выходных, потому что стало много grpc сервисов и надоело перекладывать руками. Могу сказать, что писать плагины для прото таким способом совсем несложно, особенно под себя. У меня например шарятся enum, убираются указатели кроме optional полей и перекладывается поле id для монговского _id. По итогу просто вызываю метод ToProto() и радуюсь жизни. Наверно в каком-нибудь zig (или даже rust с его макросами) это всё удобнее. Но так как писать кодген очень быстро, текущее решение мне вполне подходит. Хотя потом там особенности возникают на стыке кодгена и дженериков (ограничения на параметры дженериков элегантно не написать, нужно догенерить небольшую функцию обёртку, которая через аргументы делает switch case).

Соленья В огурцы проникла соль Вкусовою полосой, В тьме веков безвестный гений Понял прелести солений: Корнишоном закусив Ходовой аперитив, Озарение поймал Маринадный кулинар. С той поры все помидоры На крутой засол готовы, А солёный огурец Стал закуской наконец!

Представляю вам произведение, которое я писал последние пару месяцев: Программист Поттер Первую главу выложил на сайт https://nikalexxx.github.io/?/books/programmer-potter Это фанфик по Гарри Поттеру, где задаётся вопрос: а каким бы был мир Поттерианы,…

На выходных заглянул на конфу t-sync. Поговорили про платформизацию всего вокруг и конечно как жить с ai. Такие события хорошее место, чтобы понять, как тесен мир и какие похожие системы мы делаем в разных компаниях. Нужна платформа для построения платформ, не иначе (конечно написанная агентом 😉). Будущим строителям автоматизации sdlc небольшой рецепт: заранее подумайте о динамике ваших данных. Немало копий уже сломано об устаревающие ямлики. Всем по кнопке "сделать хорошо"!