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

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

yurikhan — Wed, 18 Jan 2017 09:21:24 GMT

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

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

This entry was originally posted at http://yurikhan.dreamwidth.org/69129.html.

Новогоднее

yurikhan — Wed, 28 Dec 2016 06:49:39 GMT

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? 😮

This entry was originally posted at http://yurikhan.dreamwidth.org/68971.html.

Purple Tentacle keyboard

yurikhan — Fri, 02 Dec 2016 16:48:12 GMT

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

Клавиши — 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.

This entry was originally posted at http://yurikhan.dreamwidth.org/68819.html.

Тизер

yurikhan — Thu, 17 Nov 2016 18:31:46 GMT

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

This entry was originally posted at http://yurikhan.dreamwidth.org/68604.html.

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

yurikhan — Thu, 03 Nov 2016 08:57:21 GMT

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

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

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

This entry was originally posted at http://yurikhan.dreamwidth.org/68275.html.

Свой-чужой

yurikhan — Mon, 31 Oct 2016 16:23:30 GMT

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

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

This entry was originally posted at http://yurikhan.dreamwidth.org/68023.html.

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

yurikhan — Thu, 20 Oct 2016 09:38:02 GMT

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

This entry was originally posted at http://yurikhan.dreamwidth.org/67829.html.

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

yurikhan — Tue, 11 Oct 2016 09:53:00 GMT

Спецификация 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?

This entry was originally posted at http://yurikhan.dreamwidth.org/67566.html.

Юникодное

yurikhan — Sat, 24 Sep 2016 17:48:50 GMT

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

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

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

This entry was originally posted at http://yurikhan.dreamwidth.org/67135.html.

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

yurikhan — Mon, 12 Sep 2016 08:27:23 GMT

Пьеса в трёх действиях, пяти картинах, 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-адрес получен. Работаем через ЭГ.

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

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

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

This entry was originally posted at http://yurikhan.dreamwidth.org/66985.html.

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

yurikhan — Fri, 02 Sep 2016 13:45:52 GMT

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 — продумать эквивалентность на множестве ошибок. Чтоб, с одной стороны, не спамить, а с другой — не терять полезную информацию.

This entry was originally posted at http://yurikhan.dreamwidth.org/66683.html.

CLI как язык

yurikhan — Mon, 22 Aug 2016 11:01:26 GMT

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

Название бинарника может быть глаголом в повелительном наклонении (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). Жутко бесит. Очевидно же, что это должно быть прямое дополнение.

This entry was originally posted at http://yurikhan.dreamwidth.org/66551.html.

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

yurikhan — Fri, 12 Aug 2016 17:20:04 GMT

Недавно я поменял домашний сервер. Раньше на антресоли лежал обычный десктоп, жужжал вентиляторами и жрал электричество. А теперь стоит 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, и готово.

This entry was originally posted at http://yurikhan.dreamwidth.org/66195.html.

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

yurikhan — Mon, 08 Aug 2016 14:22:17 GMT

Из обсуждения, как людям объяснять 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.

This entry was originally posted at http://yurikhan.dreamwidth.org/65925.html.

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

yurikhan — Mon, 08 Aug 2016 10:46:59 GMT

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

This entry was originally posted at http://yurikhan.dreamwidth.org/65668.html.

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

yurikhan — Tue, 05 Jul 2016 19:10:42 GMT

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

Что у нас сейчас есть: 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.

This entry was originally posted at http://yurikhan.dreamwidth.org/65344.html.

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

yurikhan — Sat, 02 Jul 2016 16:03:11 GMT

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

This entry was originally posted at http://yurikhan.dreamwidth.org/65105.html.

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

yurikhan — Sun, 26 Jun 2016 15:35:36 GMT

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

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

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

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

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

This entry was originally posted at http://yurikhan.dreamwidth.org/64906.html.

О граблях SVG-иконок

yurikhan — Thu, 02 Jun 2016 18:52:07 GMT

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

Ну и что же мы теперь имеем: мыло.

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

Поэтому вот они нарисовали иконки, выровняли их так, чтоб при дефолтных стилях было чётко, ну и всё. А я предпочитаю шрифт достаточного размера и интерлиньяж посвободнее, и у меня на рабочем месте они съезжают на полпикселя. Причём не все. (На домашней машине у меня HiDPI, поэтому SVG-иконки выглядят просто отлично.)

