Objective Caml - Среда, 9 июня 2010

Objective Caml

ocaml@conference.jabber.ru

Среда, 9 июня 2010< ^ >

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

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

GMT+4
[00:26:22] gds вышел(а) из комнаты
[00:59:32] iNode вышел(а) из комнаты
[01:04:05] Kakadu вышел(а) из комнаты
[06:37:18] Typhon вышел(а) из комнаты
[08:49:42] gds вошёл(а) в комнату
[09:02:02] iNode вошёл(а) в комнату
[10:00:49] serp256 вошёл(а) в комнату
[10:05:12] ermine вошёл(а) в комнату
[10:31:13] Typhon вошёл(а) в комнату
[10:35:12] Kakadu вошёл(а) в комнату
[10:51:54] ʇsʎɯ вошёл(а) в комнату
[11:45:35] valexey вошёл(а) в комнату
[12:35:50] wеstsibe вошёл(а) в комнату
[12:56:44] wеstsibe вышел(а) из комнаты: Replaced by new connection
[13:15:16] Kakadu вышел(а) из комнаты
[13:53:34] f[x] вошёл(а) в комнату
[13:55:49] Kakadu вошёл(а) в комнату
[14:54:10] Kakadu вышел(а) из комнаты
[14:54:36] Kakadu вошёл(а) в комнату
[15:53:10] serp256 вышел(а) из комнаты
[15:58:21] yakov вошёл(а) в комнату
[15:58:25] <yakov> hoy
[15:59:07] <yakov> чем мне из камла ELF раздербанить так чтоб попроще? ;-)
[16:03:31] <f[x]> bitstring
[16:03:50] <f[x]> или проще биндинг к libbfd или парсинг вывода elfutils/objdump
[16:04:23] <valexey> haskell + parsec!
[16:04:27] valexey спрятался.
[16:04:29] <gds> в bitstring даже пример есть, как первые пару полей достать.
но смотря что делать надо с ним, может через внешний утиль будет проще/гибче.
[16:19:52] serp256 вошёл(а) в комнату
[16:21:50] <serp256> server&
[16:29:53] <yakov> кстати, да, мне просто сдампить секции надо..
[16:35:34] <gds> только LANG=C выставить не забудь, так как недавно в caml-list был описан баг, связанный с тем, что в разных локалях формат вывода objdump разный.
[16:35:49] <gds> "
I had LANG=fr_FR.UTF-8 in my environment. This led objdump to generate a dump file with:
Table [Ordinal/Nom de pointeurs]
instead of
[Ordinal/Name Pointer] Table
"
[16:42:16] <yakov> хе-хе
[16:42:17] <yakov> спс!
[16:42:36] <yakov> да, когда make на N900 по-русски заговорил я тоже удивился очень :-)
[16:51:44] <f[x]> кстати, все видели занимательный PR#4824 ?
[16:52:22] <ʇsʎɯ> дай линк
[16:52:52] <f[x]> не дам
[16:52:57] <ʇsʎɯ> дай
[16:53:32] <f[x]> btw в svn уже отдельный бранч под 3.12
[16:54:29] <ʇsʎɯ> не новость
[16:54:44] <ʇsʎɯ> _ <> int?
[16:54:48] <ʇsʎɯ> этот баг?
[16:54:49] <komar> Окамл уже на svn?
[16:55:00] <ʇsʎɯ> всегда был, не?
[16:55:55] <komar> Инфа 100%?
[16:56:32] <ʇsʎɯ> вопрос
[16:56:37] <komar> > Warning! The Objective Caml development sources no longer reside in this CVS repository and now have their own Subversion (SVN) repository.
[16:56:46] <ʇsʎɯ> f[x]: Note that the closing of this unsoundness is going to break many programs, including lablgtk.
[16:56:49] <ʇsʎɯ> ололо
[16:57:15] <gds> о да, серьёзный баг.
[16:57:17] <ʇsʎɯ> komar: на моей помяти всегда был в svn
[16:57:44] <ʇsʎɯ> я всегда считал, что все алгоритмы внутри окамла должны быть проверены на coq
[16:57:52] <ʇsʎɯ> хотя... как теперь верить coq?..
[16:58:13] <ʇsʎɯ> мир рушится на моих глазах ;)
[16:58:14] <gds> алгоритмы внутри окамла -- это много.
[16:58:22] <ʇsʎɯ> ну дык да
[16:58:51] <gds> есть желание заняться?
[16:58:52] <ʇsʎɯ> кстати, а Coq же LablGTK+ юзает, да?
[16:59:44] <ʇsʎɯ> ну я давно хотел поиграться с Coq, если разберусь что к чему, то почему бы и нет? Пару доказательсв я, пару - кто-то другой и вуаля
[16:59:51] <ʇsʎɯ> а главное - не надо тестирование ))
[17:00:17] <valexey> надо. оно не тьюринг-полное.
[17:00:26] <valexey> точнее, то что доказывается, то не тьюринг полное.
[17:00:39] <gds> на тьюринг-полноту пофиг тут.
[17:01:00] <gds> только надо будет тщательно смотреть, что именно доказываем, и всё тестирование будет заключаться в проверке goal'ов. Сомневаюсь, что будет сильно меньше работы.
[17:01:38] <gds> "всё тестирование будет заключаться в проверке goal'ов" -- в проверке того, что именно хотим доказать, имею ввиду.
[17:01:39] <valexey> не пофиг. на не тьюринг полном языке далеко не каждый алгоритм реализуется :-)
[17:02:05] <gds> те, что реализованы в компиляторе, "хорошие".
[17:04:17] iNode вышел(а) из комнаты
[17:12:09] Kakadu вышел(а) из комнаты
[17:27:39] <ʇsʎɯ> прикольно ещё написать тулзень, которая проверяет совпадет ли алгоритм с доказательством
[17:28:10] <gds> проще "экстрагировать" алгоритм из доказательства. более того, как мне кажется, уже есть такое.
[17:28:26] <gds> (то есть, конечно, program extract есть, но есть и ещё какое-то новое подобное, гламурное)
[17:28:29] <ʇsʎɯ> и вот вам PDD (Provde-Driven Developement)
[17:28:45] <ʇsʎɯ> Prove*
[17:29:12] <gds> да это ведь полная противоположность Онально-Ориентированного Программирования!
[17:29:15] <ʇsʎɯ> можно будет всю жизнь нихрена не делать, а только кататься и читать пространные лекции на примере binary search и qsort
[17:29:40] <gds> а хотя не полная противоположность, эти ребята тоже подобным занимаются.
[17:30:11] <ʇsʎɯ> и будут говорить "world renoved specialist in PDD"
[17:30:15] <ʇsʎɯ> и прочее
[17:30:40] gds пошол учить coq!111111
[17:30:43] gds вышел(а) из комнаты
[17:31:16] <valexey> дас, это вам не камло ООПшное.
[17:33:10] <f[x]> ermine: а что за проблема с camlimages? Rgb24.make, Rgb24.set, Images.save
[17:41:45] <ermine> f[x]: а откуда б это знать? :)
[17:43:26] <f[x]> ocamldoc to the rescue
[17:45:13] <komar> Зачем это всё, когда можно почитать исходники?
[17:45:49] <ʇsʎɯ> или сделать strings на .so
[17:47:27] <ermine> хнык
[17:47:30] <komar> Там нету комментариев.
[17:47:49] <ermine> щас капчу в нем рисовать буду
[17:48:00] <komar> ermine: поделишься потом?
[17:48:43] <ermine> ага, все исходники будут когда-нибудь открыты
[17:48:55] <ermine> на гитхубе
[17:49:23] <komar> А то у меня по совету кореша форма с просьбой ввести слово из трёх букв стоит.
[17:50:18] <ermine> ну можно было задать сложное уравнение и попросить вычислить
[17:50:40] <komar> Ага, я потом сам не зарегистрируюсь.
[17:50:42] <ʇsʎɯ> или взять двойной интеграл
[17:50:52] <ʇsʎɯ> по поверности
[17:51:31] <ermine> но математику ботом можно распарсить и вычислить
[17:51:48] <ermine> другой вариант - попросить правильно расставить запятые в сложном предложении
[17:52:35] <komar> Не годится.
[17:52:49] <Typhon> или выбрать, как праильно "ться/тся"
[17:52:53] <ermine> чё, не знаешь куда ставить запятые?
[17:53:29] <komar> ermine: посетители не знают.
[17:53:38] <komar> Я ж не от себя защищаться буду.
[17:53:58] <ermine> ну, безграмотные каменты как бы не нужны
[17:54:06] <komar> Мне нужны.
[17:54:09] rren вышел(а) из комнаты
[17:54:39] <komar> Можно ещё демки ЕГЭ и вступительных в физтех из PDF'а в жопег перегнать.
[17:54:58] <komar> «Первыйнах» приобретёт новый смысл.
[17:55:25] <komar> Хотя не, это ж вручную проверять придётся.
[17:56:09] <ʇsʎɯ> ermine: чтобы написать бота, который распарсит двойной интеграл и посчитает его, надо самому всё это очень неплохо знать
[17:56:24] <ʇsʎɯ> ботописатели не те люди, чтобы такое знать
[17:57:17] f[x] вышел(а) из комнаты
[17:58:22] <ermine> ʇsʎɯ: я знаю одного такого, способного на это, правда я вживую видела только его бота, который за него выбирал нужные опции и нажимал определенные клавиши в какой-то онлайновой игре, распознавая экран
[17:58:46] <ermine> использовались с++ и lua
[17:58:54] <ermine> и статьи из википедии
[18:00:19] <ʇsʎɯ> у WoW есть API
[18:00:26] <ʇsʎɯ> уверена, что он экран распознавал? ))
[18:01:14] f[x] вошёл(а) в комнату
[18:01:55] <ermine> ʇsʎɯ: ну да, видела вживую, это была игра с navyfield.ru
[18:05:38] <ʇsʎɯ> хм... и он в состоянии написать программу взятия двойного интеграла по поверхности?
[18:05:46] <ʇsʎɯ> в общем виде т.е.
[18:05:50] <ʇsʎɯ> символьно
[18:06:11] <valexey> даже если он неберущийся :-)
[18:06:12] <ermine> он физтех
[18:06:13] <ʇsʎɯ> Macsyma 2?
[18:06:26] <ʇsʎɯ> названия унивров - не авторитетно
[18:06:39] <ʇsʎɯ> ну положим так и есть, но э
[18:06:43] <ʇsʎɯ> это один человек
[18:06:52] <ʇsʎɯ> и я не уверен, что он будет писать этого бота
[18:07:02] <yakov> valexey: а в чем там не тюринг полнота-то в коке?!
[18:07:05] <ermine> не будет
[18:07:48] <valexey> yakov: если бы можно было формально доказать корректность произвольного алгоритма, то была бы решена задача о останове.
[18:08:22] <yakov> а-а, ты так. в общих словах.. ну, понятно.
[18:08:56] <yakov> кстати, кто там хотел кока, ай-да ко мне, выдам вам пару десятков MB goals ;-) :-D
[18:08:59] <yakov> PDD :-D
[18:09:24] <valexey> ну, наврятли авторы coq походу дела решили задачу о останове, но забыли об этом сообщить общественности :-)
[18:09:42] <ʇsʎɯ> оБ останове
[18:09:47] <yakov> точно, не могло ведь такого произойти! кто-то уже бы нашел решение задачи остановки в исходниках..
[18:09:54] <yakov> ну, кто-то бы точно нашел!?
[18:10:05] <yakov> наврятли-наврятли
[18:10:08] <valexey> но coq вроде позволяет забивать на доказательство в некоторых местах и т.о. писать тьюринг-полное нечто.
[18:10:20] <yakov> :-)
[18:10:50] <yakov> ага, там ведь можно ref делать!
[18:11:01] <valexey> о боже!
[18:11:19] valexey схватился за сердце
[18:11:22] <yakov> ну а как ты хотел тогда хотя бы стейтфул делать?!
[18:11:47] <yakov> монад ведь нет в окамл, тем более в коке!
[18:11:58] <valexey> монады, они везде!
[18:12:18] <f[x]> доказать корректность произвольного алгоритма - оксюморон
[18:13:33] <yakov> valexey: то что я выше написал это полная ху.ня, надеюсь ты понял, что я стебусь ;-)
[18:14:02] <valexey> надеюсь ты понял что я тоже :-)
[18:14:30] <yakov> не, я не понимаю шуток.
[18:15:02] <valexey> вот до чего доводит возня с французскими языками!
[18:16:31] <yakov> завязывай.
[18:17:18] valexey завязал узлом.
[18:35:42] gds вошёл(а) в комнату
[18:37:03] yakov вышел(а) из комнаты
[18:50:42] Kakadu вошёл(а) в комнату
[19:01:16] Kakadu вышел(а) из комнаты
[19:27:29] ʇsʎɯ вышел(а) из комнаты
[19:50:20] iNode вошёл(а) в комнату
[19:51:54] serp256 вышел(а) из комнаты
[19:58:59] f[x] вышел(а) из комнаты
[20:00:19] f[x] вошёл(а) в комнату
[20:30:15] <ermine> f[x]: а ты freetype в camlimages пробовал заюзать?
[20:35:39] ermine пытается вникнуть в пример ttifmg
[21:07:12] Typhon вышел(а) из комнаты
[21:36:47] <ermine> научилась писать текст в картинку
[21:36:53] <ermine> теперь бы испортить картинку
[21:38:16] <komar> Кстати, а imagemagick к окамлу прикручен?
[21:39:01] <komar> http://www.linux-nantes.org/~fmonnier/OCaml/ImageMagick/IM-doc/Magick.php — да, очевидно.
[21:39:01] <ermine> хз
[21:39:32] <ermine> сам imagemagic падучий
[21:40:01] <ermine> он у нас используется для генерации капчи на jabber.ru и каждый день создает хотя бы три корки
[21:40:36] <komar> Плохо.
[21:47:58] digital_curse вышел(а) из комнаты: Replaced by new connection
[21:48:01] digital_curse вошёл(а) в комнату
[22:05:54] <ermine> http://churchturing.org/captcha-dist/
[22:08:10] <komar> Ух ты.
[22:09:53] <komar> Малаца хорошо зделали.
[22:12:10] <ermine> мне б наоборот
[22:12:20] <komar> Мне б тоже, но всё равно малаца.
[22:13:39] <komar> Предлагаю зайти на любой из указанных сайтов, стыбзить свежесгенерированную капчу, распознать её и выдать юзеру.
[22:14:21] <ermine> оно уже два года не шевелится
[22:14:53] <komar> Для окамла это почти активная разработка.
[22:15:24] <ermine> я вот скорее ищу чем испортить картинку
[22:15:35] <ermine> я в графике полный ноль
[22:17:24] Typhon вошёл(а) в комнату
[22:21:53] <Typhon> ermine, ну линий, точек поверх накидай, если либа позволяет
[22:24:38] <ermine> ну насыпать наверное можно, только надо еще смазать
[22:26:18] <ermine> да еще таки тяжко без документации
[22:26:38] <Typhon> вместо смазать, можно покрутить каждую букву на чуть-чуть в разные стороны
[22:27:15] <ermine> это легко распознается
[22:27:32] <ermine> первую капчу на jabber.ru распознал один хмырь из haskell@
[22:28:03] <ermine> ладно, со временем наваяю чонить
[22:28:10] <ermine> главное лёд тронулся
[22:32:39] ygrek вошёл(а) в комнату
[22:38:45] <ermine> http://yo.jabber.ru/~ermine/out.png
[22:38:51] <ermine> рульная капча
[22:39:32] <ygrek> сегодня знаменательный день. на торрент-раздаче встретил mldonkey клиента
[22:40:11] <Typhon> :) когда там dht появится, я перелезу
[22:40:28] <Typhon> ( а если не появится, надо попробовать самому сделать )
[22:40:29] <ygrek> Typhon: ловлю на слове
[22:40:39] <Typhon> там ща делаете? :)
[22:40:51] ygrek в процессе
[22:41:28] <Typhon> клево. для меня, пожалуй, единственное требование, а то я у трекеров инфу не тягая -- удаляю урлы из файла :)
[22:47:47] ermine не юзает торрент и не парится
[23:14:28] Kakadu вошёл(а) в комнату
[23:56:03] vshender вошёл(а) в комнату