Objective Caml - Среда, 1 декабря 2010

Objective Caml

ocaml@conference.jabber.ru

Среда, 1 декабря 2010< ^ >

Конфигурация комнаты

Участники комнаты

GMT+3
[00:04:11] Typhon вошёл(а) в комнату
[00:05:08] Typhon вышел(а) из комнаты: Replaced by new connection
[00:05:12] Typhon вошёл(а) в комнату
[00:06:23] Typhon вышел(а) из комнаты
[00:06:57] Typhon вошёл(а) в комнату
[00:07:08] Typhon вышел(а) из комнаты
[00:07:36] Typhon вошёл(а) в комнату
[00:14:08] gds вышел(а) из комнаты
[00:15:39] Typhon вышел(а) из комнаты: Replaced by new connection
[00:15:42] Typhon вошёл(а) в комнату
[00:16:35] Typhon вышел(а) из комнаты
[00:16:40] Typhon вошёл(а) в комнату
[00:28:29] Typhon вышел(а) из комнаты: Replaced by new connection
[00:28:33] Typhon вошёл(а) в комнату
[00:28:47] Typhon вышел(а) из комнаты
[00:29:01] Typhon вошёл(а) в комнату
[00:37:24] ygrek качает торренты через mldonkey используя только dht
[00:46:00] <ermine> пират!
[00:46:44] <komar> О, Малахов с анонимусами докачался.
[00:47:59] arhibot вышел(а) из комнаты
[00:58:45] <Typhon> ygrek, под виндой собирается, с dht? где брать?
[01:01:18] <ygrek> ооо, вот и тестер под виндой нашёлся
[01:01:57] <ygrek> ничего ОС-зависимого там не добавилось, но просто mldonkey под виндой собрать - занятие не для слабонервных
[01:02:19] <ygrek> хотя если с минимум внешних либ то всего лишь один патч на камль и всё вроде :)
[01:03:07] <ygrek> вообщем http://mldonkey.sf.net/Windows <- официальная инструкция но я ей не пользовался
[01:03:35] <ygrek> код http://repo.or.cz/w/mldonkey.git бранч dev/dht
[01:04:51] <ygrek> ещё не 100% но работает, запросы к трекерам отключены, бранч основан на предыдущем релизе, очень подробные логи
[01:07:48] <ermine> блин, чож на сервере pkg-config жалуется на отсутствие gnome-config и как отрубить ему эту хотелку
[01:08:23] <ygrek> под виндой собирал на cygwin+mingw :
./configure --host=i686-pc-mingw32 --build=i686-pc-mingw32 CC="gcc -mno-cygwin"
[01:08:53] <ygrek> вот тут есть билд логи -> http://build.ygrek.org.ua/hudson/job/mldonkey/?
линковка фейлится из-за того что ocaml непропатченный
[01:09:21] ygrek off, остальное завтра
[01:14:10] Kakadu вышел(а) из комнаты
[01:14:46] ermine озирается
[01:14:53] <ermine> komar: ты уже спишь?
[01:15:20] <komar> Я боюсь отвечать на этот вопрос.
[01:15:50] <ermine> komar: тогда плиз набери в своем шелле `pkg-config --flags  jpeg` и скажи чо оно сказало
[01:16:04] <ermine> --cflags
[01:16:20] <komar> Не находит.
[01:16:36] <ermine> а там вопля про gnome-config нет?
[01:16:49] <komar> [komar@pavilion ~]$ pkg-config --cflags jpeg
Package jpeg was not found in the pkg-config search path.
Perhaps you should add the directory containing `jpeg.pc'
to the PKG_CONFIG_PATH environment variable
No package 'jpeg' found
[01:17:10] <ermine> у тебя gnome-config есть?
[01:17:23] <komar> Нет.
[01:17:28] <ermine> хмм
[01:17:31] <komar> Как ты могла обо мне такого подумать?
[01:17:35] <ermine> а какая версия pkg-config?
[01:17:47] <komar> 0.25
[01:17:52] <ermine> komar: именно на тебя у меня была надежда
[01:19:01] <ermine> тогда я не понимаю, пчу оно у меня жалуется что нет gnome-config,  ибо его точно нет и нафиг на сервере не нужен...
[01:19:31] ygrek вышел(а) из комнаты
[01:19:54] <ermine> завтра придется разбираться, а щас как ygrek - в off
[01:19:55] <komar> Потому что у тебя бздя?
[01:20:12] <ermine> ага
[01:20:19] <ermine> гнутый софт со скрипом работает
[01:20:34] <ermine> гнутый плохо портируется, а что делать
[01:30:31] ftrvxmtrx вышел(а) из комнаты: offline
[01:30:36] ftrvxmtrx вошёл(а) в комнату
[01:55:30] ermine вышел(а) из комнаты
[02:01:20] vshender вошёл(а) в комнату
[02:03:11] vshender вышел(а) из комнаты
[02:07:54] <komar> http://thesz.livejournal.com/1160896.html — ололо, Зефиров открыл миражось для х-ля.
[02:19:58] ftrvxmtrx вышел(а) из комнаты
[02:20:03] ftrvxmtrx вошёл(а) в комнату
[02:51:19] Typhon вышел(а) из комнаты
[07:14:42] iNode вышел(а) из комнаты
[08:10:31] iNode вошёл(а) в комнату
[09:12:44] iNode вышел(а) из комнаты
[09:12:50] iNode вошёл(а) в комнату
[09:22:45] gds вошёл(а) в комнату
[10:15:05] serp256 вошёл(а) в комнату
[10:27:36] zert вошёл(а) в комнату
[10:39:02] ftrvxmtrx вышел(а) из комнаты: offline
[11:03:16] <zert> btw, третий день собираю qthaskell
[11:03:37] <zert> пытался написать ебилд, но его хрен потестишь — собирается всё дичайшее количество времени
[11:03:44] <zert> сейчас забил и буду ставить локально
[11:03:49] <zert> если получится
[11:04:08] <zert> если не получится, то забью на г-й на х-е
[11:04:19] <zert> ибо нахер такое щасье
[11:04:25] serp256 вышел(а) из комнаты
[11:06:23] <zert> http://www.linux.org.ru/news/gnu/5628158
[11:06:25] <zert> ололо
[11:06:32] <zert> саванну хакнули скуелем
[11:16:02] <f[x]> http://sairyx.org/activity-reporter/output.html
[11:17:23] <f[x]> ха, ещё один местный молчун спалился --> https://github.com/ftrvxmtrx
[11:25:46] <zert> надо мозилловцам подкинуть идею, чтобы они фаерфокс на хаскеле переписали
[11:25:51] <zert> получится вечный двигатель
[11:29:29] <zert> oom-killer зохавал xulrunner от conkeror
[11:29:42] <zert> ОСТАНЕТСЯ ТОЛЬКО ОДИН!!1111 ONE APPILCAITON TO RLUE HTEM ALL!!!1
[11:38:11] f[x] пытается вспомнить пятница ли сегодня
[11:38:58] zert устраивает себе пятницу в любой день недели, бо безработный
[11:39:51] ermine вошёл(а) в комнату
[11:47:59] Kakadu вошёл(а) в комнату
[11:50:12] komar вышел(а) из комнаты
[11:50:17] <f[x]> %)
[12:04:42] Kakadu вышел(а) из комнаты
[12:05:16] Kakadu вошёл(а) в комнату
[12:54:32] komar вошёл(а) в комнату
[12:55:20] <ermine> f[x]: а как в оазизе можно задать сборку, которая собирается при условии наличия депендса?
[12:56:44] <f[x]> OASIS manual | grep -A 8 'if .* else'
[12:56:55] <f[x]> :)
[12:58:28] <ermine> а как в if засунуть наличие, сказем, lablgtk2?
[13:00:27] <f[x]> OASIS manual | grep -C 4 pkg_
[13:00:39] <f[x]> if flag(pkg_lablgtk2)
[13:02:49] <ermine> ну хорошо если это сработает в отношении камлевых паккаджей
[13:03:03] <ermine> а вот с биндингами опять все плохо
[13:03:42] <ermine> из preconfig кстати в setup.data ничего не попадает
[13:05:03] <f[x]> ну будет pkg_config_xxx как Sylvain обещает
[13:05:35] <ermine> ага, ждать-ждать-ждать
[13:23:33] <ermine> гавно всё это :)
[13:23:56] <ermine> где-то assert вылез на играх с flag(pkg_lablgtk)
[13:33:44] <zert> при сборке qthaskell ghc ещё и утекает — каждый модуль собирается всё дольше и дольше, своп становится всё больше и больше
[13:36:56] ftrvxmtrx вошёл(а) в комнату
[13:38:08] <gds> http://pastebin.com/FqKSTFbJ  -- я раньше не любил завязывать рекурсивные структуры данных через ленивые значения.  Сейчас, чтобы сократить алгоритм, иду на это как на меньшее зло.  Почему зло -- потому что CamlinternalLazy.Undefined при взаимных ссылках, и хрен чо найдёшь.  И вот, я придумал, как таки найти, где цикл.  Тупо, но работает.  Можно было бы прикрутить туда поиск минимального цикла, но пока нет цели.
[13:43:34] <gds> сейчас половина алгоритма занимает порядка 200 строк, после затягивания через lazy весь алгоритм будет порядка 100..150 строк.
[13:44:03] f[x] lazy использует дял разрубывания рекурсии, но  в ограниченных количествах, там где на глаз понятно что всё ок
[13:44:57] komar использует lazy и с завистью смотрит на х-ов.
[13:45:20] <gds> вооот.  А у меня на глаз не понятно, и, более того, какая-нибудь редиска обязательно сочинит грамматику с циклами, чисто чтобы приколоться.  Вот потому и думал, как бы сделать так, чтобы и безопасно, и информативно в случае неудачи.
[13:45:38] <gds> komar: а в чём конкретно проявляется зависть?
[13:46:25] <komar> В том, что у меня весь код в lazy и в Lazy.force.
[13:46:45] <gds> синтаксическое расширение может зафигачить, чтобы руками не писать?
[13:46:55] <komar> Костыли.
[13:47:24] <gds> меньше ручной работы и решает задачи.  Везде бы такие костыли.
[13:48:02] <komar> Нет чтобы программу на граф раскладывать.
[13:49:03] <f[x]> komar: может у тебя ещё и монадки разложены?
[13:49:27] <komar> f[x]: ну вот поэтому я не на х-ле.
[13:49:52] <gds> какой ещё граф, монте-кристо штоле?  навыдумывают себе терминов разных...
[13:52:01] <gds> и вообще, пока человек не выучил таблицу квадратных уравнений, ему не следует лезть в серьёзные дела.
[13:54:10] komar обиделся и пошел дальше ковыряться с theorem prover'ом.
[14:46:47] <gds> komar: из рассылки: https://www.lexifi.com/blog/ocaml-extensions-lexifi-semi-implicit-laziness
[14:48:45] <komar> Lazy record fields, офигенно.
[14:55:18] <gds> дык lazy let тоже клёвый.  то, что я и предлагал -- везде вставлять lazy при создании и Lazy.force при использовании.
[15:08:36] <f[x]> кул
[15:12:29] <f[x]> ы, а пример для lazy let кривой
[15:36:02] komar вышел(а) из комнаты: Replaced by new connection
[15:36:04] komar вошёл(а) в комнату
[17:10:28] iNode вышел(а) из комнаты
[17:17:59] <gds> так вот, насчёт рекурсивных значений через lazy (напомню урл: http://pastebin.com/FqKSTFbJ ).  Подход весьма общий получился, но генерализовать как-то не получается.  Ещё засада в том, что для получения циклов (в примере выше -- цикл B+C, а не A+B+C) нужно не просто Lazy.force делать, а где-то записывать, какой Lazy.force пытаемся сделать (т.е. сохранять в исключении link, к которому пытаемся достучаться в строке 71).
Если не сохранять, то в примере графа, заданного на строках 126..130 --
nodes.(0) = Cycle A,B,C
nodes.(1) = Cycle B,C
nodes.(2) = Cycle C
из чего неочевидно, какой цикл.  Если сохранять --
nodes.(0) = Cycle A1,B2,C1
nodes.(1) = Cycle B2,C1
nodes.(2) = Cycle C1
из чего очевидно, где все циклы: берём список из одного элемента (C1), смотрим на индекс массива, куда оно пошло (пыталось посчитать nodes.(1), при том, что nodes.(1) ещё не посчитано), затем, начиная с nodes.(1), пытаемся найти путь до nodes.(2), и получаем цикл B+C.
Не понимаю, как это всё надо оформить культурно.
Цель -- типа-библиотечка для ленивых вычислений, культурно определяющая циклы в данных.
[17:32:10] gds вышел(а) из комнаты
[17:40:56] iNode вошёл(а) в комнату
[17:54:53] Kakadu вышел(а) из комнаты
[17:59:30] <ermine> f[x]: загнала я инитиальный коммит камлимаджа на гитхуб
[19:27:51] Kakadu вошёл(а) в комнату
[20:04:24] gds вошёл(а) в комнату
[20:14:39] <gds> о, а раньше этой заметки не было:
"Note: if the program is compiled with the -rectypes option, ill-founded recursive definitions of the form let rec x = lazy x or let rec x = lazy(lazy(...(lazy x))) are accepted by the type-checker and lead, when forced, to ill-formed values that trigger infinite loops in the garbage collector and other parts of the run-time system.  Without the -rectypes option, such ill-founded recursive definitions are rejected by the type-checker."
[20:27:34] <gds> насчёт ленивых значений -- придумалось кое-что.  Принципиальный момент, важный для того, чтобы получилось определить, какие значения должны быть вычислены, но не могут быть вычислены из-за цикла, состоит в том, что как-нибудь нужно идентифицировать значения, составляющие цикл.  Сигнатура решения -- вот: http://pastebin.com/TnC1CAkW .  Если не сложно, посмотрите и покритикуйте, там мало.
[20:36:32] Typhon вошёл(а) в комнату
[20:41:33] <gds> кто-нибудь работал с постгресом изпадвенды?  Интересны впечатления.
[20:42:45] <komar> Стукни по голове^W^W dmz'а.
[20:43:10] <komar> Он с постгресом чего-то совсем много работает.
[20:43:59] <zert> он не изпадвенды
[20:49:01] <Typhon> сервер на венде или клиент?
[20:56:16] <gds> на венде -- в идеале и то, и другое, для тестовых случаев.  Неудобняк мне в текущих условиях на линупсе писать всё.
[21:22:55] <ermine> работать с постгресом на той же машине, где кодишь - признак трусости
[21:24:27] <gds> не считаю.
[21:33:46] <zert> gds: зачем тебе винда?
[21:35:37] <ermine> гонять по диску вирусов
[21:36:07] <ermine> zert: ты бы лучше спросил, покупал ли он винду
[21:36:42] ermine подписалась на мейллист оазиса гонять Галла
[21:37:46] <zert> gds: покупал ли ты винду?
[21:39:01] <gds> zert: обсуждали вроде.  Некоторым людям нужен виндовый софт, они за это плотют.
Одну из винд покупал, с нетбуком в комплекте шла.  А поцчему Ви таки спгашиваете?  Разве нельзя использовать ворованную венду?
[21:39:27] <zert> венду вообще нельзя использовать
[21:39:33] <zert> это даже хуже, чем макось
[21:40:00] <gds> можно её использовать.  Только вот далеко не всегда нужно.
[21:42:16] serp256 вошёл(а) в комнату
[21:42:34] serp256 вышел(а) из комнаты
[21:45:56] <komar> Винда, макось.
[21:46:06] <komar> Вот бздю нельзя использовать, это однозначно.
[21:47:53] <gds> бздю тоже можно использовать!  пробыла в качестве домашней операционки 2..4 года.  судя по количеству внимания, требуемого ей, лучше было бы завести сотню тамагочей.  не сравнить с убунтовским apt-get update + apt-get dist-upgrade.
[21:48:21] <komar> О, убунту забыл.
[22:00:41] <ermine> названия у линукса ужасные: дебиан, бубуна, слака
[22:01:11] <ermine> и гента
[22:01:45] <ermine> и вообще развели линуксов, ужас
[22:03:26] <ermine> а винду вон никто склонировать не может
[22:05:39] <zert> сабаён ещё забыла
[22:05:41] <zert> или не знака
[22:06:02] ftrvxmtrx вышел(а) из комнаты: offline
[22:06:35] <komar> ermine: венду почти склонировали, она называется убунта.
[22:06:49] arhibot вошёл(а) в комнату
[22:07:14] <komar> Вон, у меня хакиры убунту обновляют методом переустановки.
[22:07:58] <zert> а она только так и обновляется
[22:08:07] <zert> это ж надо было так криво сделать
[22:08:26] <ermine> komar: двд диск хоть перезаписывают или все двд-диски у вас одноразовые - записал, поставил бубунту и поставил на полку?
[22:08:49] <komar> Че?
[22:09:34] <komar> На посмотреть хоть виртуалка, хоть RW, хоть флешка.
[22:09:42] <ermine> понятно, одноразовые
[22:09:49] Typhon пользуется freebsd, которую запускает в putty подвендой7 ^_^
[22:09:51] <komar> Годные пишем на R и ставим на полку.
[22:09:57] <Typhon> бубунты из интернета ставятся же
[22:10:16] <komar> Typhon: ты эталонный бздун.
[22:10:38] <zert> кошерный
[22:10:42] <zert> даже на пейсах
[22:11:05] <komar> Я, вон, коммуникатор на винде взял и по ссх через него на сервера хожу.
[22:11:15] <komar> Друзья меня теперь бздуном обзывают.
[22:11:36] <zert> пошёл четвёртый день, как я канпелирую qthaskell
[22:11:49] <zert> komar: надо было ведройд брать
[22:12:45] <komar> zert: мне за 5 рублей ухажер моей сестры продал.
[22:12:54] <gds> дважыды обновлял убунту не перестановкой, а культурно.  прошло без проблем.  что-то не так делаю, либо не хэккир, наверное.
[22:12:55] <zert> жмот
[22:13:02] <komar> А я как раз за неделю до этого потерял свой красненький телефон.
[22:13:51] <Kakadu> gds: да тут наверное сарказм полный пошел
[22:14:11] <ermine> zert: у вас в Нске дубак?
[22:14:17] <zert> ermine: не очень
[22:14:27] <Kakadu> меня тут пытались убедить что уебунта стабильнее дебиана.....
[22:14:27] <ermine> zert: сколько?
[22:14:28] <zert> -19 машина показывала когда заводил
[22:14:30] <Typhon> дубак в москве же
[22:14:41] <zert> и ветерок, правда, был
[22:14:54] <zert> вчера дубак был, столько же градусов, но ветер сильный
[22:15:03] <ermine> да, в москве отменный дубак
[22:15:05] <zert> я в магазин пока бегал — чуть не помер
[22:15:09] <zert> ermine: сколько у вас?
[22:15:30] <komar> Kakadu: убей их.
[22:15:34] <ermine> zert: ща где-то 21-22
[22:15:43] <ermine> zert: и снега нет
[22:15:43] <zert> терпимо
[22:15:47] <zert> ггг
[22:15:48] <zert> реально?
[22:15:54] <komar> А я еще с работы не пришел, га-га-га.
[22:15:55] <zert> без снега — это ж ад
[22:16:06] <Kakadu> komar: нельзя -- посадят
[22:16:13] <Typhon> и ветер вчера был, сегодня вроде не особо ветра было
[22:16:14] <zert> только на следующий год озимых нихрена не будет
[22:16:18] <zert> голод начнётся
[22:16:23] <gds> Kakadu: хуже.  СИНОПТИКИ НАБИГАЮТ!1111
[22:16:23] <Typhon> у дома все троллейбусы померзли ^_^
[22:16:43] <zert> у нас снега нападало уже по колено
[22:16:57] <komar> Как все быстро в англичан превратились.
[22:17:01] <zert> а в алтайском крае ещё тепло и тоже без снега
[22:17:43] <komar> А мне два дня назад батя звонил из родного Гадюкино. Говорит — пчелы летают.
[22:17:44] <gds> кстати, я тоже синоптик доморощенный -- у нас только сегодня первый снег, 1см.  зато по графику.
[22:18:32] <komar> http://www.gismeteo.ru/city/daily/11658/ — не, ну вот куда это?
[22:19:38] <zert> я сейчас дико радуюсь, что не надо каждое утро откапывать машину, тащиться на работу по пробкам, потом с работы, прогревать её ночью, да и просто выходить из дому
[22:20:08] <komar> http://www.gismeteo.ru/city/daily/5233/ — нет, не то, вот это куда?
[22:22:05] <gds> травить нормальной погодой -- гораздо серьёзнее, чем этими вашими люниксами(tm) и вендами.
[22:25:15] <komar> Да у меня самого батхерт.
[22:25:29] <zert> о, у нас сейчас оказывается -5 всего
[22:26:53] <zert> тут ещё бывают морозы -45 и влажность 100%
[22:27:26] <zert> коллега бывший сюда из нерюнгри переехал, говорил, что там теплее намного, ибо суше
[22:29:14] <Typhon> ваш новосибирск на зиму вообще закрывать надо, по-моему
[22:34:04] <zert> да, я тоже так подумал
[22:34:12] <zert> всех переводить на удалёнку
[22:34:40] <zert> ибо тусить на улице в такой дубак неразумно
[22:41:02] serp256 вошёл(а) в комнату
[23:16:42] komar вышел(а) из комнаты
[23:54:41] <gds> http://pastebin.com/83qXwC8C -- есть решение.  Находит минимальный цикл в lazy-вычислениях.  Тупо, а мне и нравится.