Objective Caml - Понедельник, 9 мая 2011

Objective Caml

ocaml@conference.jabber.ru

Понедельник, 9 мая 2011< ^ >

gds установил(а) тему: Камль -- http://caml.inria.fr | Логи -- http://chatlogs.jabber.ru/ocaml@conference.jabber.ru/ | Светлое будущее -- http://camlunity.ru/ | Нефильтрованное настоящее -- https://github.com/camlunity/kamlo_wiki | Портер прошлое -- http://gdsfh.dyndns.org/kamlo/ | Верблюды грязи не боятся! | release crap, enjoy NIH | репортьте баги официальным дилерам | ocaml мёртв, move on

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

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

GMT+4
[00:05:59] komar вышел(а) из комнаты
[00:18:50] komar вошёл(а) в комнату
[01:43:11] Kakadu вышел(а) из комнаты
[02:25:05] Typhon вышел(а) из комнаты
[02:33:58] zert вышел(а) из комнаты
[03:41:31] Digimmortal вошёл(а) в комнату
[04:43:30] Digimmortal вышел(а) из комнаты
[10:32:01] Kakadu вошёл(а) в комнату
[10:36:58] ermine вошёл(а) в комнату
[11:29:01] <Kakadu> http://www.cs.uoregon.edu/research/summerschool/summer05/lectures/ffi.pdf
боян, но всё же
[12:17:54] vladimir.chujkov вошёл(а) в комнату
[12:48:54] zert вошёл(а) в комнату
[12:52:09] <Kakadu> ой жесть
[12:52:18] <Kakadu> как make -j 4 подвешивает систему
[12:53:32] <zert> у тебя линупц
[12:54:09] <Kakadu> под фряхой не подвешивает?
[13:02:06] Typhon вошёл(а) в комнату
[13:02:35] <komar> Kakadu: nice -n20 ionice -c3 make -j4
[13:02:54] <komar> И линупц говно, да. В 2.4 такой фигни не было.
[13:04:56] <gds> а знаете ли вы, что вывод команд `nice`, `nice nice`, `nice nice nice` (и так далее) сходится к определённому пределу?
[13:05:36] <Kakadu> gds: теперь знаем
[13:09:25] <ermine> дыру еще не пофиксили?
[13:09:49] <Kakadu> ermine: молчат
[13:10:13] <Kakadu> может стоит спросить воспроизвели ли они её хотя бы?
[13:10:45] <ermine> Kakadu: спроси сам :)
[13:10:52] <Typhon> может они празднуют и вспоминают героические действия французского сопротивления? ^_^
[13:11:34] <zert> ггг
[13:11:50] <zert> не опускали руки до последнего
[13:11:55] <zert> так и стояли с поднятыми
[13:13:38] <Kakadu> cпросил
[13:20:24] <ermine> теперь забанят наверное
[13:20:47] <Kakadu> ничего
[13:20:50] <ermine> придется тогда искать альтернативу глючному оксигеню
[13:21:23] <Kakadu> ermine: ну мы то знаем как им сайт пложить))
[13:21:44] <zert> переходите на ерлангие
[13:21:49] <Typhon> гг, можно и воспроизводимость также проверить
[13:21:58] <Typhon> zert, у нас вот вот парвел будет :P
[13:22:00] <zert> на нём куча веб-серверов
[13:22:02] <zert> :))
[13:22:41] <ermine> zert: zinid говорит, что там еще те проблемы с памятью
[13:25:00] <Kakadu> komar: а тот патч про 100 строк как раз про проблемы типа make -j4 ?
[13:25:14] <komar> А я не в курсе.
[13:25:18] <komar> Возможно.
[13:25:29] <komar> Или да, если я о том же патче думаю.
[13:25:39] <komar> Там как раз линус чего-то в сто потоков компилял.
[13:28:29] <Kakadu> его вроде в 38е ядро должны были включить
[13:28:40] <Kakadu> только оно на моем дебиане безбожно глючит
[13:28:45] <Kakadu> сволочь
[13:32:47] <gds> кстати, разбор http итератами поверх манатки с парвеловским вводом-выводом уже есть, то есть, достаточно только передвинуть код из одного исподника в другой и сделать обвязку, удобную конкретно для message passing.  Есть только пара сложностей.  Конкретнее, дело в разборе тела запроса: где и как его делать.  Учитывая, что оно может быть очень большим.  Ну и с выводом ответа тоже не думал пока -- ответ тоже может быть большим, и всё это добро через message passing передавать неохота.
Но проблемы несущественные.
[13:40:15] <ermine> gds: а твое поделие точно не утекает?
[13:41:11] <gds> там пока нечему особо течь.
[13:41:48] <Typhon> может камлунити на нём пустить? :-)
[13:41:49] <ermine> так и оксигень не течет, если не разводить конкурентные запросы
[13:43:00] <gds> ermine: siege -b -c100 запускал, вроде нормально.  Однако, как дойду до этого дела, ещё раз проверю.
[13:43:49] <ermine> gds: а камло двенадцатое?
[13:45:14] <Typhon> лвт иначе не соберёшь же
[13:45:50] <ermine> это если собирать
[13:46:05] <ermine> а если поставить бинарник и юзать с оксигенем на 3.11?
[13:47:02] <ermine> хотя хз, совместимо ли вообще
[13:47:38] <gds> Typhon: а вариант, но не сразу.  Конкретнее, нужно (и мне для своих целей, и вообще культурно) сделать штуку, позволяющую что-то типа "горячей подмены кода" -- в моём случае просто перезагрузкой процесса.  То есть, как минимум, надо сделать ipc, named processes, ну и что-то типа отправки сообщений в удалённый процесс так, чтобы в случае отсутствия данного именованного процесса оно ждало, пока процесс не появится.
[13:48:38] <gds> в общем, проблемы ещё есть.  А учитывая, что я не могу заниматься парвелом каждый день и час, это ещё долго будет делаться.
[13:48:56] <gds> ermine: 3.11 у меня там.  lwt соответствующее.
[13:56:34] <ermine> в моем окружении уже нигде нет 3.11, и можно считать, что он более не существует
[13:59:05] <gds> поздравляю.
[14:02:26] <gds> кстати, только сейчас дошли руки до /opt/kamlo под gentoo.  выводы: системное камло, OCAMLFIND_CONF=/opt/kamlo/etc/findlib.conf, прописанное в .bashrc, и права юзеру на /opt/kamlo с chmod ug+s предварительно -- и всё ок.
[14:04:04] <gds> а отдельный пользователь -- как раз для удобства выставления OCAMLFIND_CONF.
[14:04:15] <gds> а, ну и /usr/lib64/ocaml/ld.conf поправил.
[14:05:13] <Typhon> почему там правил, а не LD_LIBRARY_PATH ?
[14:05:50] <gds> а, может и не всё ок, стало быть..
[14:06:50] <gds> LD_LIBRARY_PATH надо ведь каждому процессу выставлять?
В общем, что-то недопонимаю.  Сейчас попробую бинарники позапускать, байткод/нативкод.
[14:07:18] <Typhon> ну либо у юзера в окружении, под которым будет запускать процесс.
[14:07:34] <gds> мну груфняво :((99
[14:08:16] <Kakadu> а если я пишу отчет, то я должен выюделять слова Javascript , OCaml и т.д. курсивом?
[14:12:52] <Typhon> Kakadu, наверное, есть требования какие-то, раз ты заморачиваешься по такой мелочи :-) если бы я принимал отчёты, то единственно требовал шрифт без засечек ^_^
[14:13:12] <Typhon> gds, а почему грустняво? или не работает чота?
[14:13:45] <gds> потому что юзеров много будет.  сейчас-то можно в профиль куда-нибудь прописать, а так -- хрен знает.  Буду пробовать, доложу.
[14:14:10] <Kakadu> Typhon: просто я прошлую курсовую делал у очень занудного препода, который указывал на многие места о которых я не задумывался. В итоге я сдал курсовую осенью и основным результатом было то, что я больше никогда не буду заниматься мат логикой
[14:19:10] komar вышел(а) из комнаты
[14:20:07] <gds> в gentoo нет json-{wheel,static}.  пичалька.  есть идеи?
[14:20:37] <gds> т.е. есть ли идеи, что проще, ставить вручную или забабахать "порт" (или как там оно в gentoo называется)?
[14:20:47] <gds> полезнее второе, понимаю.
[14:22:54] <gds> а, не порт, а ебилд, конечно.
[14:23:44] <Typhon> проще ставить вручную, полезнее -- забабахть вот это самое :-) я бы посмотрел -- если компов, куда ставить, больше хотя бы 2 -- плюсы от ебилда растут.
[14:24:09] <gds> надо "разворачиваемость".
кстати, а оазис нет ли смысла заюзать?
[14:25:29] <Typhon> а json-* не с оазисом уже идут? оазис автоматом зависимости ставить не умеет, можно глянуть odb.ml , там что-то такое было и на основе сделать скрипт установки с зависимостями, например.
[14:25:36] <gds> т.е. свои либы я закатал в репку "ребилдол", переустанавливаю их на каждый чих, а вот что-то системное, видимо, надо по-другому.  или, может, тоже туда его...  но если логика там будет серьёзнее, чем "всё удаляем, всё компиляем, всё ставим", то я буду, получается, изобретать ещё один пакетный менеджер.
[14:26:16] <gds> json-* старые, не думаю, что там что-то делали про oasis.
[15:16:44] <gds> очень миленько json-static проверяет версию camlp4: по коду завершения "which camlp4orf".  А camlp4orf находится в пакете camlp4-extra, который в целом не нужен, вроде бы, для компиляции.
[15:20:59] ermine вышел(а) из комнаты
[16:39:46] <Kakadu> термин "продолжения" в России можно считать устоявшимся, или как-то по-другому писать?
[16:41:10] <zert> вполне устоявшиеся
[16:41:20] <zert> продолжения, замыкания, клозы
[16:42:13] <Kakadu> а CPS как переводить?
[16:42:27] <zert> CPS и оставить
[16:42:40] <zert> или тебе его развернуть надо?
[16:42:53] <Kakadu> думаю, что не обязательно разворачивать
[16:43:42] <zert> "в стиле передачи продолжений"
[16:43:47] <zert> коряво
[16:43:53] <Typhon> Kakadu, http://spbhug.folding-maps.org/wiki/%D0%90%D0%BD%D0%B3%D0%BB%D0%BE-%D1%80%D1%83%D1%81%D1%81%D0%BA%D0%B8%D0%B9_%D1%81%D0%BB%D0%BE%D0%B2%D0%B0%D1%80%D1%8C_%D1%82%D0%B5%D1%80%D0%BC%D0%B8%D0%BD%D0%BE%D0%B2_%D0%A4%D0%9F
[16:44:14] <gds> продолжения -- continuations, замыкания -- closures, клозы -- clauses разве что?
[16:44:31] <zert> да
[16:44:32] <Typhon> раз уж про переводы, есть идея, как перевести capabilities, в контексте "capability-based security", "POSIX-capabilities" ?
[16:44:35] <Kakadu> или клаузы
[16:44:52] <zert> тут занимался вычиткой перевода книги по ерлангию, так дикие фейспалмы испытывал
[16:44:53] <Kakadu> вообще что вы понимаете под клозами?
[16:45:07] <zert> всё же по-русски это писать адско адово
[16:45:12] <Typhon> почему не "условие"/"вариант"?
[16:45:42] <zert> http://ru.wikipedia.org/wiki/%D0%AD%D0%BB%D0%B5%D0%BC%D0%B5%D0%BD%D1%82%D0%B0%D1%80%D0%BD%D0%B0%D1%8F_%D0%B4%D0%B8%D0%B7%D1%8A%D1%8E%D0%BD%D0%BA%D1%86%D0%B8%D1%8F
[16:46:28] <Kakadu> zert: в моей книжке по матлогике было написано немного подругому, но тоже из  этой области
[16:46:29] <Typhon> """ термин клоз""" -- бгг. википедия не ок источник, к.м.к.
[16:46:39] <zert> да, не ок
[16:46:49] <zert> но как-то приятнее называть "клоз"
[16:47:13] <zert> "клауза" — сильно на кляузу похоже
[16:47:44] <Kakadu> Клаузой называется слово вида
B1 , . . . , Bn ← A1 , . . . , Am ,
где B1 , . . . , Bn , A1 , . . . , Am — атомарные формулы, ни одна из которых
не является истинностной константой, m, n ∈ N.
[16:47:51] <Kakadu> ух ты
[16:47:58] <Kakadu> классно из PDF скопипастилось
[16:51:56] ftrvxmtrx вошёл(а) в комнату
[17:14:50] komar вошёл(а) в комнату
[17:51:54] Digimmortal вошёл(а) в комнату
[18:04:10] ftrvxmtrx вышел(а) из комнаты
[18:04:11] ftrvxmtrx вошёл(а) в комнату
[18:18:18] komar вышел(а) из комнаты: Replaced by new connection
[18:18:19] komar вошёл(а) в комнату
[18:28:01] iNode вошёл(а) в комнату
[19:24:10] gds вышел(а) из комнаты
[19:24:35] gds вошёл(а) в комнату
[19:25:55] Digimmortal вышел(а) из комнаты
[19:29:51] Diggimortal вошёл(а) в комнату
[19:30:39] ermine вошёл(а) в комнату
[19:33:57] <ermine> еще не пофиксили?
[19:34:14] <zert> стрижка только началась
[19:35:18] <ermine> а салют у вас уже был?
[19:37:44] <zert> да
[19:37:48] <zert> ходили смотреть
[19:37:55] <zert> сын больше на светофор пялился
[20:01:50] <gds> завёл оверблд под убунтой, но с камлом 3.12.  Вот такое решение у меня для gentoo!
[20:05:28] <Typhon> с оазисом или без него пока?
[20:07:26] vladimir.chujkov вышел(а) из комнаты
[20:10:17] <gds> пока -- так, чтобы хоть что-то работало.
а где конкретно там нужен оазис так, чтобы он что-то сильно улучшил?  Вопрос задаю потому, что, в принципе, его там везде можно присунуть, но насчёт соотношения профит/труд -- не уверен, что стоит сразу и сходу.
[20:45:04] Diggimortal вышел(а) из комнаты
[22:35:54] ftrvxmtrx вышел(а) из комнаты
[22:37:48] ftrvxmtrx вошёл(а) в комнату
[23:39:57] komar вышел(а) из комнаты
[23:51:10] ftrvxmtrx вышел(а) из комнаты