Блокнотик Centaur’а

Ремонтно-методологическое

2018-08-27T16:11:47Z

Когда ремонтнику, приглашённому на три дня доделать остаток ремонта, показываешь все его задачи бумажками, развешенными на канбан-доске «Очередь | В работе | Сделано», собранной из двух попавшихся под руку коробок, он сначала обнаруживает, что его представления об объёме работ были сильно занижены, а сразу за этим порывается сделать как можно больше мелких задачек. (Но по здравом размышлении берёт толстую задачищу на полдня.)

А вечером, уже собираясь уходить и переодеваясь в штатское, заглядывает на доску — и доделывает мелкую задачку из «В работе».

comments

Подсветка синтаксиса высших порядков

2017-09-28T13:13:18Z

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

Потом люди придумали универсальные языки разметки — XML, JSON и YAML — с помощью которых можно выразить всё что угодно. Поэтому теперь вместо синтаксиса часто изобретают схему.

Однако, что у нас с их подсветкой? Возьмём, к примеру, кусочек мета-схемы JSON Schema Draft 04 (который примечателен тем, что описывает свою собственную структуру):

{ "$schema": "http://json-schema.org/draft-04/schema#",
  "type": "object",
  "properties": {
    "$schema": {"type": "string", "format": "url"},
    "$ref": {"type": "string", "format": "url"},
    "type": {"type": "tsring", "enum": [
      "null", "boolean", "integer", "number",
      "string", "array", "object"]},
    "format": {"type": "string"},
    "properties": {"type": "object", "aditionalProperties": {"$ref": "#"}},
    "additionalProperties": {"$ref": "#"},
    "enum": {"type": "array", "items": {"$ref": "#"}},
    "items": {"$ref": "#"}
  }
}

Одни сплошные «строковые литералы». В лучшем случае — ключи объектов одним цветом, остальные строки другим. На первом плане — синтаксис самого JSON; а более высокоуровневый синтаксис, построенный поверх JSON’а, остаётся нераскрашенным и непроверяемым на глаз. Найдите две опечатки в примере выше.

Надо — имея на руках схему, валидировать об неё документ и подсвечивать по-разному:

ключи, явно допустимые в текущем контексте;
ключи, допустимые по шаблону или по принципу «всё, что не запрещено»;
ключи, недопустимые в текущем контексте, и примитивные значения, не соответствующие схеме;
значения, явно соответствующие заданным ограничениям;
все остальные строки.

{ "$schema": "http://json-schema.org/draft-04/schema#",
  "type": "object",
  "properties": {
    "$schema": {"type": "string", "format": "url"},
    "$ref": {"type": "string", "format": "url"},
    "type": {"type": "tsring", "enum": [
      "null", "boolean", "integer", "number",
      "string", "array", "object"]},
    "format": {"type": "string"},
    "properties": {"type": "object", "aditionalProperties": {"$ref": "#"}},
    "additionalProperties": {"$ref": "#"},
    "enum": {"type": "array", "items": {"$ref": "#"}},
    "items": {"$ref": "#"}
  }
}

comments

Посоветуйте инструмент код-ревью

2017-06-13T11:34:09Z

Какие есть хорошие инструменты для ревью кода?

Критерии хорошести, в нулевом приближении, следующие:

