Чтобы добавлять сообщения и комментарии, .

@anton0xf:
anton0xf

Хочу "mathematical logic done right", так сказать.
Посоветуйте, что бы такого почитать по математической логике с максимально последовательным изложением (не было зависимостей от того, что будет дальше) и минимальным бутстрапом от интуиции к формальным или формализуемым доказательствам и строгим определениям. Лучше по-русски, но по-английски тоже можно.
А то порекомендовали почитать для начала это, а там изложение начинается с наивного (канторовского) определения множества (которое, и не определение вовсе), и на его основе определяются бинарные отношения, функции и их свойств, а второе же упражнение в книге (после описанных выше 3х страниц текста): "образуют ли бинарные отношения на множестве А группу относительно операций композиции и взятия обратного?", что, имхо, не дело. Мало того, что понятие "группа" не определено (ну да и чёрт бы с ним), так не описано ни как правильно строить рассуждения, ни что такое множество и пр..
У меня пока нагуглились только монографии Клини, Чёрча и Гильберта + книга Хаскелла Карри (того самого, да) 1969го года издания (в ужасном качестве и без возможности купить бумажную).

@anton0xf:
anton0xf

СЯУ, что так можно и что я всегда такое хотел: [подсветка синтаксиса всякой фигни при просмотре в less][https://www.gnu.org/software/src-highlite/source-highlight.html#Using-source_002dhighlight-with-less]. 

Правда оно как-то не очень хочет работать совместно с lesspipe, так что я пока так сделал (вместо рекомендованного способа):
> alias hi='src-hilite-lesspipe.sh'
> lesshi() {
>    src-hilite-lesspipe.sh "$@" | less
> }

Там ещё есть вариант его в ~/.lessfilter прописать (его вызывает lesspipe), но что-то оно сходу не завелось.

@anton0xf:
anton0xf

Решил в кои-то веки заглянут на last.fm, а там какая-то бета, всё тормозит и нифига не работает.
Стал разбираться, что именно не работает — оказалось, что не грузится от слова нифига (долго пытается загрузиться, пока не отвалится по таймауту) ни одна ссылка со схемой https, а остальное работает. Зашёл через тор — всё ок.
Это провайдер так хреново пытается подменить сертификаты, что просто всё сломал, или где?

@anton0xf:
anton0xf

В вебне при клике по надписи "Ответить" под любым комментарием к любому посту перебрасывает к самому посту и больше ничего не происходит

@anton0xf:
anton0xf

Опять, суки, с часами играются:
rg.ru
Соответствующая стопка законов опубликована 11 марта 2016г., перевод назначен на 27 марта 2016г.,
а 2016b вышла 15 марта.
Т.е. есть целых 12 дней на то, чтобы обновить всю фигню.

@anton0xf:
anton0xf

Чувак на хабре жалуется, что ему дали на собеседовании трудную задачу и заставили её писать в блокноте, и он не смог в итоге её решить за полчаса.
Из его претензий я согласен только с тем, что невозможность запускать свой код в процессе — это отстой. А вот не знать, что такое поиск в ширину, это уже явный фейл. К тому же его окончательное решение, полученное, как я понял, через пару дней, какое-то излишне многословное.
Я вот решил эту задачку, не смотря на его "решения", за 15 минут. Из них 5 ушло на заполнение дерева и минимальную визуализацию, 8 на написание функции, решающей задачу, и 2 на запуск и исправление единственной ошибки (в процессе написания я решил переименовать одну из локальных переменных, и не везде поменял её название).

Не думаю, что я особенно умный, или что быстро решил задачу (меня от части оправдывает только то, что я js практически не умею). Но, судя по голосованию внизу статьи, большинство читателей согласны с тем, что это либо слишком сложная задача (и на практике такие задачи не встречаются), либо не проверяющая сообразительность кандидата. И вот это, имхо, уже бред.

@anton0xf:
anton0xf

isrageo.com

@anton0xf:
anton0xf

gans-spb.livejournal.com
via #2805597/9

@anton0xf:
anton0xf

/me стал счастливым обладателем
радиоушей
На одном компе у меня пульса и всё завелось по инструкции (с bluez 5).
А вот на втором стоит альса (с apulse для скайпа). // я собирался и на первом пульсу выпилить
А в bluez 5 выпилили поддержку альсы.
Соответственно возникает ряд вопросов:
1. нахуя они выпилили эту самую поддержку?
2. как скоро сдохнет и поддерживается ли вообще bluez 4?
3. юзать вариант с alsa + bluez 4 или ставить сраную пульсу? другие варианты?
(http://point.im/vybaq)

@anton0xf:
anton0xf

Почини уведомления в жабере!

@anton0xf:
anton0xf

Открываю значит новую вкладку в хромиуме и вижу праздничный гугл-дудл с тортиками.
Решил проверить, что за празник — оказалось это они меня с ДР поздравляют.

@anton0xf:
anton0xf

а мне ответы в jabber не приходят. как минимум если jabber был offline.

@anton0xf:
anton0xf

как понять что за гнида время от времени сбрасывает права на мою домашнюю директорию? или как лучше запретить эти права менять?

@anton0xf:
anton0xf

вот здесь wiki.archlinux.org пишут,
что дефолтный браузер можно установить в файле ~/.config/mimeapps.list .
Firefox считает также, т.е. когда кликаешь в нем "установить меня браузером по умолчанию", он редактирует этот файл.
Но это нифига не работает.
А если воспользоваться советом отсюда: wiki.archlinux.org , и выполнить:
$ xdg-mime default firefox.desktop x-scheme-handler/http
то пишется в файл ~/.local/share/applications/mimeapps.list
(я это узнал, обнаружив в исходниках этих сраных скриптов,
что они проверяют переменную XDG_UTILS_DEBUG_LEVEL, и установив её)
и это работает.
А на freedesktop.org нифига не понятно, как образуются итоговые пути.
Где вообще положено смотреть эту хрень?

@anton0xf:
anton0xf

какая-то неудачная у меня эта неделя

@anton0xf:
anton0xf

пульса, а вместе с ней и все установленные браузеры, кроме w3m)) и conkeror, стала внезапно падать с вот такой хуйней:
$ pulseaudio
E: [pulseaudio] flist.c: Assertion 'list' failed at /var/calculate/tmp/portage/media-sound/pulseaudio-5.0-r4/work/pulseaudio-5.0/src/pulsecore/flist.c:76, function stack_pop(). Aborting.

"внезапно" означает, что я сидел, никого не трогал, что-то читал в интернетах, ничего не устанавливал и не обновлял, и вдруг оба браузера сдохли и обратно не завелись.

@anton0xf:
anton0xf

As Lennart's camp has so much trouble communicating with Linus's camp, they are now maintaining their own systemd Linux fork.

distrowatch.com

@anton0xf:
anton0xf

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

@anton0xf:
anton0xf

адски жрет рамку: gyazo.com

@anton0xf:
anton0xf

A> такой вопрос — чтобы отсортировать коллекцию объектов по определённому полю объекта мне нужно создать свой компаратор?
B> да
...
A> спасибо
A> а по двум полям? к примеру поле даты и поле времени
C> так же, как и по одному, только по двум