Objective Caml - Пятница, 9 марта 2012

Objective Caml

ocaml@conference.jabber.ru

Пятница, 9 марта 2012< ^ >

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

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

GMT+4
[00:02:05] <komar> 1121   + Mar 07 GitHub          (5.0K) Action Required - SSH Key Vulnerability
[00:02:19] <komar> К тебе не приходило, что ли?
[00:04:37] <komar> Ключи SSH теперь назначаются президентом.
[00:10:21] <ermine> да пришло в ответ на команду git push, вместо успешного результата прислали умный текст и ссылку, там про президента ничего нет
[00:12:01] shaggie вышел(а) из комнаты
[00:12:42] <ermine> komar: кстати, ты проголосовал за Жириновского и получил в дар айпад?
[00:13:56] <komar> Я сходил наблюдателем от Прохора и получил угрозы от администрации на мамкин мобильник от администрации и предложения прикрыть весь бизнес от людей разной высоты на телефон брата.
[00:14:21] <komar> (гм, два раза)
[00:17:52] <ermine> ну ты смелый горец
[00:18:26] <ermine> прохор должен в этом случае что-то тебе подарить, он же богатый неудачник
[00:18:55] <ermine> кстати, я за него и голосовала
[00:20:12] <komar> Хрен с ним, с прохором.
[00:20:19] <komar> Зато я теперь точно знаю, что поравалить.
[00:20:52] <komar> Потому что на моем участке с самыми честными выборами — инфа 146%! — у Путена 63%.
[00:24:06] <ermine> в смысле 146? накрутили что ли?
[00:24:50] <komar> Не накрутили.
[00:25:12] <komar> Если и могли накрутить, то слишком космическими для нашей жопы технологиями.
[00:42:57] bobry вышел(а) из комнаты
[00:43:31] bobry вошёл(а) в комнату
[01:08:15] ftrvxmtrx вышел(а) из комнаты
[01:08:29] ftrvxmtrx вошёл(а) в комнату
[01:10:26] ermine вышел(а) из комнаты
[01:17:28] Kakadu вышел(а) из комнаты
[01:21:59] <gds> komar: если чо, валить -- идея ок.  к тхедеемону поедем, он впишет местами.  только coq подучить надо будет.
[01:22:14] <gds> какую х-ню я несу :[
[01:31:01] <bobry> gds: you alright?
[01:31:21] <gds> bobry: 'm alleft
[01:31:55] <bobry> better stay right :)
[01:34:15] <gds> 'k
[01:47:13] <bobry> кто нить це трогал? http://math.andrej.com/eff/
[01:48:16] <bobry> вроде тот же камло, только с эффектами
[01:51:58] bobry вышел(а) из комнаты
[03:37:04] letrec вошёл(а) в комнату
[03:37:16] letrec вышел(а) из комнаты
[03:37:31] letrec вошёл(а) в комнату
[04:17:53] klapaucius вышел(а) из комнаты
[04:45:10] letrec вышел(а) из комнаты
[09:48:56] <komar> gds: отличный план, кстати.
[09:49:04] <komar> Я про тхедеемона как-то забыл.
[10:44:06] Kakadu вошёл(а) в комнату
[11:00:06] ftrvxmtrx вышел(а) из комнаты
[11:18:09] ermine вошёл(а) в комнату
[11:22:24] ftrvxmtrx вошёл(а) в комнату
[11:37:02] ftrvxmtrx вышел(а) из комнаты
[11:40:22] ftrvxmtrx вошёл(а) в комнату
[12:57:23] bobry вошёл(а) в комнату
[13:17:15] shaggie вошёл(а) в комнату
[14:34:17] komar вышел(а) из комнаты
[14:34:52] komar вошёл(а) в комнату
[14:52:23] komar вышел(а) из комнаты
[14:54:57] komar вошёл(а) в комнату
[15:52:48] letrec вошёл(а) в комнату
[15:52:59] letrec вышел(а) из комнаты
[15:53:15] letrec вошёл(а) в комнату
[16:29:17] ftrvxmtrx вошёл(а) в комнату
[16:32:25] komar вышел(а) из комнаты: Replaced by new connection
[16:32:26] komar вошёл(а) в комнату
[16:35:22] ftrvxmtrx вышел(а) из комнаты
[18:30:20] bobry хочет камлосбор в мск / спб -- послушать про камло in the wild, вымпить пивка, шо нить такое
[18:30:24] <bobry> есть желающие?
[18:30:46] <bobry> *по мотивам грядущего SPbHUG
[18:30:59] <f[x]> в К
[18:32:25] <bobry> шо-шо?
[18:37:32] f[x] згоден зiбратися у Кийовi
[18:37:48] <bobry> Киев далековато будет :)
[18:39:13] <f[x]> ничего не знаю
[18:39:31] <bobry> не, ну на самом деле та пофик где :)
[18:39:39] bobry думал уже на ocaml meeting скататься
[18:39:41] <bobry> но его нет
[18:39:42] <komar> Хуита.
[18:39:51] <bobry> komar: вай?
[18:39:55] <komar> На hug’ах обычно про новую академоту рассказывают.
[18:40:09] <komar> А тут «выпить пивка» — скучно.
[18:40:19] <bobry> вроде не видно академоты http://spbhug.folding-maps.org/wiki
[18:40:39] <bobry> я вроде написал что хочется в первую очередь послушать про использование камло в rl
[18:41:10] <komar> Очень плохой HUG.
[18:41:17] <komar> Я думал, намного лучше будет это все.
[18:41:49] <bobry> komar: ну давай, какие темы тебя бы вдохновили?
[18:42:25] <komar> Не знаю.
[18:42:33] <komar> Я окамловой академоты уже сто лет не касался.
[19:16:15] <gds> спасайте мой моск.  чо бы накодить на coq (с генерацией в камло, ясное дело), чтобы не слишком сложное (скорее какой-нибудь хелловрот), но чтобы сам по себе coq пригодился?  в идеале бы публично-полезное, но это не обязательно.  польза будет хотя бы в моих разборках с этим всем говном.
[19:18:06] <f[x]> закодь структуру данных для dht routing table
[19:18:18] f[x] как всегда - "всё в дом"
[19:18:36] <gds> f[x]: благодарю за практичную идею, честно-честно.  Откуда начинать читать?
[19:19:12] <gds> (хотя не обещаю, что сделаю.  я же распи.. в общем, человек с отвлекающимся вниманием.)
[19:19:49] <f[x]> спека (без объяснений) - http://bittorrent.org/beps/bep_0005.html
[19:20:18] <f[x]> основная папира - http://infinite-source.de/az/whitepapers/kademlia_optimized.pdf
[19:22:04] <f[x]> какой-то тупой код - https://github.com/ygrek/mldonkey/blob/upstream/src/networks/bittorrent/kademlia.ml
[19:23:03] <gds> что надо получить на выходе?
[19:23:26] <f[x]> текущая структура данных там где коммент (* FIXME better *)
[19:24:20] <f[x]> надо получить АТД в которой данные хранятся по бакетам, и благодаря свойствам адресации - не использовать дерево, а простой массив
[19:24:41] <f[x]> ну и операции - get insert iter
[19:25:01] <f[x]> сейчас там просто бинарное дерево
[19:25:31] <f[x]> вот эти вот свойства kademlia по идее как-то там можно формализовать и чего-то доказывать (я ни бум-бум)
[19:26:13] <gds> (если чо, делай скидку на то, что я туплю сегодня.)
но просто-просто массив -- не получится, так как надо иногда в элементах массива ссылаться на собственно значение, а иногда на вложенный массив, так?
[19:27:35] <f[x]> ну - массив бакетов - т.е. массив массивов структур - как-то так
[19:28:15] <gds> понял.  Доложу в чятик о разборках.
[19:29:17] <gds> если получится, то можно будет написать смешную заметку про то, что "this torrent client uses proven machine-generated code" :]
[19:29:35] <f[x]> там интересно
[19:30:01] <f[x]> плюс dht в принципе может много где пригодится
[19:31:26] <gds> это да, для того же парвела.  (я тоже "всё в дом")
[19:35:53] <gds> в общем, начальство обязало разбираться с зависимыми типами, а тест-кейсов не даёт.  Интересно, у всех такая же пичалька на работе?
[19:36:45] <bobry> gds: обязало? да ну нафик?
[19:37:13] <f[x]> я бы уволился сразу!11
[19:38:01] <f[x]> а если пошлют на х-е писать?
[19:38:57] <gds> я понимаю начальство с полуслова, было сказано "очень одобряю эти разборки, тем более, вероятно, это пригодится".  А если пригодится, а я этого не знаю, работать было бы сложно.  Вот так вот.
Пойти обратно на завод, oracle forms+reports, работа с бухгалтерами, с dbf и xml, ах, как сладко это звучит...
[19:39:24] <gds> а вот про х-ь -- как раз выбором coq (вместо agda) я решил эту проблему.  coq умеет в оба языка генерить.
[19:41:17] <bobry> был где то talk на эту тему, мол х-ль после coq еще хуже чем х-ль без coq
[19:41:22] <bobry> стремный код оно генерит
[19:42:17] <gds> зато проверенный.  Чтобы я х-ь руками трогал -- такое навряд ли будет, а вот опцию "генерить в х-ь" -- поставить не западло.  Это же coq будет зашкваренный, а не я.
[20:41:32] ftrvxmtrx вышел(а) из комнаты
[21:46:48] ftrvxmtrx вошёл(а) в комнату
[21:52:16] ftrvxmtrx вышел(а) из комнаты
[21:52:29] ftrvxmtrx вошёл(а) в комнату
[22:23:54] <bobry> больше самописных Makefileов!
[22:24:07] <bobry> ocaml-sqlite3 зачем то ставит свой toplevel
[22:24:16] <bobry> причем ставит ну непременно в /usr/bin
[22:30:16] <ermine> как это?
[22:30:30] <ermine> а как оно зовется?
[22:30:33] <bobry> ну, он не дает переопределить prefix
[22:30:42] <bobry> sqlite3top :)
[22:31:06] <bobry> куда там motti жаловаться? у него тоже свой багтрекер?
[22:31:06] <ermine> не вижу у себя в /usr/bin
[22:31:11] <bobry> *mottl
[22:31:27] <bobry> /usr/local/bin?
[22:31:47] <ermine> ну да
[22:31:52] <ermine> а как же иначе?
[22:32:00] <ermine> иначе - к стенке и стрелять
[22:32:04] <ermine> гвоздями
[22:32:30] <bobry> иначе? 1) oasis 2) --prefix=...
[22:33:54] <ermine> ну я ему не указываю --prefix, только --with-sqlite3=...
[22:34:20] <bobry> ну --with-sqlite3 это видимо путь к libsqlite или как оно там зовется
[22:34:36] <ermine> это не гвоздь, а просто большой шуруп
[22:35:09] <bobry> w/e
[22:35:28] <ermine> это путь к либле sqlite3 и инклюдам, я указываю /usr/local
[22:36:05] <ermine> бесит другое
[22:36:13] <ermine> там -ldl приходится удалять
[22:36:40] <ermine> это какая-то линуксная муха
[22:46:54] letrec вышел(а) из комнаты
[22:56:34] shaggie вышел(а) из комнаты
[23:09:19] <bobry> о мой бог! кто мне объяснит почему Map.merge имеет такую странную сигнатуру?
[23:09:32] <bobry> почему не merge : 'a t -> 'a t -> 'a t
[23:11:10] <bobry> и уж тем более непонятно почему принимаемая функция должна возвращать option
key <http://caml.inria.fr/pub/docs/manual-ocaml/libref/Map.S.html#TYPEkey> -> 'a option -> 'b option -> 'c option
[23:34:29] <ermine> как выглядит пустая ветвь?
[23:39:38] <bobry> шо?
[23:40:10] <ermine> мап там дерево же
[23:40:19] <ermine> с опциональными вроде ветвями
[23:40:45] <ermine> поэтому такая небожественная сигнатура
[23:41:12] ermine славно убила день на увеличение шума в дебажном выводе парсилки