Установка on-premise.
Одно ревью может включать несколько коммитов из разных (но заранее известных) Git-репозиториев. Коммиты каждого репозитория линейно упорядочены. Для каждого файла в ревью ревьюер может смотреть дифф любого подинтервала по своему выбору. (Как в Crucible, если бы он порядок брал из графа, а не выводил из временных меток.)
Коммент, не являющийся ответом на другой коммент, привязывается к произвольному, в общем случае не непрерывному, подмножеству строк файла. (Как в Crucible.)
Работает подсветка синтаксиса как минимум для C++, Python’а, Go, шелла, XML, JSON и YAML. Распознавание того, какой синтаксис применять к файлу, работает более умно, чем просто по расширению (в частности, #!/usr/bin/python3 или #!/usr/bin/env python3 для файлов без расширения однозначно указывают на Python).
Невозможна ситуация, когда отображается строка файла N (типично документационный комментарий) с комментом к ней и при этом существует и не отображается строка N+1 (типично заголовок или прототип функции с аргументами). (То есть не как в GitLab’е.)
Работает скроллинг средней кнопкой в Firefox’е. (А не как в Crucible — {overflow-y: hidden; overflow-x: auto} и привет, средней кнопкой скроллится только в стороны.)

Большая зелёная кнопка «вмёржить это в master прямо сейчас не думая» категорически нафиг не нужна.

comments

Бритва Постела наоборот

2017-05-22T14:30:02Z

Бритва Постела наоборот:

Принимай на вход всё, что разрешено спецификацией, но не больше.
Производи на выходе максимально возможное разнообразие в рамках спецификации.

Софт, который в этих условиях выживет, — будет супернадёжен и при этом корректен.

comments

[git] Записать submodule в .gitmodules

2017-05-15T17:18:23Z

Заметка для себя, чтоб не потерять.

Типичная задача: добавить сабмодуль в git-репозиторий.

Решение человека, только что читавшего мануал: $ git submodule add git@host:path/repo.git. Клонирует удалённый репозиторий в подкаталог текущего, регистрирует его в .gitmodules и .git/config.

Как обычно получается у меня: $ git clone git@host:path/repo.git. Клонирует удалённый репозиторий в подкаталог текущего и больше ничего не делает. Обнаруживается это где-то ближе к тому моменту, когда добавление сабмодуля нужно закоммитить.

Соответственно, задача: На входе есть суперпроект (в терминах git-submodule(1)) и внутри него локальная копия репозитория, который нужно сделать сабмодулем. Считаем, что текущий каталог находится внутри суперпроекта, а корень будущего сабмодуля является непосредственным подкаталогом текущего. Решение методом выливания воды из чайника заранее отметаем как неизящное.

Из инструментов у нас есть git submodule add [-b <branch>] <repository> <path>. Ветку указывать нужно в редких случаях и можно руками. Путь легко вводится по M-RET в Midnight Commander’е. А вот URL репозитория хочется достать и подставить автоматически.

Достать путь можно так: $ git -C <submodule> config --get remote.origin.url.

Однако писать $ git submodule add $(<строчка выше>) каждый раз утомительно, поэтому добавляем алиас:

$ git config --global --edit

[alias]
    subinit = !sh -c 'sub="$1" && shift && git submodule add "$@" $(git -C "$sub" config --get remote.origin.url)' -

$ git subinit repo
Adding existing repo at 'repo' to the index

$ git subinit repo2 -b master
Adding existing repo at 'repo' to the index

comments

О википедиях

2017-05-11T06:22:43Z

Мало кто знает, что Википедия — это форма множественного числа. Вместе — википедия, а каждое в отдельности — википедие.

It is a little-known fact that Wikipedia is a plural noun. Collectively they are wikipedia; each one separately is a wikipedium.

comments

[Web] Подсветка при наведении

2017-05-04T08:17:27Z

Если при наведении мышью в какую-то точку кнопки или пункта меню ты эту кнопку или пункт подсветил или поменял курсор мыши на «палец» — ты обязан реагировать на клик в этой конкретной точке.

Типичная схема нарушения: на клики реагирует ссылка с текстом, а подсветка по :hover’у и вообще всё оформление кнопки висит на контейнере-обёртке с margin’ом в пол-эма. Попадаешь в margin — подсветка есть, реакции на клик нет.

Лучи поноса в общем направлении Tiny Tiny RSS и Atlassian Crucible.

comments

Типы данных для идентификаторов

2017-01-18T09:21:22Z

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

Навеяно очередным ворнингом о неявном преобразовании из знакового в беззнаковое или обратно.

comments

Новогоднее

2016-12-28T06:49:37Z

Dashing through the snow
In a one horse open sleigh
I went for a walk
On a winter day.
Bells on bob tails ring
Making spirits bright
California dreaming
On such a winter… night? 😮

comments

Purple Tentacle keyboard

2016-12-02T16:48:08Z

Окей, оно готово. За этот отпуск я сделал себе клавиатуру.

Клавиши — Matias Quiet Click. Реально стучат тише, а тактильный фидбек ярче, чем у Cherry MX Brown.

Корпус конструкции «бутерброд»: дно — нержавеющая сталь 1 мм, стенки — оргстекло 10 мм, монтажная пластина — снова нержавеющая сталь 1 мм, сверху рамка опять из оргстекла.

Электроника собрана методом бесплатного монтажа (то есть без печатной платы).

Подставки под ладони — от клавиатуры Matias Ergo Pro. Мягкие, гелевые, прикольные.

Внутри — микроконтроллер Freaduino Micro (аналог Arduino Micro), на чипе Atmel ATMega32U4. Его пинов ввода-вывода как раз хватает на матрицу из 12 полурядов по 8 клавиш и на три светодиода.

Прошивка — TMK Keyboard Firmware by Jun «hasu» Wako. Скомпилировалась, прошилась и заработала буквально с полпинка.

Раскладка по мотивам Truly Ergonomic и Keyboardio. Примерная логическая раскладка тут.

Потратил на всё это около 215 долларов США, вместе со всеми пересылками, лазерной резкой прототипа и деталей корпуса. То есть сравнимо со стоимостью массово производимых клавиатур такого класса. И ещё осталось полкоробки клавиш на второй экземпляр.

Со временем выложу все исходники как open source hardware.

comments

Тизер

2016-11-17T18:31:42Z

Тестируем ранний прототип.

comments

Ещё об веб-иконки

2016-11-03T08:57:18Z

В предыдущих сериях: иконочные шрифты, отсутствие хинтинга в SVG-иконках.

Новый идиотский тренд: мало того, что иконки запихивают в шрифт, так ещё и задают как лигатуры. То есть слово search, набранное шрифтом Material Icons, превращается в иконку лупы.

При отсутствии соответствующего шрифта всё это выглядит как ужас:

comments

Свой-чужой

2016-10-31T16:23:28Z

А вот довелось мне намедни написать емейлом некий запрос (пока не важно) в одну организацию. И сегодня я получил оттуда ответ. С ответом ниже цитаты.

Так приятно, чёрт возьми.

comments

Вебдизигнеро-проклинательное

2016-10-20T09:37:58Z

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

comments

За что я не люблю YAML

2016-10-11T09:52:58Z

Спецификация JSON’а вмещается в пять страниц и её может читать пятиклассник. Однажды прочитанная, она укладывается в голову навсегда.

Спецификация YAML — это 84 страницы мелкого умного текста. Попробуйте запомнить, чем отличается unquoted, 'single-quoted', "double-quoted", | literal и > folded скаляры, и как в них работает удаление ведущих пробелов.

И ещё вот эта грабля с массивами и отображениями, эта дурацкая неоднородность в окрестности нуля:

# Массив из двух элементов
array2:
  - foo
  - bar

# Убираем один, получаем массив из одного элемента
array1:
  - foo
  #- bar

# Убираем один, получаем пустой массив?
array0:
  #- foo
  #- bar

# Отображение из двух ключей
map2:
  foo: bar
  baz: quux

# Убираем один, получаем отображение из одного ключа
map1:
  foo: bar
  #baz: quux

# Убираем один, получаем пустое отображение?
map0:
  #foo: bar
  #baz: quux

А вот фиг. Значения array0 и map0 — null.

Сейчас начнутся возражения, что если тебе нужен пустой массив или пустое отображение, то напиши [] или {} соответственно. Ну так продемонстрируйте, как это будет выглядеть в вышеприведённых примерах. Чтоб раскомментирование элемента немедленно приводило обратно к одноэлементной коллекции.

Опять-таки, если мы согласны писать скобки и запятые, почему мы не пишем JSON?

comments

Юникодное

2016-09-24T17:48:49Z

А вот с каких пор и хрено́в ЖЖ стал заменять юникодные символы на иконки? И как это отключить?

↔ ← здесь должен быть символ стрелки влево-вправо

Upd. Это скрипт Twitter Emoji. Блокировать для начала twemoji.min.js$script, а там дальше видно будет.

comments

Мой провайдер идиот

2016-09-12T08:27:19Z

Пьеса в трёх действиях, пяти картинах, PG-13 (демонстрация обнажённых сетевых коннекторов, возможно грубая лексика).

Действие первое

Картина первая

Среда, 2016-09-07, 12:30 UTC+7. Я сижу на работе. Входит Мониторинг.

Мониторинг (красным жирным Ариалом 24pt): PROBLEM Alert! (Спокойно:) Connection to host […] timed out after 10 seconds.

Я: А! Что! Кого? (Захожу по ssh через IP-адрес от запасного провайдера.) Доложить обстановку!

Маршрутизатор: Докладываю: Дом.ru — исправен, МТС — исправен, внутренняя сеть — исправна, Электронный город — нет линка. Работаем через МТС.

Я: Так держать.

Занавес.

Картина вторая

Вечер. Я дома. Заглядываю на антресоль, проверяю все соединения. Линка нет. Выхожу в тамбур, открываю щиток.

Я: Ух ты, ничоси.

Крупным планом розетка RJ-45 на боковой стенке ниши щитка. На крышке розетки чёрным маркером: «142-ЭГ». Снизу в розетку входит кабель, подписанный «142-4». Сверху — пустое отверстие под кабель провайдера.

Я снимаю крышку розетки.

Крупным планом та же розетка без крышки. В ней нет остатков жил — кабель выдернут, а не обрезан.

Занавес.

Картина третья

Тот же вечер. Чат техподдержки Электронного города.

Я: У меня пропал кабель. (Описываю последовательность событий, см. выше.)

Павел (орфография и пунктуация сохранена): Сейчас сформирую Вам заявку, чтобы приехала на место ремонтная бригада, выяснила причину и устранила неисправности. Уточните Ваш контактный номер телефона, подъезд и этаж пожалуйста

Я: (оставляю телефон и адрес). Когда соберётесь чинить, позвоните мне за полчаса.

Павел: Ближайшее время могу предложить к сожалению только на субботу с 12 дня до 8 вечера. Уточните в какое время будете находиться дома?

Я: Пусть будет 12 дня.

Занавес.

Действие второе

Картина четвёртая

Суббота, 2016-09-10, 12:35. Я дома.

Я (в телефон): Заявка 2488669. Мне обещали бригаду с 12 до 13 и позвонить за полчаса. Сейчас 12:36 и ещё никто не звонил.

Оператор: Минутку. (Музыкальная пауза.) Я связалась с ремонтниками, они в вашем районе, просто не заметили, что нужно вам позвонить.

Проходит около десяти минут. Звонок в дверь. Входят Ремонтник 1 и Ремонтник 2.

Я (открываю щиток): Вот ваша розетка. Вот мой кабель в квартиру. Вашего кабеля нет.

Ремонтник 1: У, надо доступ на чердак. ЖЭУ сегодня не работает, передоговаривайтесь на понедельник, а мы пошли. (Уходят.)

Я (закрываю за ними дверь. В телефон:) Приходили ваши люди, посмотрели на розетку, сказали, что нужен доступ на чердак, развернулись и ушли. Почему о доступе не позаботились заранее?

Оператор: Часто проблемы с кабелем бывают в подъезде между квартирой и техэтажом.

Я: Я живу на 9 этаже 9-этажного дома. Между мной и техэтажом нет ничего. Павел должен был сразу догадаться, что доступ к техэтажу понадобится обязательно.

Оператор: И ещё у операторов поддержки на сайте нет информации о том, как работают управляющие компании.

Я: Надо, чтоб была. А то я теряю время, вы теряете время, ремонтники теряют время.

Оператор: Давайте переназначим заявку на понедельник. Могу предложить время с 15 до 16.

Я: Позвоните мне за полчаса. Это я сегодня дома и мне в принципе без особой разницы, позвонили мне или нет. А в понедельник я буду на работе и хочу дойти спокойно, а не бегом.

Занавес.

Действие третье

Картина пятая

Понедельник, 2016-09-12, 10:25. Я собираюсь на работу. Выхожу из квартиры в тамбур. Щиток открыт, Ремонтник 3 просовывает приспособление для протяжки кабелей в кабель-канал в сторону чердака.

Я: Здравствуйте. Вы от какой компании?

Ремонтник 3: Электронный город. Мы тут мимо проходили и решили вам заодно кабель протянуть. (Показывает на розетку.) Вы же переключаетесь?

Средним планом розетка RJ-45, болтающаяся свободно в щитке. На крышке тем же чёрным маркером: «142-HomeNet». Слева в неё входит кабель с коннектором, справа — кабель.

Я: Ни в коем случае. С чего вы решили? В щитке четыре розетки, подписанные квартирой 142: вот 142-HomeNet, ныне МТС; вот 142-Дом.ru; вот ваша 142-ЭГ, видите, кабеля нет. И ещё вот 142-телефон.

Ремонтник 3: Ой, я не увидел остальные розетки.

Я: Не надо видеть, надо позвонить и спросить. Ну так вот, вот в этой розетке должен появиться интернет, а вот в этих двух он должен остаться.

Занавес.

Эпилог

Понедельник, около 12 часов. Я на работе.

Я (через ssh): Маршрутизатор, доложить обстановку.

Маршрутизатор: Дом.ru — исправен, МТС — исправен, внутренняя сеть — исправна; ЭГ — линк есть, но интерфейс опущен. Работаем через МТС.

Я: Поднять интерфейс ЭГ.

Маршрутизатор: Есть поднять интерфейс ЭГ. IP-адрес получен. Работаем через ЭГ.

Занавес, хэппи-энд.

Вот спрашивается:

Кому могло понадобиться выдрать мне кабель?
Почему техподдержка на сайте не думает о том, с какой вероятностью понадобится доступ к техэтажу, и как работает ЖЭУ?
Почему вторая ремонтная команда не звонит мне за полчаса уже после того, как я поругался на первую?
Что было бы, если бы я по случайному совпадению не вышел из квартиры ровно в то время, когда они там работали? Они бы оторвали мне МТС? Откуда вообще идея, что при починке существующего или протяжке нового подключения можно сломать действующее другое?
Кто должен был бы исправлять ситуацию дальше?
Через сколько итераций процесс бы сошёлся?

comments

Логировать фронт, а не уровень

2016-09-02T13:45:50Z

while not done():
    task = pop(queue)
    try:
        do(task)
    except Exception as e:
        log("Cannot do %s: %s", task, e)
        # possibly sleep(5)
        # possibly push(queue, task)

Что не так на этой картинке?

Если ошибка в обработке задачи вызвана внешними условиями — интернет отвалился, сервер упал, место на диске где-то кончилось — то с большой вероятностью она будет повторяться, пока не починится.

Логи с одной и той же повторяющейся ошибкой с разными задачами читать крайне неинтересно.

Правильно — запоминать тип результата и логировать его изменение. В том числе — с ошибки на успех: «Ух ты, сервер поднялся, работаем дальше». Или так: «Помнишь того чувака с китайским IP’шником, который всё никак не мог к нам залогиниться по ssh? Так вот он таки зашёл!» 😨

Design issue — продумать эквивалентность на множестве ошибок. Чтоб, с одной стороны, не спамить, а с другой — не терять полезную информацию.

comments

CLI как язык

2016-08-22T11:01:24Z

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

Название бинарника может быть глаголом в повелительном наклонении (reboot) или существительным в роли обращения (firefox, git). В последнем случае отсутствие аргументов соответствует запуску приложения с пользовательским интерфейсом; если аргументы есть, то первый — это опять глагол в повелительном наклонении (git fetch).

Ключ без аргумента соответствует наречию, обычно в роли обстоятельства образа действия (--quietly, --verbosely; по истерическим перчинам устоялось написание без суффикса -ly).

Ключ с аргументом — это косвенное дополнение, где имя ключа играет роль предлога (install -t /usr/bin foo — установить в /usr/bin foo); или уточняющее родовое слово в составе прямого дополнения (install -d /var/lib/foo — установить каталог /var/lib/foo).

Позиционный аргумент — это прямое дополнение (git clone git://github.com/git/git.git).

Это, конечно, не все паттерны — что-то я наверняка упустил.

Базовый язык для команднострочного интерфейса — разумеется, английский. (Если бы командную строку изобрёл японец, глагол ставился бы последним, а sudo записывалось бы как 下さい [kudasai] после глагола.)

Собственно, я это всё к чему? У системы виртуализации/контейнеризации LXC есть команды lxc-start, lxc-stop и несколько других. И все они принимают название контейнера, над которым работать, именованным аргументом (lxc-start -n foo). Жутко бесит. Очевидно же, что это должно быть прямое дополнение.

comments

[bpi] Диагностика загрузки сервера

2016-08-12T17:20:02Z

Недавно я поменял домашний сервер. Раньше на антресоли лежал обычный десктоп, жужжал вентиляторами и жрал электричество. А теперь стоит Banana Pi R1.

Что хорошо: электричества потребляет всего ничего. На борту двухъядерный гигагерцовый ARM, гигабайт памяти и встроенный свитч о пяти портах наружу и одном на матплату. И 2.5-дюймовый жёсткий диск.

Что плохо: подсистема питания сделана не очень надёжно, и от этого иногда винчестеру перестаёт хватать питания. Он останавливается, потом пытается снова раскрутиться, потом снова останавливается. И так пока не придёшь и не передёрнешь ему питание.

Ещё может не повезти и при включении он пойдёт проверять файловые системы. По умолчанию проверка запускается в режиме «проверять, но не чинить». Чтобы чинилось автоматически, нужно прописать в /etc/default/rcS строчку FSCKFIX=yes.

А ещё хочется видеть прогресс загрузки. Монитор каждый раз не натаскаешься, а надо знать, когда он запустил проверку диска, когда закончил, когда начали подниматься сервисы, и когда загрузка закончена.

Может быть, потом я соберусь докупить подходящий мелкий мониторчик, но это потом. А сейчас у нас есть один светодиод, контролируемый (под ядром 4.4.14-bananian) псевдофайлом /sys/devices/platform/leds/leds/bananapi:green:usr/trigger. Собственно, остаётся написать инит-скриптов, которые будут запускаться в правильные моменты и переключать режим светодиода.

Фаза загрузки	Условия	Триггер	Поведение
Загрузчик (U-boot) Загрузка ядра		`none`	Выключен Мигает два раза светодиодами портов свитча
Начало runlevel’а S	`Default-Start: S`	`timer`^†	Мигает с частотой 1 Гц
Начало проверки ФС	`Should-Start: hdparm Default-Start: S X-Start-Before: checkroot`	`heartbeat`	Две вспышки, пауза, …
Конец проверки ФС	`Should-Start: checkfs Default-Start: S`	`timer`	Мигает с частотой 1 Гц
Начало загрузки сервисов	`Default-Start: 2 3 4 5`	`default-on`	Светится ровно
Система загружена	`Required-Start: $all Default-Start: 2 3 4 5`	`none`	Выключен

^† Чтобы работал триггер timer, нужно загрузить модуль ядра ledtrig-timer. Причём обычный способ (через /etc/modules) работает позже, чем мне это нужно, поэтому ручками, командой modprobe ledtrig-timer.

В /etc/init.d складываем пять инит-скриптов по следующему шаблону:

#! /bin/sh
### BEGIN INIT INFO
# Provides:          название
# условия
# Short-Description: Blink Banana Pi green LED at start of bootup
### END INIT INFO

case "$1" in
start|"")
    echo триггер >/sys/devices/platform/leds/leds/bananapi:green:usr/trigger
    ;;
restart|reload|force-reload)
    echo "Error: argument '$1' not supported" >&2
    exit 3
    ;;
