extern volatile world

2021-06-27 03:05:05 26 июня — Международный день в поддержку жертв пыток

Российские силовики часто жестоко обращаются с задержанными. Мы постоянно слышим о пытках в СИЗО и колониях. Даже когда подобные ситуации предаются огласке, виновные почти всегда уходят от ответсвенности.

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

Сегодня международный день в поддержку жертв пыток. Мы хотим пожелать, чтобы жестокости в мире стало меньше. Открыть/Комментировать

2021-06-27 02:59:01 Хорошие новости Америки -- мусор уехал на 22.5 лет. Хорошие новости России -- человека проходящего мимо митинга не посадили.

Вы точно понимаете за что сражаетесь? Открыть/Комментировать

2021-06-05 19:24:24 Ну как-то так:

src = builtins.fetchurl {
- url = "https://pubs.opengroup.org/onlinepubs/9699919799/download/susv4-2018.tar.bz2";
- sha256 = "0mxs2763q280rk15b41w9xvlw0s1ny46fyfzcjhrprhc69ik3mvn";
+ url = "https://www.dropbox.com/s/ovxorlv7ltmlw3k/susv4-2018.tar.bz2?dl=1";
+ sha256 = "0da71fas8dsk46vq7yl0yqa1ymnbsrfsfj09x1mr1s3b8xfpd0pf";
}; Открыть/Комментировать

2021-06-05 04:08:44 Я много писал про достоинства Nix, пожалуй не вредно рассказать про пределы его возможностей.

Был у меня один LaTeX проект, сборка которого была привязана на какой-то коммит nixpkgs не то 2018, не то 2019 года. Когда я пару лет спустя попробовал его собрать я обнаружил что (1) некоторые зависимость вылетели из бинарного кэша, и их надо собирать из исходников и (2) некоторые исходники на CTAN возвращают 404. А вот это обидно. Мораль — бэкапы в целом, и nix-store --export в частности это хорошо. Ну и удалять исходники это нехорошо, но люди творят хрень, с этим мало что можно сделать.

Второй пример это вот эта ссылочка на архив с POSIX документацией: https://pubs.opengroup.org/onlinepubs/9699919799/download/susv4-2018.tar.bz2 Я не знаю какого черта, но архив регулярно меняется. И уже третий раз когда я пытаюсь раскатать свой уютный config.nix на новой машине, Nix ругается на hash mismatch. Мораль все та же — бэкапы это хорошо. Открыть/Комментировать

2021-05-22 20:07:33 Про то, что дурацкие ограничения на сложность пароля в духе одна большая буква, одна маленькая, две цифры и закорючка вредны не писал только ленивый, но сегодня у меня случилась просто картина.

Создаю аккаунт, нажимаю кнопку "Generate Password" в менеджере паролей и получаю пароль, оцененный в 78 бит энтропии. Сервис говорит, что нужен более сложный пароль. Окей, нажимаю галочку "использовать все классы символов". Получаю пароль с оценкой в 69 бит. Все счастливы. Открыть/Комментировать

2021-05-08 00:55:15 Простите за костюмные замашки, но первое впечатление это важно. Относительно недавно я узнал о существовании языка программирования Zig — очередного убийцу C. Открываю документацию, и на первой строчке — "This HTML document depends on no external files, so you can use it offline. " Я еще ничего не понял, но вы мне уже нравитесь и я даже готов смотреть сквозь пальцы на репозиторий на гитхабе. Открыть/Комментировать

2021-05-03 00:17:28 https://meduza.io/news/2021/04/30/advokata-komandy-29-ivana-pavlova-zaderzhali-posle-obyska

И защищитники тех, кто идёт по 205, 280, 282 пойдут по 310.

Ну окей пока 310 не предусматривает лишения свободы. Пока. Открыть/Комментировать

2021-04-20 01:59:28 Проклятье, как же я скучаю по Debian в его былом величии. Там такого дерьма не творилось. Открыть/Комментировать

2021-04-17 02:09:21 Тут на днях я посмотрел видео с какой-то конференции, где докладчик пол-часа в очень занимательной форме рассказывает про разные способы накосячить с такой банальной вещью, как username. Посмотрите, рекомендую, получите эстетическое удовольствие.
Потом, разумеется, весь этот вздор выкиньте из головы, потому что все эти надуманные проблемы решаются тривиально: имя пользователя должно соответствовать вот такому регулярному выражению: user_[a-z]+.

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

А что я могу противопоставить? Бегать кругами, заглядывать в глаза и спрашивать, зачем вы жрете кактус? Открыть/Комментировать

2021-04-14 01:57:40 Сегодня, размышляя над тем, как меня печалят exclude constraints, я задумался, а нельзя ли найти такую функцию, что уникальный индекс по ней будет реализовывать тоже самое ограничение. Через сколько-то прыжком вокруг доски до меня дошло, что ответ отрицательный, так как exclude constraints можно использовать с нетранзитивным отношением (как то пример из документации: пересекаются ли две окружности), в то время как равенство это отношение эквивалентности.

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

EDIT: В комментариях мне подсказали, что существование такой функции есть прямое следствие аксиомы выбора в общем случае. В случае если базовое множество полностью упорядочено, то аксиома выбора не нужна — представителя класса эквивалентности можно определить как минимальный элемент. Строгого доказательства что аксиома выбора нужна в общем случае у меня нет. Открыть/Комментировать