Objective Caml - Вторник, 10 апреля 2012

Objective Caml

ocaml@conference.jabber.ru

Вторник, 10 апреля 2012< ^ >

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

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

GMT+4
[00:14:15] komar вышел(а) из комнаты
[00:14:40] komar вошёл(а) в комнату
[00:17:03] Typhon вошёл(а) в комнату
[00:44:49] ftrvxmtrx вошёл(а) в комнату
[01:04:29] Kakadu вышел(а) из комнаты
[01:55:10] <bobry> Proposition. Given a simple graph G with n vertices, the algorithm takes less than n8+2n7+n6+n5+n4+n3+n2 steps to terminate.
[01:55:14] <bobry> fuckye, science!
[02:26:35] ftrvxmtrx вышел(а) из комнаты
[02:27:22] ftrvxmtrx вошёл(а) в комнату
[03:09:25] komar вышел(а) из комнаты: Replaced by new connection
[03:09:26] komar вошёл(а) в комнату
[03:13:32] bobry вышел(а) из комнаты
[03:19:45] Typhon вышел(а) из комнаты
[03:33:07] letrec вошёл(а) в комнату
[03:42:06] komar вышел(а) из комнаты
[03:47:14] komar вошёл(а) в комнату
[04:16:27] komar вышел(а) из комнаты: Logged out
[04:25:34] tilarids вышел(а) из комнаты
[04:38:41] letrec вышел(а) из комнаты
[09:50:03] ftrvxmtrx вышел(а) из комнаты
[09:50:42] ftrvxmtrx вошёл(а) в комнату
[09:54:24] komar вошёл(а) в комнату
[10:06:40] Sun][ вошёл(а) в комнату
[10:13:44] tilarids вошёл(а) в комнату
[10:14:05] tilarids вышел(а) из комнаты
[10:14:22] tilarids вошёл(а) в комнату
[10:40:59] ftrvxmtrx вышел(а) из комнаты
[10:49:05] gds вышел(а) из комнаты
[10:53:47] ermine вошёл(а) в комнату
[10:57:59] ftrvxmtrx вошёл(а) в комнату
[10:59:41] ftrvxmtrx вышел(а) из комнаты
[11:00:18] ftrvxmtrx вошёл(а) в комнату
[11:19:19] ftrvxmtrx вышел(а) из комнаты
[11:22:45] ftrvxmtrx вошёл(а) в комнату
[11:23:28] ftrvxmtrx вышел(а) из комнаты
[11:26:46] ftrvxmtrx вошёл(а) в комнату
[11:43:54] Kakadu вошёл(а) в комнату
[11:50:26] <Kakadu> Sun][: ну как оно?
[11:54:38] <Sun][> Kakadu: Да что-то дебиановский пакетик собрать так и не осилил
[11:55:28] <Kakadu> сика или камлосика?
[11:57:02] <Sun][> сика =(
[11:57:26] <Kakadu> а ты пробовал?
[11:57:34] <Sun][> пробовал, ага
[11:57:39] <Kakadu> что говорит?
[11:58:12] <Sun][> там пакетик кривой какой-то:
[11:59:05] <Kakadu> у тебя ж гента есть, должен уметь собирать из сорцов
[11:59:12] <Sun][> http://flimbin.sunx.me/1334044737813 вот такое показывает
[11:59:42] <Sun][> да просто нехочу рабочий комп левыми непакетами захламлять
[12:01:21] <Kakadu> ммм
[12:01:30] <Kakadu> a make работает?
[12:03:58] Kakadu хочет сделать checkinstall чтобы не захламлять твой комп
[12:07:20] <Sun][> sunx@Merry syck-0.55+svn270 $ make
make: *** Нет целей.  Останов.
[12:07:21] <Sun][> =)
[12:07:30] <Sun][> но lib нормально собирается, да
[12:07:36] <Kakadu> так.
[12:07:42] <Kakadu> напомни где ты брал сорцы
[12:07:51] <Kakadu> мой дебиан на виртуалке сейчас решит все проблема
[12:09:38] <Sun][> эм.. ща найду
[12:09:49] <Sun][> https://launchpad.net/ubuntu/karmic/+source/syck
[12:13:49] <Kakadu> я сейчас из базара попробую поставить
[12:25:35] <Kakadu> что-то базарная версия кривая какая-то
[12:30:20] <Kakadu> Ура, моё кунгфу выше
[12:31:00] <Kakadu> bzr branch lp:ubuntu/syck
и вперед
[12:31:22] <Kakadu> возможно надо будет поставить automake-1.11
[12:31:41] <Kakadu> тогда поставишь нужную версию в bootstrap и запустишь его.
[12:31:53] <Kakadu> потом ./configure + mkae + checkinstall
[12:31:58] <Kakadu> Sun][: ^^
[12:36:38] <Sun][> эм..
[12:36:52] <Sun][> счас, осмыслю
[12:55:23] tilarids вышел(а) из комнаты
[13:02:57] tilarids вошёл(а) в комнату
[13:08:30] <Kakadu> Sun][: ну что, осмыслил?
[13:08:39] bobry вошёл(а) в комнату
[13:11:49] <Sun][> Пока нет, пока осмысливаю, как починить все на работе :)
[13:17:35] <Kakadu> ermine: нада твоя помосчь с барбариской
[13:17:55] <Kakadu> ermine: там бранча subdeps появилась
[13:20:33] <ermine> Kakadu: и что там делать?
[13:20:55] <Kakadu> там можно посмотреть в brb.conf и пробовать собрать lwt
[13:23:06] <ermine> Kakadu: к слову, text собираются выкинуть из lwt
[13:23:35] <Kakadu> пофигу. Я рассчитываю что хороший конфиг будешь делать ты
[13:24:56] <ermine> Kakadu: а почему там require react?
[13:25:06] <ermine> а где --enable-react будет?
[13:25:54] <Kakadu> в readme написано что react обязателен
[13:28:01] <ermine> да, теперь вижу, что в _oasis входит в flag(all)
[13:28:10] <ermine> типа отключить можно
[13:31:47] <ermine> оно поскипало таргет lwt
[13:33:33] <ermine> empty subdep list
subdep is parsed
I: resolving recipe lwt
empty subdep list
I: Build order: lwt
skip target lwt
I: Dependencies built successfully!
[13:33:41] <ermine> а чо empty?
[13:34:13] <ermine> -force не дышит
[13:36:41] <Kakadu> покажи brb.conf и ~/.brb/recipes/lwt
[13:37:39] <ermine> ermine: ну расскоментарила начиная с последнего dep lwt remote ... включая subdeps
[13:38:09] <f[x]> gds: есть идеи насчёт assert'а в rle_reader_flush (c_objsize.c строка 172 после моих патчей)?
[13:39:05] Typhon вошёл(а) в комнату
[13:40:18] <Kakadu> ermine: там было написано "add lines below to recipe"
[13:43:05] <ermine> Kakadu: мнэ, то есть оверрайда тоже нет
[13:43:41] <Kakadu> пока так
[13:56:44] shaggie вошёл(а) в комнату
[13:56:51] <Kakadu> Ну что, как нибудь работает?
[13:59:46] <ermine> а хз
[14:02:30] <ermine> не работает
[14:04:12] <Kakadu> что говорит?
[14:04:45] bobry вышел(а) из комнаты
[14:06:45] <ermine> Kakadu: а какую команду надо запустить?
[14:07:23] <Kakadu> обычную
[14:07:50] <ermine> например?
[14:08:00] <Kakadu> ./brb build --froce
[14:08:45] <ermine> о, начало собирать что-то
[14:08:54] <ermine> а я пробовала brb build lwt
[14:09:00] <Kakadu> dep lwt+text recipe "default" не забыла в brb.conf сказать?
[14:09:44] <Kakadu> вообще там багоф ещё куча
[14:09:50] <Kakadu> но всё как-то лень
[14:12:49] <ermine> E: Cannot find buildable internal library 'lwt-react' when checking build depends
[14:15:27] <Kakadu> я хз что он хочет
[14:16:41] <ermine> Kakadu: он - кто?
[14:16:59] <Kakadu> lwt
[14:17:36] <ermine> Kakadu: а как ты отличаешь лог оазиса от лога барбры?
[14:18:04] <Kakadu> ermine: магией
[14:18:48] ftrvxmtrx вышел(а) из комнаты
[14:19:33] ftrvxmtrx вошёл(а) в комнату
[14:19:50] <ermine> видимо сказывается разброд в оазисах
[14:20:47] <Kakadu> мля
[14:20:59] dzhon вошёл(а) в комнату
[14:21:00] <Kakadu> надa Flag "--enable-react"
[14:21:19] <Kakadu> и надо пофиксить сборку react а то оно ставит себя черт знает куда
[14:22:00] <ermine> гыг
[14:25:35] <Kakadu> ermine: можешь выкатить патч на реакт?
[14:25:57] <Kakadu> там автор честно копирует файлики в директорию, а надо походу ocamlfind install вызывать
[14:34:07] <ermine> Kakadu: у меня щас свои интересы в парсере, ибо вечером пойду бухать и не смогу поделать чота в парсилке
[14:47:45] komar вышел(а) из комнаты
[15:05:32] dzhon вышел(а) из комнаты: Replaced by new connection
[15:05:32] dzhon вошёл(а) в комнату
[15:12:24] bobry вошёл(а) в комнату
[15:17:39] bobry вошёл(а) в комнату
[15:18:22] bobry вошёл(а) в комнату
[15:18:22] bobry вышел(а) из комнаты
[15:19:05] gds вошёл(а) в комнату
[15:19:26] bobry вышел(а) из комнаты
[15:20:13] bobry вошёл(а) в комнату
[15:20:59] bobry вышел(а) из комнаты
[15:22:39] <f[x]> > gds: есть идеи насчёт assert'а в rle_reader_flush (c_objsize.c строка 172 после моих патчей)?
[15:23:51] <f[x]> gds: солнце уже давно встало - где ты ходишь помимо чатика?! кто мне будет отвечать на ermine-style вопросы?
[15:24:38] <ermine> спит он!
[15:25:18] <ermine> у меня в привате он отметился в полседьмого ночи
[15:25:55] <f[x]> в тайланд понаехал штоле?
[15:26:31] <f[x]> упоролся помидорками и кодоточит по ночам?
[15:28:15] <gds> всё так, только, к сожалению, без тайланда.
подождите, мне надо проснуться после адского четырёхчасового сна.  Буду через десятки минут.  Обязательно прочитаю логи (вы тут понакалякали), отвечу по порядку.
[15:29:47] ermine доделала одну недоделку в парсилке и осталась довольна результатом
[15:32:40] komar вошёл(а) в комнату
[15:34:31] <f[x]> мне первому!
[15:37:02] letrec вошёл(а) в комнату
[15:39:47] ermine прошлой ночью снилась река Москва, по которой плыл небольшой катер, тащивший за собой на тросе цепочку стада коров, коровы покорно плыли, вытянув морды из воды
[15:40:35] <f[x]> ermine: бейлиз?
[15:40:43] <f[x]> так влияет?
[15:40:44] <komar> ermine: заведи себе жуйку.
[15:41:43] <ermine> f[x]: давно не пила
[15:42:06] <ermine> логичнее было бы, если бы вместо коров были верблюды
[15:42:29] Kakadu этим утром был на военных сборах, причем на морских сборах, а когда все пошли праздновать что-то там, на мне оказалась рваная тельняшка, которую меня послали искать одного в зданием моей первой школы, в кабинетах которой я во сне запутался. В итоге я опоздал на всё что можно, но потом пришел мой друг и сказал, что они там болели за удачное написание дипломов, причем у всех
[15:56:33] <Typhon> gds: ты парсеров жсона на итератах не встречал?
[16:02:45] <Kakadu> ermine: я починил react
[16:11:40] <gds> Typhon: не встречал.  да проще запилить его снуля, громатека там простая.
(если чо, пока занят работой, а вопрос был простой.)
[16:12:10] <f[x]> я чо-то не понял. ты работу перед чятиком делаешь что-ли?
[16:12:25] <gds> оппа.  прокололся :[
[16:14:32] <ermine> Typhon: поскольку yaml знает про юсон, то парсерюсона у меня уже есть как бы
[16:14:48] <Typhon> у тебя поди не на итератах?
[16:14:59] <ermine> итераты прикрутить, точнее, сгенерить с использованием итератов - дело нехитрое
[16:15:49] <ermine> Typhon: у меня из генераторов есть только тупой камлокод, а так - грамматика ничо не знает про инпуты и парсилки :P
[16:17:46] ermine не спешит с реализациями всех хотелок в парсере и вдумчиво добавляет то, что первое на ум пришло
[16:40:42] dzhon вышел(а) из комнаты: Replaced by new connection
[16:40:43] dzhon вошёл(а) в комнату
[16:42:31] <gds> f[x]: идеи есть.  какие-нибудь треды меняют хип в процессе работы objsize?
а больше идей нет.
могу порекомендовать включить отладку и посмотреть, какие значения и в каком порядке проходились при запоминании цветов, и какие-как проходятся при их восстановлении.  Явно их проходится меньше, так как иначе был бы фейл ASSERT(colors_readindex < colors_writeindex, "bound on read")
[16:43:41] <f[x]> objsize же под локом зовётся, так что другие треды (легитимно) трогать хип не могут
[16:43:59] <f[x]> отладка не вариант - т.к. крэшится рандомно и редко
[16:44:13] <f[x]> в этот раз - один из 500 процессов через сутки работы
[16:45:01] <f[x]> над всем этим висит мрачная тень memory corruption
[16:45:28] <f[x]> заменил exit(1) на abort чтобы хотя бы корка была
[16:45:39] <gds> f[x]: хотя бы выведи repeat_count colors_readindex colors_writeindex, может что-то понятно станет, хотя навряд ли.
[16:45:52] <f[x]> и добавил отладочный вывод если условие не выполнится перед assert'ом
[16:45:58] <f[x]> пусть ловится
[16:47:01] <gds> кроме того, есть идея: как только rle_read_flush зафейлил, можно попробовать рекурсивно вызвать главную сишную функцию (c_objsize) с флагом отладки, и нехай она пишет, какие значения посещает при "туда" и при "обратно", а там уже пусть падает.
[16:47:48] <gds> только перед вызовом c_objsize надо бы как-то сбросить состояние (readindex, writeindex, ну и прочее), если это не делается при её запуске.
[16:48:00] <f[x]> угу, годная идея
[16:49:34] <gds> и надо ещё один ассерт поставить: падать, если рекурсивный вызов завершился успешно, причём с сообщением, таки да, "memory corruption (possibly hardware fault)".
[16:50:09] <gds> ещё вот стрёмно, что никак не проверишь, не модифицирует какой-нибудь говнотред что-то в хипе.
[16:51:52] <f[x]> gds: дык, в том-то и печаль
[16:53:30] <gds> как вариант, если производительность c_objsize не важна, просто бери md5 от всего хипа (или от того, что do_roots дают тебе), sleep(1), снова бери, сравни.  Как-нибудь да найдётся засранец, если это именно тот случай.
[16:55:12] <f[x]> глобально мыслишь!
[17:03:04] <gds> чото вспоминаю сортировку на баше в n процессов, ассоциации такие чото.
[17:09:56] <f[x]> это может заинтересовать твоего психотерапевта
[17:10:27] <gds> я сааам себе и небо и аллах
[17:13:51] komar вышел(а) из комнаты
[17:14:13] komar вошёл(а) в комнату
[17:14:46] Kakadu вышел(а) из комнаты
[17:33:03] letrec вышел(а) из комнаты
[17:33:40] tilarids вышел(а) из комнаты
[17:33:59] tilarids вошёл(а) в комнату
[17:35:17] letrec вошёл(а) в комнату
[17:39:32] <gds> Typhon: кстати, про итераты.  сейчас бы я выбрал coq для их реализации.  почему: 0. экстрактит в камло!  1. может инлайнить тупые-простые функции легко, 2. так как там манатки, можно сделать синтаксис получше, чем "it1 >>= fun x -> it2", 3. при желании можно опционально что-то подоказывать, если делать нечего будет.
[17:43:04] <gds> 4. можно использовать тайпклассы для однотипности манаток, но мне эта идея как-то так, не очень чтобы и нравится, но в худшем случае это будет примерно так же по скорости, как явная передача "словаря" (он реализован в виде окамловской записи), но в лучшем случае оно заинлайнится.
[17:45:40] Sun][ вышел(а) из комнаты
[17:56:09] Kakadu вошёл(а) в комнату
[17:58:30] <gds> кое-кому уже хвастался, похвастаюсь ещё и тут.  https://gist.github.com/27fabcf4a198ad29c05e -- "непустой список" (при создании значения необходимо доказать непустоту (например, как в of_h_t)).  А вот чем не хвастался -- тем камлокодом, который получается при экстракции.  Он -- в каменте к гисту.  Рекомендуется к анализу.
[18:03:16] bobry вышел(а) из комнаты
[18:15:34] dzhon вышел(а) из комнаты: Replaced by new connection
[18:15:34] dzhon вошёл(а) в комнату
[18:15:54] tilarids вышел(а) из комнаты
[18:41:02] tilarids вошёл(а) в комнату
[19:47:49] bobry вошёл(а) в комнату
[19:50:43] dzhon вышел(а) из комнаты: Replaced by new connection
[19:50:43] dzhon вошёл(а) в комнату
[20:05:03] dzhon вышел(а) из комнаты
[20:17:46] Typhon вышел(а) из комнаты
[20:19:57] ftrvxmtrx вышел(а) из комнаты
[20:32:31] ftrvxmtrx вошёл(а) в комнату
[20:36:02] bobry вышел(а) из комнаты
[20:41:35] bobry вошёл(а) в комнату
[20:46:37] ftrvxmtrx вышел(а) из комнаты
[20:47:12] ftrvxmtrx вошёл(а) в комнату
[20:49:58] ftrvxmtrx вышел(а) из комнаты
[20:58:13] ftrvxmtrx вошёл(а) в комнату
[21:01:47] letrec вышел(а) из комнаты
[21:06:03] tilarids вышел(а) из комнаты: Computer went to sleep
[21:07:01] ftrvxmtrx вышел(а) из комнаты
[21:14:16] ftrvxmtrx вошёл(а) в комнату
[21:40:37] ftrvxmtrx вышел(а) из комнаты
[21:43:57] bobry вышел(а) из комнаты
[21:44:16] ftrvxmtrx вошёл(а) в комнату
[21:47:07] tilarids вошёл(а) в комнату
[21:50:11] bobry вошёл(а) в комнату
[21:53:53] ftrvxmtrx вышел(а) из комнаты
[21:58:46] f[x] вошёл(а) в комнату
[22:00:16] ftrvxmtrx вошёл(а) в комнату
[22:14:16] ftrvxmtrx вышел(а) из комнаты
[22:15:16] ftrvxmtrx вошёл(а) в комнату
[22:23:42] ftrvxmtrx вошёл(а) в комнату
[22:23:54] ftrvxmtrx вышел(а) из комнаты
[22:24:15] ftrvxmtrx вошёл(а) в комнату
[22:39:34] ftrvxmtrx вышел(а) из комнаты
[22:45:16] ftrvxmtrx вошёл(а) в комнату
[23:00:10] tilarids вышел(а) из комнаты: Computer went to sleep
[23:03:03] shaggie вышел(а) из комнаты
[23:04:42] bobry вышел(а) из комнаты
[23:05:12] bobry вошёл(а) в комнату
[23:12:55] ftrvxmtrx вышел(а) из комнаты
[23:15:16] ftrvxmtrx вошёл(а) в комнату
[23:16:19] tilarids вошёл(а) в комнату
[23:21:39] ftrvxmtrx вышел(а) из комнаты
[23:31:46] ftrvxmtrx вошёл(а) в комнату
[23:35:22] ftrvxmtrx вышел(а) из комнаты
[23:40:08] ermine вышел(а) из комнаты
[23:45:35] ftrvxmtrx вошёл(а) в комнату
[23:46:50] ftrvxmtrx вышел(а) из комнаты
[23:51:20] <Kakadu> человек планирует на стрим рассказывать про ырланк. Ктонить знает ник lambdaman?