stop)
    # No-op
    ;;
status)
    exit 3
    ;;
*)
    echo "Usage: название.sh [start|stop]" >&2
    exit 3
    ;;
esac

:

Далее выполняем для них всех update-rc.d название.sh defaults, и готово.

comments

Омонимическое

2016-08-08T14:22:14Z

Из обсуждения, как людям объяснять Git:

X: Do not mention DAG to people who do not have a formal computer science background. […] The word “graph” has a completely different meaning to laypeople.

Me: You mean the graph plot? Well, in Russian the word for graph-as-in-graph-theory is an homonym of the word for count-as-in-count-Dracula.

comments

Альтернативная этимология

2016-08-08T10:46:55Z

ар‧хи‧ва́ж, сущ., неод., м., 2-е скл.: Действие по гл. архивировать.
ар‧хи‧ва́ж‧ный, прил.: Относящийся к архиважу. Я к вам по архиважному вопросу.

comments

Язык для описания графов

2016-07-05T19:10:40Z

Хочу человеческий синтаксис для описания графов.

Что у нас сейчас есть: Graph description languages.

Половина из них основана на XML, что хорошо для инструментов, но плохо для написания руками.
DOT спроектирован математиками и из-за этого тоже излишне многословен. Мы можем определить в графе дефолтные свойства вершин и рёбер, и это позволяет немного экономить. Но если у нас в графе два типа рёбер, то один можно сделать дефолтным, а второй приходится выписывать каждый раз:
```
digraph G {
  edge [arrowhead=empty] # inheritance

  Derived -> Base

  Aggregate -> Part [arrowtail=odiamond, arrowhead=open] # aggregation
}
```
Или можно определить подграф и рёбра второго типа определять в нём, что плохо для локальности (часто хочется описывать рёбра, относящиеся к одной вершине, рядом):
```
digraph G {
  subgraph {
    edge [arrowhead=empty] # inheritance
    Derived -> Base
  }
  subgraph {
    edge [arrowtail=odiamond, arrowhead=open] # aggregation
    Aggregate -> Part
  }
}
```