По-правильному, надо в SVG для тех линий, которые важно привязать к сетке, указывать атрибут shape-rendering="crispEdges". Но в качестве костыля можно накладывать его сверху при помощи юзерстиля. Только для тех иконок, где есть тонкие вертикальные или горизонтальные линии.

@namespace svg url(http://www.w3.org/2000/svg);

@-moz-document domain("github.com") {
  
  .octicon-plus, .octicon-file-directory, .octicon-file-text,
  .octicon-graph, .octicon-book, .octicon-trashcan, .octicon-repo,
  .octicon-comment
  { shape-rendering: crispEdges !important; position: relative; left: 0.1px }

}

This entry was originally posted at http://yurikhan.dreamwidth.org/64693.html.

Задачка проектировщику протоколов

yurikhan — Thu, 02 Jun 2016 18:14:11 GMT

Раздаточный материал: Описание протокола WialonRetranslator 1.0 (PDF, 156K, 3 не очень плотных страницы)

Задача 1: Перечислите ошибки, допущенные при документировании этого протокола.

Задача 2*: Перечислите ошибки, допущенные при проектировании этого протокола.

Комменты не скринятся. Ответы выложу через пару-тройку дней.

Upd: kgeorgiy нашёл практически все ошибки документирования.

Ответы

Ошибка документирования: не указан рекомендуемый TCP-порт.
Спорное решение: бинарный протокол. Лучше было взять json и паковать его gzip’ом.
Ошибка проектирования: протокол не самосинхронизирующийся — начав с середины потока, нельзя найти начало ближайшего полного пакета.
Неудачная терминология: «пакет». Ассоциируется с пакетами TCP/IP.
Неоднозначная терминология: «байт». Однозначный термин — «октет».
Ошибка документирования: из всех характеристик, которыми задаются целочисленные и вещественные поля, указаны только размеры. Для целых чисел длиннее 1 байта нужно задавать ещё порядок байт (little- или big-endian); для всех целых — знаковость (знаковое или беззнаковое); для знаковых — представление отрицательных чисел (two’s complement, one’s complement, sign-and-magnitude, biased). Для вещественных — порядок байт; плавающая или фиксированная точка; если фиксированная, то по какому основанию и сколько разрядов; если плавающая, то какие биты отвечают за мантиссу, какие за экспоненту. (Достаточно сказать слово IEEE 754.)
Ошибка проектирования: размер всего пакета — little-endian, все остальные целочисленные поля — big-endian, все вещественные поля — little-endian. Следовало взять один порядок и придерживаться его.
Ошибка документирования: не указана кодировка текстовых полей (ASCII или UTF-8; если текст в каких-то других кодировках, то это ошибка проектирования).
Ошибка проектирования: конец строки определяется по нулевому байту. В бинарном протоколе удобнее передавать длину строки в начале.
Ошибка документирования: для поля времени не указана точка отсчёта (1970-01-01T00:00:00Z).
Ошибка документирования: не объяснено назначение флагов.
Ошибка проектирования: флаги частично дублируют имя блока.
Ошибка документирования: для набора блоков не указана минимальная и максимальная кратность, не сказано, могут ли повторяться блоки с одинаковым именем, и важен ли порядок.
Ошибка документирования: не перечислены возможные значения типа блока. В примере все блоки имеют тип 3003 (0xBBB) и не объясняется его назначение.
Ошибка документирования: для полей «Размер пакета» и «Размер блока» не указано, от какого и до какого октета считать.
Ошибка документирования: не описана семантика скрытия параметров.
Ошибка документирования: для физических величин не указана единица измерения, направление, начало отсчёта и область значений. (Пример: долгота в градусах к востоку от Гринвича (от −180 до, но не включая 180), широта в градусах к северу от экватора (от −90 до 90 включительно), высота в метрах над уровнем моря, скорость в километрах в час (≥ 0), курс в градусах по часовой стрелке от истинного севера (от 0 до, но не включая 360).)
Ошибка проектирования: поле долготы поставлено перед полем широты. Канонический порядок географических координат — (широта, долгота[, высота]).
Ошибка документирования: «являются интуитивно понятными». Что именно нужно было задокументировать — ~~интуитивно понятно~~ тип данных для всех блоков, единицу измерения для напряжения и уровня сигнала gsm, семантику всех блоков.
Ошибка документирования: вопросы тайминга пакетов и подтверждений («Следующий пакет не передаётся, пока не получено подтверждение для предыдущего» или что-то такое).
Ошибка документирования: полупустая страница перед разбором примера создаёт впечатление конца документа.
Ошибка документирования: шестнадцатеричные дампы в примере следовало разбить на октеты и строчки по 16 октетов и подписать смещения для удобства чтения.

Вот с такой фигнёй иногда приходится работать.

This entry was originally posted at http://yurikhan.dreamwidth.org/64444.html.

Кроссоверное

yurikhan — Sat, 16 Apr 2016 16:10:45 GMT

На столе лежала какая-то книга; Алиса взяла её и стала листать, поглядывая время от времени на Белого Короля. (Она всё ещё волновалась за него и держала чернила наготове — на случай, если ему снова станет плохо.) Она надеялась, что сумеет прочитать в книге хоть одну страничку, но всё было написано на каком-то непонятном языке.

Вот как это выглядело.⁸

Пуськи бятые

Сяпала Калуша с Калушатами по напушке. И увазила Бутявку, и волит:

— Калушата! Калушаточки! Бутявка!

Калушата присяпали и Бутявку стрямкали. И подудонились.

А Калуша волит:

— Оёё! Оёё! Бутявка-то некузявая!

Калушата Бутявку вычучили.

Бутявка вздребезнулась, сопритюкнулась и усяпала с напушки.

А Калуша волит калушатам:

— Калушаточки! Не трямкайте бутявок, бутявки дюбые и зюмо-зюмо некузявые. От бутявок дудонятся.

А Бутявка волит за напушкой:

— Калушата подудонились! Зюмо некузявые! Пуськи бятые!

This entry was originally posted at http://yurikhan.dreamwidth.org/64012.html.

Луч поноса широким сайтам

yurikhan — Tue, 02 Feb 2016 14:57:53 GMT

Когда я пришёл в веб, считалось дурным тоном делать сайты, не помещающиеся в 800×600.

Потом распространились разрешения 1024×768, 1152×864, 1280×1024 и, наконец, 1600×1200. В какой-то момент вебостроители решили, что 1024 пикселя в ширину есть у всех. А у кого нет, тот лох.

Потом пошла мода на 16:10 и 16:9 и разрешения типа 1920×1080. И вот про это разрешение поговорим подробнее.

Дело в том, что при 24 дюймах диагонали, формате 16:9 и разрешении 1920×1080 CSS-пикселей (тех, которые 1/96 дюйма, а не обязательно один минимальный элемент изображения) уже начинает быть удобно работать не с одним развёрнутым на весь экран окном, а с двумя неперекрывающимися половинками. И в такой конфигурации сайту в браузере остаётся 960px ширины, с поправкой на скроллбар — ≈940px.

Сто́ит вспомнить правила приличия девяностых и двухтысячных. Сайт не должен вызывать горизонтального скроллинга при ширине окна в 940px.

(Персональные лучи поноса — Альфа-Клику, Гитхабу, Гуглу, Джире, Пейпэлу, библиотеке Сафари Букс Онлайн, всей сети Стек Эксчендж и Яндекс-Погоде.)

This entry was originally posted at http://yurikhan.dreamwidth.org/63991.html.

Раздумья о файловых менеджерах

yurikhan — Wed, 20 Jan 2016 18:06:40 GMT

Когда-то в прошлой жизни я сидел на Windows. Там был FAR. FAR был инструментом для всего.

Потом я пересел на X11/GNU/Linux. Там FAR’а нет. Есть отдельно Midnight Commander, у которого убогий редактор, и отдельно Emacs, у которого убогий файловый менеджер. Об Emacs’е я здесь и сейчас говорить не буду. Буду говорить о классе программ, позиционирующихся как файловые менеджеры. Говорить буду резко и в основном для себя и про себя. Всем остальным читателям к каждому высказыванию неявно добавлять «IMHO».

Итак, что такое файловый менеджер? Многие считают, что файловый менеджер — это две синие панельки, между которыми можно копировать файлы. Ну и изредка запускать команды шелла. А вот и ни фига.

Функция запуска команд шелла первична. Первое, что должно быть в файловом менеджере — это командная строка и буфер с результатами выполнения команд. Панели вторичны и нужны для удобного выбора файловых аргументов к этим командам и для естественного порядка ввода команд (сначала — что и куда (или с чем), потом уже — что делать). Панели можно прятать (Ctrl+O). Командную строку прятать нельзя.

Как это решается в mc? У терминала есть два буфера. Один — бесконечная лента с прокруткой. Другой — размером с окно, экран для приложений. Панели отображаются в этом самом альтернативном буфере. Ctrl+O переключает между этими двумя буферами. За панелями работает настоящий живой шелл (в подпроцессе, связанном с псевдотерминалом, создаваемым Midnight Commander’ом, чтобы последний мог посылать в него команды помимо пользователя). Под панелями отображается имитация. Если пользователь набирает в неё команду и жмёт Enter, mc прячет панели и посылает введённую команду в шелл. Если пользователь гуляет по каталогам, mc посылает в шелл команду cd куда/теперь/перейти.

Чем плоха имитация комадной строки, и почему в FAR’е это было незаметно?

В Windows у нас есть один командный процессор, cmd.exe, с довольно скудными средствами редактирования командной строки, историей и рудиментарным tab completion’ом. В GNU/Linux у нас есть десять тысяч шеллов, и каждый со своими особенностями. И tab completion у них очень развитый.

Соответственно, пользователь, пересевший с голого cmd на FAR, не испытывает никаких неудобств. Ну может, разве что, придётся переучиться историю листать не стрелками вверх/вниз, а Ctrl+E/Ctrl+X. Пересесть с bash’а на mc невозможно, потому что сразу теряешь почти весь completion. В командной строке под панелями работает только дополнение имён файлов. В шелле за панелями работает всё. Содержимое командной строки mc никак не связано с командной строкой шелла, пока не нажмёшь Enter. Поэтому, когда ты написал git checkout и хочешь вспомнить, как называется нужный тебе бранч, у тебя есть выбор: либо спрятать панели, выполнить за ними git branch, запомнить нужное имя, вернуть панели, ввести имя ветки; либо выругаться, стереть всё, спрятать панели, набрать git checkout и воспользоваться completion’ом.

А что нужно, чтобы иметь полноценный completion в панелях?

Долго думать не нужно, чтобы понять, что имитация командной строки не катит. В ней, в принципе, можно было бы с большими трудозатратами эмулировать, скажем, bash completion. Даже с его API расширения. Но если у пользователя основной шелл — zsh, то он будет страдать. Нет, нам нужен под панелями настоящий шелл. Причём, в идеале, тот же самый, который и за панелями. Чтобы при включении/отключении панелей у нас сохранялось содержимое командной строки.

Ни один файловый менеджер под GNU/Linux, если верить некоторым участникам linux.org.ru, так не делает. Потому что сложно. Это ж надо на лету менять размер псевдотерминала и при включённых панелях рулить отображением. Поди ещё и всю функциональность эмулятора терминала придётся самому поддерживать. Да ну нафиг, тут придётся половину tmux’а в проект принести.

А что если мы… принесём в проект весь tmux как чёрный ящик?

Пруф-оф-концепт:

На старте запускаем tmux с отдельным (от пользовательского) конфигом, на отдельном управляюшем сокете, с новой сессией.
Делим первое и пока единственное окно на две части (они будут называться %0 и %1). Нижнюю (%1) стягиваем до минимума и пускаем в ней шелл.
В %0 пускаем панели.
Панель с шеллом держим почти всегда активной (чтоб в ней был курсор). В нашем конфиге tmux’а биндим клавиши, которые будут обрабатываться панелями, чтоб они перехватывались и отправлялись в панели.

Теперь можно остановиться и посмотреть, что же мы получили.

Зная истинное имя сокета сессии, мы можем повелевать всеми её окнами и панелями.
Например, мы можем слать в шелл нажатия клавиш и текстовые строки: при гулянии по каталогам выполняем tmux -L $имя_сокета send-keys -t %1 C-u ' cd /usr/share' Enter C-l C-y (C-u для сохранения командной строки и C-y для восстановления — bash- и user-specific, но можно сделать настраиваемым).
Также у нас есть многоэкранный и многопанельный движок. Мы можем легко по F3 открывать внешний вьюер в новом экране, по F4 — внешний редактор в новом экране. А это значит, что реализовывать-то надо только собственно панели, ну и, может быть, какие-нибудь внутренние команды для удобной работы с файлами.
По Ctrl+O просто зумим или раззумливаем панель с шеллом.

This entry was originally posted at http://yurikhan.dreamwidth.org/63673.html.

Напишите мне email

yurikhan — Mon, 28 Dec 2015 10:53:14 GMT

Повадились тут интернет-провайдеры звонить мне в телефон.

Интернет-провайдеры, Карл, в телефон!

Я допускаю, что мой интернет-провайдер может позвонить мне в телефон в трёх случаях:

Моё оборудование, подключённое к сети провайдера, своим действием или бездействием наносит ущерб ему или другим пользователям.
Другие пользователи наносят ущерб моему оборудованию.
Я заранее договорился с провайдером о каких-либо работах, где требуется моё присутствие.

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

This entry was originally posted at http://yurikhan.dreamwidth.org/63257.html.

О пользе объектно-ориентированных UI

yurikhan — Tue, 01 Dec 2015 09:37:24 GMT

Или о бесявости отсутствия таковых.

Альфа-Клик, интернет-банк Альфа-Банка. Чтобы сделать перевод между счетами, приходится (1) навестись на «Переводы» в строке меню, (2) в попап-меню ткнуть в «Между своими счетами», выбрать в выпадающих списках сначала (3) счёт Откуда, потом (4) счёт Куда, потом (5) ввести сумму. Именно в этом порядке, потому что преждевременная валидация ввода.: Как должно быть: В списке счетов вижу название и текущий остаток. (1а) Дрэг-эн-дроп из текущего остатка на другой счёт открывает форму перевода, заранее заполненную исходным и целевым счетами, остаётся только (2а) ввести сумму. (1б) Клик в название открывает выписку. На экране выписки тоже должна быть (2б) кнопка «Перевести отсюда», открывающая ту же форму с предзаполненным исходным счётом, остаётся (3б) выбрать целевой счёт и (4б) ввести сумму. Если переводим не между своими счетами, то сценарий (б) тот же самый, только в (3б) указываем счёт получателя не выбором из списка своих счетов, а каким-то другим способом (выбор из закладок или, на худой конец, заполнение формы с опциональным созданием закладки).
Zabbix, система мониторинга с веб-мордой. Вижу график трафика по семи серверам. Хочу добавить к нему недавно развёрнутый восьмой. Для этого приходится: (1) в строке меню навестись на Configure; (2) вспомнить, определён ли график для какого-то Хоста или в каком-то Шаблоне; (3) ткнуть соответственно в Hosts или Templates; (4) найти нужный хост или шаблон в двухстраничной таблице; (5) ткнуть в ссылку Graphs в его строке; (6) в открывшемся списке графиков этого хоста ткнуть в нужный график.: Как должно быть: На странице с графиком должна быть кнопка «Конфигурировать это».
Outlook Web Access, веб-морда к корпоративной почте. Чтобы подписаться на рассылку, приходится: (1) в меню опций ткнуть в Options; (2) ткнуть в Groups; (3) нажать кнопку Join; (4) в открывшемся диалоге ткнуть в нужную группу; (5) в окне информации о группе нажать кнопку Join.: Как должно быть: (1) На вкладке People или на главной можно поиском найти нужную группу. (2) В панели информации о группе должна быть кнопка «Вступить в это».
Gajim, jabber-клиент. Чтобы добавить контакт, нужно: (1) выбрать в меню Actions | Add contact | (нужный jabber-аккаунт); (2) в диалоге ввести JID; (3) в выпадающем списке выбрать группу.: Как должно быть: Ростер уже сгруппирован сначала по аккаунтам, потом по группам. (1) В контекстном меню группы должен быть пункт «Добавить сюда». Остаётся (2) в диалоге ввести JID.
Magit, git-фронтэнд для Emacs’а. Чтобы создать новую ветку от текущего коммита, нужно: (1) нажать b B (magit-branch-and-checkout); (2) ввести хэш или имя ветки начального коммита или согласиться на предлагаемый по умолчанию; (3) ввести имя новой ветки.: Как должно быть: (1) В графе коммитов навести курсор на нужный коммит; (2) дать команду «создать ветку отсюда»; (3) ввести имя новой ветки.
Jenkins, инструмент для continuous integration. Чтобы склонировать задачу, нужно (1) ткнуть New Item, (2) выбрать радиокнопку Copy existing item, (3) выбрать клонируемую задачу из комбо-списка.: Как должно быть: В контекстном меню задачи должен быть пункт «Склонировать это».

Правило: Пользователь, видящий в интерфейсе объект, должен мочь непосредственно с него отдавать команды, принимающие этот объект в качестве любого параметра.

Положительные примеры: на картах в карточке здания «Проехать сюда» и «Проехать отсюда». В почтовиках «Filter messages like this».

This entry was originally posted at http://yurikhan.dreamwidth.org/63091.html.