to post messages and comments.

← All posts tagged ?

@anton0xf:

Насоветуйте не слишком дорогую vps для личного пользования в свободной стране (где не банят интернеты), и, весьма желательно, с возможностью поставить кастомный дистр или выбрать генту. Конечно, ставить vpn должно быть можно.

@anton0xf:

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

@anton0xf:

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

@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:

во. я таки придумал годную формулировку для задачи, которую решаю (вроде-как придумал алгоритм, но доказательства нет):
есть "револьвер" с m-патронным барабаном. как зарядить его n пулями так, чтобы минимизировать максимальное число нажатий на курок между выстрелами, независимо от начального положения барабана?
т.е. максимальное число нажатий вычисляется среди всех (m) возможных начальных положений барабана.

@anton0xf:

делим m на n на цело: m = k*n + r, r<n (все числа целые неотрицательные m >= n)
вопрос: соответствует ли вычисление h:
h = (n-k < r) ? k+1 : k
какому либо из известных способов округления?
собственно, похоже, что нет.
но может кто-то встречал что-то похожее раньше? ничего не напоминает?

@anton0xf:

в америках что-ли не используют логическую нотацию, при преподавании calculus?
/me открыл coursera.org , а там определение предела записано словами!

@anton0xf:

посоветуйте (желательно open source) keychain для web-ресурсов (и не только) подо все обозначенные платформы (без windows можно обойтись).
весьма желательно, чтобы
1. можно было положить саму "связку" куда-нибудь на dropbox
2. прочитать нужный пароль из "связки" с телефона и/или скачать с него же эту "связку"
3. возможность доступа к из linux консоли

@anton0xf:

Посоветуйте годный текстовый редактор с подсветкой синтаксиса (чем больше поддерживает языков — тем лучше, но сейчас нужен Octave/Matlab) под первотег

@anton0xf:

а как вы бэкапите / на домашнем pc?
хочу бекапиться как-нибудь автоматически, т.к. если делать это руками, то, когда что-то случится, бэкап будет в лучшем случае месячной давности.

@anton0xf:

хочу, чтобы с компа все домены вида *.local резолвились в 127.0.0.1
как это можно максимально просто сделать?
надоело для каждой тестововй фигни дописывать домен в /etc/hosts

@anton0xf:

в доме вырубился свет. когда включил комп обратно, оказалось, что Xы не хотят ставить настроенное разрешение (1920х900), и старательно ставят 1024х768

@anton0xf:

есть запрос, который возвращает наборы (date, action, count), где date — это дата, action — строка, а count — число.
для каждой даты в наборе есть несколько записей с разными action'ами. каждая пара (date, action) встречается один раз. action'ов, например, 3 разных.
хочу из этого получить наборы (date, action1_count, action2_count, action3_count), где action$i_count — это count из исходного запроса, соответствующий значению action='action1'.
как это лучше сделать?

@anton0xf:

Thunderbird после очередного обновления начал глючить при работе с gmail-ящиком по IMAP: при попытке архивации некоторых писем или, иногда, при сохранении черновика, начал создавать папки с именами навроде &-BBIEQQRP- &-BD8EPgRHBEIEMA-.
Не смог ничего путного нагуглить по теме или как-то диагностировать проблему(

@anton0xf:

как вы сортируете ваш ptw?

@anton0xf:

$ ps -o%cpu -p 2439
%CPU
234208
Как такое возможно?!
top показывает нормальные 120% для этого процесса

@anton0xf:

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

@anton0xf:

как запросить пароль из sh-скрипта?
в bash/zsh есть опция -s для этого, а в sh, судя по 'man 1p read', есть только -r.
я думал, что принято скрипты не-только-для-себя писать на sh, а тут такая подстава..
может есть какой-то super-read отдельным пакетом, а я не знаю, или еще что?