Objective Caml - Вторник, 21 сентября 2010

Objective Caml

ocaml@conference.jabber.ru

Вторник, 21 сентября 2010< ^ >

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

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

GMT+4
[00:05:57] komar вошёл(а) в комнату
[00:08:58] serp256 вышел(а) из комнаты
[00:10:07] serp256 вошёл(а) в комнату
[00:10:39] Kakadu вышел(а) из комнаты
[00:27:36] serp256 вышел(а) из комнаты
[00:28:23] serp256 вошёл(а) в комнату
[00:34:01] serp256 вышел(а) из комнаты
[00:35:03] serp256 вошёл(а) в комнату
[00:43:18] serp256 вышел(а) из комнаты
[00:44:38] serp256 вошёл(а) в комнату
[00:44:49] ermine вышел(а) из комнаты
[00:55:23] serp256 вышел(а) из комнаты
[00:56:38] serp256 вошёл(а) в комнату
[00:57:17] arhibot вышел(а) из комнаты
[01:01:27] serp256 вышел(а) из комнаты
[01:01:29] serp256 вошёл(а) в комнату
[01:14:06] serp256 вышел(а) из комнаты
[01:15:14] serp256 вошёл(а) в комнату
[02:07:14] olegfink вышел(а) из комнаты
[02:15:27] olegfink вошёл(а) в комнату
[02:39:08] Typhon вышел(а) из комнаты
[03:10:57] komar вышел(а) из комнаты
[04:54:11] digital_curse вышел(а) из комнаты
[08:40:32] serp256 вышел(а) из комнаты
[08:40:39] serp256 вошёл(а) в комнату
[08:59:47] Mon вышел(а) из комнаты
[09:03:39] iNode вошёл(а) в комнату
[09:04:26] gds вошёл(а) в комнату
[09:06:38] serp256 вышел(а) из комнаты
[09:06:41] serp256 вошёл(а) в комнату
[09:09:22] serp256 вышел(а) из комнаты
[10:30:13] serp256 вошёл(а) в комнату
[10:36:39] Mon вошёл(а) в комнату
[11:19:32] ermine вошёл(а) в комнату
[11:53:51] Typhon вошёл(а) в комнату
[11:59:32] arhibot вошёл(а) в комнату
[12:13:31] zert вошёл(а) в комнату
[12:29:10] Kakadu вошёл(а) в комнату
[13:32:16] arhibot вышел(а) из комнаты
[14:21:51] ʇsʎɯ вошёл(а) в комнату
[15:44:43] olegfink вышел(а) из комнаты
[15:44:53] olegfink вошёл(а) в комнату
[15:47:30] <gds> почитал такое: http://scholar.google.com/scholar?cluster=8164878778013876774 , понравилось. Но где-то на 1/3 coq'овского кода сдох и чтение свернул.
[17:30:46] gds вышел(а) из комнаты
[17:44:42] komar вошёл(а) в комнату
[17:50:48] arhibot вошёл(а) в комнату
[17:58:28] arhibot вышел(а) из комнаты
[18:18:51] iNode вышел(а) из комнаты
[19:07:08] gds вошёл(а) в комнату
[20:06:50] Kakadu вышел(а) из комнаты
[20:21:52] serp256 вышел(а) из комнаты
[20:25:22] f[x] вышел(а) из комнаты
[20:29:09] gds вышел(а) из комнаты: Replaced by new connection
[20:29:10] gds вошёл(а) в комнату
[20:32:09] Typhon вышел(а) из комнаты
[20:34:45] f[x] вошёл(а) в комнату
[20:41:51] Kakadu вошёл(а) в комнату
[21:13:47] serp256 вошёл(а) в комнату
[21:22:25] serp256 вышел(а) из комнаты
[21:23:15] serp256 вошёл(а) в комнату
[21:30:01] ʇsʎɯ вышел(а) из комнаты
[21:30:55] serp256 вышел(а) из комнаты
[21:31:35] serp256 вошёл(а) в комнату
[21:41:45] serp256 вышел(а) из комнаты
[21:41:58] Typhon вошёл(а) в комнату
[21:46:57] arhibot вошёл(а) в комнату
[21:54:25] serp256 вошёл(а) в комнату
[22:09:31] serp256 вышел(а) из комнаты
[22:10:44] serp256 вошёл(а) в комнату
[22:24:20] serp256 вышел(а) из комнаты
[22:24:22] serp256 вошёл(а) в комнату
[22:27:04] komar вышел(а) из комнаты
[22:48:53] ermine вышел(а) из комнаты
[23:09:32] <Typhon> ежели не видели ещё: http://cstheory.stackexchange.com/questions/1539/whats-new-in-purely-functional-data-structures-since-okasaki -- огромное количество ссылок на пепейры разные
[23:12:23] <gds> чотко.
[23:17:22] serp256 вышел(а) из комнаты
[23:18:29] serp256 вошёл(а) в комнату
[23:20:23] <Typhon> олсо, ps2pdf.com онлайново делает понятно что. это бывает удобно (например мне сейчас :-) )
[23:21:53] <olegfink> ужас, у аткинса со спольски нет денег на дизайнера, чтобы сделал им еще один css-сет кроме этого ужасного, который на всех сайтах stackexchange?
[23:22:27] serp256 вышел(а) из комнаты
[23:23:03] serp256 вошёл(а) в комнату
[23:23:08] <Typhon> на cstheory вроде обсуждалось про дизайн где-то
[23:25:49] <olegfink> Typhon: кстати, про llvm и qt -- а разве кути так еще формально свой апи не описали?
[23:26:09] <olegfink> формально -- в смысле не на c++
[23:26:09] <Typhon> не ко мне :) Kakadu этим занимается
[23:26:14] <olegfink> ой, попутал
[23:26:59] <Kakadu> olegfink: что значит кути не описали формально свой апи?
[23:27:32] <olegfink> Kakadu: ну, если я правильно понял, ты полез в llvm, чтоб он тебе распарсил кутишные хедера?
[23:27:39] <Kakadu> да
[23:27:44] <olegfink> предыдущий оратор прикручивал для этого gcc-xml, помнится
[23:27:56] <Kakadu> что-то про это было
[23:28:19] <olegfink> ну так вопрос -- не делаешь ли ты лишнюю работу
[23:29:01] <Kakadu> поясните
[23:29:02] <olegfink> у меня есть некоторое подозрение, что qt-creator идет в комплекте с разобранным апи
[23:29:02] serp256 вышел(а) из комнаты
[23:29:49] <olegfink> хотя, может, это просто иллюзия, и он разбирает на ходу, но что-то не совсем верится
[23:30:02] serp256 вошёл(а) в комнату
[23:30:13] <Kakadu> мне такая мысля не приходила в голову
[23:30:53] <olegfink> в любом случае, если он способен разобрать хедеры кути, его код явно предпочтительнее llvm
[23:31:06] <olegfink> по объему, в основном
[23:33:25] <olegfink> нет, говорят, что парсит
[23:36:26] <olegfink> а как qthaskell устроен? примеры выглядят как-то очень странно
[23:39:31] serp256 вышел(а) из комнаты
[23:42:08] gds вышел(а) из комнаты
[23:42:27] serp256 вошёл(а) в комнату
[23:46:33] <olegfink> Typhon: кстати, есть еще vuzit.com/share -- он умеет очень много чего в pdf и показывать на png/html+js (в частности, ps идеально, а word/excel -- очень правдоподобно)
[23:52:35] serp256 вышел(а) из комнаты
[23:53:19] <Typhon> круто, не понимаю, почему им не пользуются, вместо дурацкого slideshare? спасибо (а ps2pdf удобен, когда нужно просто сконвертить ps в pdf)
[23:53:26] serp256 вошёл(а) в комнату