Как надо:

Есть классы вершин и рёбер. Все общие свойства вершин или рёбер одного класса описываются в определении класса. Важно, что определения классов можно вынести в библиотеки и подключать их, когда надо.
Минимальное определение вершины состоит из имени класса вершины и имени вершины, на отдельной строке, через пробел. Далее опционально индивидуальные свойства вершины. (Тут решить между синтаксисом со скобками и разделителями или просто indentation-based.) Имя может быть одним словом или произвольной строкой в кавычках.
Минимальное определение ребра состоит из имени начальной вершины, имени класса ребра и имени конечной вершины, также на отдельной строке через пробел, также с опциональным блоком свойств.

Пример:

node.class [shape=box]
node.interface [shape=circle]
edge.is-a [arrowhead=empty]
edge.implements [arrowhead=empty, style=dashed]
edge.has-a [arrowtail=odiamond, arrowhead=open]
edge.owns-a [arrowtail=diamond, arrowhead=open]

interface IThing

class Base

class Derived
Derived is-a Base
Derived implements IThing

class Part

class Aggregate
Aggregate has-a Part

Буду в отпуске, сяду и напишу парсер этого и конвертор в DOT.

Stretch goal: какой-нибудь способ указать, что одни «node1 relation node2» отображать рёбрами, а другие — вложением в кластер-подграф. Типа nginx deployed-on cache-server.

