Первый рукописный блог рунета™

Impossible chessboard puzzle

2021-11-22T19:36:12Z

Написал лонгрид про прекраснейшую задачу (сабж):

Узник 1 (У1) заходит и видит шахматную доску, на которой в каждой клетке лежит монетка, орлом или решкой. Охранник кладёт под одну из клеток доски ключ, У1 это видит. У узника после этого есть право перевернуть ровно одну монету, любую.

Затем У1 выходит и входит У2, и он должен только по расположению орлов и решек указать, под какой клеткой лежит ключ.

-----

Вот тут https://cloudwall.me/etc/impossible-chessboard-puzzle я разбираю подходы к решению и всякие усложнения (типа доска не совсем шахматная).

comments

AI и плейлисты

2020-03-21T21:06:22Z

Это надо зафиксировать: Ютуб мне впервые составил плейлист органной музыки, который я слушаю уже час – и заходит.

comments

Хватательное

2019-09-03T19:42:12Z

Сменил айфон – с 7 на Х – и обратил внимание на занятный феномен, который уже наблюдал, когда переезжал с 1 на 4 и с 5 на 7.

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

С десяткой я уже несколько дней так и не могу наловчиться одной рукой комфортно доставать большим пальцем до дальнего верхнего угла – приходится изворачиваться.

Забавно, что такое ощущение, будто руки «думают», перебирают варианты сами. Интересно даже, какой в результате получится хват.

comments

Исследование 6502 методами, принятыми в нейробиологии

2018-06-04T20:19:50Z

Could a Neuroscientist Understand a Microprocessor? http://journals.plos.org/ploscompbiol/article?id=10.1371/journal.pcbi.1005268

Я примерно на третьем абзаце отмотал до начала посмотреть дату – не первоапрельская ли шутка, до того круто.

comments

JavaScript 2018

2018-01-23T23:22:45Z

JS это нынче например вот так:

no more imperative javascript in 2018, javascript is a fancy lisp flavor from now on pic.twitter.com/jAmR1DwyDT
— Alexey Orlenko (@aqrln) January 19, 2018

comments

CVE-2017-12635

2017-11-18T01:17:00Z

В CouchDB обнаружилась пара дырок, которые вместе дают возможность RCE. Это первая критическая уязвимость за 5 лет кстати, и она очень любопытна.

Я примерно год назад писáл о довольно сложной ситуацией с json-парсерами в разных экосистемах. У меня был период ресёча на предмет «не заморочиться ли написанием координатора json-вебстримов на ином, чем пара erlang+js, зверьке» – потому что пара эта не блещет производительностью.

И дырка в CouchDB возможна только потому, что erlang/jiffy и нативный json-парсер в js ведут себя по-разному. В erlang-е возможно создать два свойства внутри объекта под одним ключом, и при выборке будет отдаваться первое. В js создать такой объект невозможно, и при парсе json-а c повтором ключа всегда берётся последнее вхождение.

В CouchDB есть встроенный механизм аутентификации, и учётные записи в нём – json-документы произвольной структуры с несколькими обязательными полями, лежащие в специальном бакете _users. У пользователей есть поле roles[], в котором задаются группы, и есть специальная hard-coded группа _admins, которая даёт круто больше прав.

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

Но можно, будучи залогиненным, отправить свой профиль с полями roles:["_admin"],roles:[] – и стать админом, потому что валидатор увидит последний массив и разрешит запись профиля, а при контроле прав доступа будет использоваться первый.

Подробный рассказ об уязвимости: justi.cz/security/2017/11/14/couchdb-rce-npm.html, уже выпущено обновление CouchDB в ветках 1.x и 2.x, в котором дырки нет.

---

К счастью, так сложилось, что во всех без исключения системах на CouchDB, которые мы сделали, уязвимость имеет значительно мéньшую тяжесть, а в некоторых системах закрывается даже без необходимости накатывания новой версии БД.

Дело в том, что мы никогда не пользуемся встроенной авторизацией для юзеров фронтэнда (где есть возможность саморегистрации и управления своим профилем), плюс мы никогда не храним эти профили в системном бакете _users.

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

comments

CouchDB Photon

2017-09-10T15:06:57Z

Написал админку для CouchDB – Photon.

То-есть уже есть две – Futon (исторически первый) и Fauxton (для новых версий). Второй – модный, но совсем неудобный, плюс в угоду моде очень сильно страдает информационная плотность. Первый – существует только для версий до 1.6.1 (актуальная – 2.1), тоже не слишком удобный, но всё прекрасно с информационной плотностью. Плюс у обоих проблемы с обновлением – то-есть поставил CouchDB и живи потом всегда со встроенной админкой в той версии, которая была на момент установки.

Я решил сделать и удобный, и с нормальной информационной плотностью, и обновляемый независимо от самой БД. Дополнительным ограничением было отсутствие любых опен-сорцных библиотек, происходящих из крупных корпораций. Последние события показали что их опен-сорц с гнильцой (привет, Фейсбук и Реакт).

Первые эскизы нарисовались в конце августа, примерно так:

В результате три эскиза превратились в полное приложение за две с небольшим недели:

Установка – просто курлом или копипастой засунуть в базу 1 (один) json-документ объёмом 1.5 мега. Обновление потом по одному клику из интерфейса, с AWS S3 CDN, так сейчас очень много кто делает.

Конечно же, приложение никогда не существовало в виде исходных файлов на файловой системе, вся разработка – в браузере, в CloudWall. Выглядит это примерно так:

На картинке Photon запущен в окошке в среде разработки и просматривает сам себя: функция слева – исходник в IDE, функция открытая в окошке – она же, но в коде уже собранного Photon-а. Рефлект рефлекта, редкий зверёк.

Оч здорово получилось в целом, кто юзает CouchDB – рекомендую.

comments

Couchbox

2017-07-27T01:52:40Z

Месяц назад мы запустили публичную бету vezdelegko.ru, сервиса бронирования экскурсий, отелей и транспорта. Сервисы бронирования – сами по себе штука сложная, это как магазин, по которому надо вести учёт ассортимента на каждый день, причём ассортимент день ото дня меняется и цены зависят от дня и количества. Причём в магазине куча отделов, и партнёры сами управляют своим ассортиментом.

Дополнительно, в нашем случае сервис делался с прицелом на очень существенную масштабируемость как по ёмкости, так и по географии. Это автоматом предполагает архитектуру из многих узлов и распределённое хранение/обработку данных с последующей их репликацией и агрегацией. Под такую схему я придумал специальную архитектуру узла, которая потребовала платформы исполнения, это и есть Couchbox.

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

Code follows data

Нативная CouchDB хранит в базах не только данные, но и код для predefined map/reduce запросов, по которым строятся высокоэффективные persistent индексы. Этот код, на JS или Erlang, хранится в документах рядом с данными и может распространятся между узлами в тех же потоках репликации, что и сами данные.

Couchbox, наша платформа, расширяет это всё механикой хуков, реагирующих на изменения документов в базе, и эндпоинтов – REST–концов, обрабатывающих входящие запросы через https. То-есть в те же специальные документы, где в обычной CouchDB живёт код функций индексов, для Couchbox-а можно добавить ещё и код функций хуков и внешних REST API эндпоинтов. Получается распределённая платформа приложений.

Особо примечателен факт, что с точки зрения установленного софта узлы не различаются вообще.

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

Файлы – это очень скучно

Важный момент, как именно код функций попадает в БД.

Код лямбд вообще не существует в виде исходных файлов. Он создаётся в специализированной среде разработки, основанной на CloudWall и Ddoc Lab. Выглядит это примерно так:

То-есть, сорцы, из которых собираются лямбды, хранятся в PouchDB в браузерах разработчиков, реплицируются в CouchDB на какой-то из узлов, собираются, а затем распространяются по остальным узлам.

Деплой обновлений и скорость разработки

Такая архитектура расслаивается на три части по критерию обслуживания:

Убунта, CouchDB, Redis, node.js и nginx – фундамент со временем между рестартами в месяцы. Для обновления или рестарта фундамента нужен доступ к каждому узлу через терминал.
Couchbox – платформа приложений с временем между обновлениями сейчас в недели, скоро станет в месяцы. Разрабатывается на файловой системе в обычных IDE, для обновления на узлах нужен доступ через терминал.
Код приложений, очень гибкий, может обновляться и дополняться с высокой частотой. Для разработки и отладки как клиентской (UI), так и серверной части (REST API) приложений не нужно ничего, кроме браузера. Код деплоится по узлам автоматом.

Общий объём кода, написанного в браузере для этой системы, перевалил за 100К SLOC и пока всё просто прекрасно. Стартскрин бэкэнда выглядит сейчас вот так:

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

И да, Couchbox is MIT licensed. Опенсорц наше всё.

comments

Саппорт-франкенштейн

2017-04-26T22:49:16Z