comments

Альтернативная химия

2016-07-02T16:03:06Z

Где-то в параллельной вселенной магнаты и магниты — это соли магниевой и магнистой кислот, соответственно.

comments

Электрический свет продолжает наш день

2016-06-26T15:35:35Z

Берём таблицу времён восхода/заката за последний год. Видим такую фигню: зимой восход в девять, закат в четыре. Летом восход в четыре, закат в девять. Астрономический полдень плавает в районе 12:30. Что как бы указывает на примерное соответствие поясного и астрономического времени, но ни фига не соотносится с реальными надобностями.

Если у меня рабочий день начинается скрам-митингом в 11:00 и кончается в 19:30, то просыпаюсь я в 9–9:30. Значит, летом первые пять часов светового дня я тупо просыпаю. А вечером темнеет раньше, чем хочется спать.

Зимой с утром как-то получше, но вся вторая половина рабочего дня приходится на световую ночь.

Впрочем, в этом году новосибирские чиновники внезапно взялись за ум (или что у них есть… ещё там), провели опрос и с 24 июля зона Asia/Novosibirsk переходит из UTC+6 в UTC+7. Соответственно, световой день летом — с пяти до десяти, зимой — с десяти до пяти, полдень ≈13:30.

Как по мне, направление правильное, но мало. Будь моя воля, я б токийское время установил, UTC+9.

comments