У меня на протяжении нескольких последних дней была уникальная возможность много-много раз пообщаться с саппортом крупной организации. Всё общение я записывал, а заодно аккуратно считал, сколько раз я пересказывал одну и ту же историю, со сколькими людьми я общался, сколько ждал и пр.

Случай, конечно, выдающийся – я пообщался в общей сложности с 16 людьми, и при такой выборке уже начинают хорошо проглядывать и контуры внутренней организации процесса, и характер системных проблем.

До этого у меня никогда не было такого масштаба наблюдений – и я неверно представлял себе главную проблему. Я полагал, что основной недостаток саппортов крупных сервисов массового обслуживания – некомпетентность.

В самом деле куда более тяжёлая проблема там – бюрократическая организация.

Дело в том, что современный крупный саппорт – это расчленёнка, франкенштейн. Структура с отделами, департаментами, уровнями и всякими другими признаками состоявшейся бюрократии, аппарата. У всех подобных структур есть характерные особенности:

оформление (заявок соседнему департаменту, эскалэйт, отказ и пр) становится ритуалом, полностью вытесняющим из сознания необходимость помочь: передал заявку – спи спокойно
бюрократы непрерывно лгут или юлят, потому что их прикрывает аппарат
бюрократы чрезвычайно невнимательны и искажают информацию – потому что когда сообщение передано дальше, ответственность конкретного бюрократа кончается
жесткие ритуальные барьеры между уровнями ведут к отрицательному отбору – топовые позиции оказываются заселены бесполезными зверушками, особо тщательно защищаемыми аппаратом
бюрократы неприятно-вежливы и начинают ханжески поучать, услышав слово «говно», например
низовые исполнители, ещё не вовлечённые в общую гниль, оказываются самыми настойчивыми (но всё равно некомпетентными).

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

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

---

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

comments

ZX Spectrum

2017-04-24T13:23:39Z

Спектруму 35 лет! У меня была Дельта-С, мод на компонентах производства СССР.

Спектрум – прекрасная машина в том смысле, что для создания чего угодно, работающего с нормальной скоростью, нужно писáть на ассемблере. То-есть Спектрум как минимум мотивировал просто изучать ассемблер.

Более того, Z80 мотивировал изучать ассемблер глубоко.

Первое, для чего мне захотелось учить асм – Game of Life Конвея. На Бейсике оно, конечно, еле ворочалось. Что интересно, прирост скорости после первого переписывания на асме меня тоже не устроил, и я стал копаться дальше.

И обнаружил, что, как сейчас помню, индексная адресация кратно медленнее просто сложения и выборки. Типа, 20 тактов против 6.

Этот прирост меня тоже не устроил, и после дальнейшего углубления в детали оказалось, что если сделать самомодифицирующийся код, можно выиграть ещё процентов 20 скорости.

Причём мне тогда казалось, что самомодицирующийся код – это вполне себе ок, даже благо. То-есть, если Лисп (про который я тогда только читал и никогда не видел) делает же рерайт куска исполняющейся программы, почему тогда в ассемблере этот трюк массово не юзают? Ведь выигрыш в скорости же )

Почему это не айс для асма, я и сам понял довольно быстро – ужé когда писал программу для решения кубика-рубика. Я затрудняюсь точно подобрать определение для отладки самомодифицирующихся программ, даже «адский мозговзрывающий кошмар» довольно мягко, по-моему )

Думаю, не преувеличу, если скажу что целое поколение инженеров началось со Спектрума.

comments

Иконка лжи

2017-04-23T17:19:05Z

Внезапно без конкретной необходимости задумался, как бы я стал рисовать иконку (пиктограмку) понятия «ложь».

Первой ассоциацией проявился символ 𝓛 ) Icon of Lie.

Сразу ещё вспомнился один прекрасный момент про ложь, и Гугл мне даже видео подсунул:

comments

Многомоторный электролёт – IV

2017-04-22T08:54:00Z

Чуть больше полугода назад писáл про Lilium, аккуратный такой электролёт необычной компоновки. Так вот, эта штука полетела в прототипе:

Что интересно, у Lilium похоже и правда есть незначительная проблема со стабильностью – похожая на ту, что я в прошлом посте предположил. В ролике видно, смотреть примерно с 1:27 – эта штука явно роняет нос при крене и вынуждена немного проседать, чтобы выровняться. Особенно хорошо заметно, если поставить замедление вдвое.

Но всё равно очень круто, хочу-хочу )

comments

Test

2016-12-24T20:26:57Z

Test

comments