Objective Caml - Пятница, 13 июля 2012

Objective Caml

ocaml@conference.jabber.ru

Пятница, 13 июля 2012< ^ >

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

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

GMT+4
[00:15:32] bobry вошёл(а) в комнату
[00:23:22] Sun][ вышел(а) из комнаты
[00:30:56] Sun][ вошёл(а) в комнату
[01:00:06] ftrvxmtrx вышел(а) из комнаты
[01:11:55] bobry вышел(а) из комнаты
[01:45:37] ftrvxmtrx вошёл(а) в комнату
[01:55:20] ermine вышел(а) из комнаты
[02:21:33] Sun][ вышел(а) из комнаты
[04:16:10] f[x] вышел(а) из комнаты
[05:00:55] ftrvxmtrx вышел(а) из комнаты
[05:02:27] Typhon вошёл(а) в комнату
[06:19:55] komar вышел(а) из комнаты: Replaced by new connection
[06:19:55] komar вошёл(а) в комнату
[09:12:33] ftrvxmtrx вошёл(а) в комнату
[09:31:31] bobry вошёл(а) в комнату
[09:50:52] bobry вышел(а) из комнаты
[10:20:11] ermine вошёл(а) в комнату
[10:27:08] ftrvxmtrx вышел(а) из комнаты
[11:11:01] ftrvxmtrx вошёл(а) в комнату
[11:19:49] Sun][ вошёл(а) в комнату
[11:59:59] klapaucius вышел(а) из комнаты
[12:06:42] Typhon вышел(а) из комнаты
[12:12:01] Typhon вошёл(а) в комнату
[12:12:52] Typhon вышел(а) из комнаты
[13:01:35] dzhon вошёл(а) в комнату
[13:12:42] Typhon вошёл(а) в комнату
[13:28:43] bobry вошёл(а) в комнату
[13:53:24] <bobry> какая вчера шикарная лекция по агде была на fprog
[13:53:35] <bobry> facepalm за facepalm'ом
[13:53:59] <f[x]> хде?
[13:54:02] <gds> что такое fprog в данном случае?
[13:55:36] <bobry> http://lanyrd.com/2012/fprog-07/
[13:55:42] <bobry> то что осталось от spbghug'a
[13:55:55] <bobry> рассказывал вот этот чел Jan Malakhovski <http://lanyrd.com/profile/oxij/>
[13:58:42] <gds> теперь жги подробностями.
[14:07:00] komar вышел(а) из комнаты
[14:07:00] komar вошёл(а) в комнату
[14:11:11] Typhon вышел(а) из комнаты
[14:12:02] Typhon вошёл(а) в комнату
[14:13:27] Typhon вышел(а) из комнаты
[14:16:21] Typhon вошёл(а) в комнату
[14:19:09] <bobry> gds: да ад и копоть, какие подробности — чел за 30 минут вывалил на невтыкающий народ тонну агды
[14:19:20] <bobry> которая как по мне выглядит как эротические фантазии математика под лсд
[14:19:37] <bobry> получилось довольно бестолково
[14:43:36] <gds> да, агда такая. А вообще, там, где хитрые типы, нужно не ручное построение доказательств, а возможность хорошей автоматизации, как в coq.
[14:49:12] Kakadu вошёл(а) в комнату
[14:59:11] <ermine> до ханы остался один час
[14:59:28] <gds> чочо
[14:59:40] <ermine> icfpc
[14:59:46] Typhon вышел(а) из комнаты: Replaced by new connection
[15:00:06] Typhon вошёл(а) в комнату
[15:00:11] <Kakadu> угу
[15:00:22] <Kakadu> бобрый хотел поучавствовать с кем-то
[15:00:37] Typhon вышел(а) из комнаты: Replaced by new connection
[15:00:57] Typhon вошёл(а) в комнату
[15:00:59] <ermine> Kakadu: а ты?
[15:01:29] <Kakadu> Ну задание я открою в любом случае
[15:03:36] <Kakadu> а ты?
[15:03:39] <Kakadu> ermine: ^^
[15:06:24] <ermine> а я никогда не участвовала
[15:06:53] <ermine> мне хана сразу наступала
[15:07:08] f[x] опять провтыкал, браво
[15:07:25] klapaucius вошёл(а) в комнату
[15:15:58] <gds> а из меня спортсмен как из говна пуля, поэтому даже не хочу участвовать. а вот задание посмотреть можно было бы.
[15:17:31] <Kakadu> опять все камлисты сливаются
[15:18:50] <ermine> aleksey вроде собирается участвовать
[15:19:51] <Kakadu> кто это?
[15:21:10] <ermine> автор ejabberd
[15:21:24] <ermine> на icfpc подписывается командой jabber.ru
[15:22:22] <ermine> он там на камле решает
[15:23:08] <f[x]> организаторы забыли кастануть некромантию
[15:24:16] <ermine> в смысле?
[15:25:52] <klapaucius> Намек на то, что ocaml - мертв.
[15:28:04] dzhon вышел(а) из комнаты: Replaced by new connection
[15:28:04] dzhon вошёл(а) в комнату
[15:34:28] bobry вышел(а) из комнаты
[15:40:33] klapaucius вышел(а) из комнаты
[16:11:01] <Kakadu> они чего, хотят чтобы мы сокобан написали?
[16:11:42] <Typhon> нет, боулдер даш http://en.wikipedia.org/wiki/Boulder_Dash
[16:19:42] <gds> подкиньте ссылоту на задание, кому не влом.
[16:26:01] <Kakadu> https://icfpcontest2012.wordpress.com/task/ кратко
www-fp.cs.st-andrews.ac.uk/~icfppc/task.pdf подробно
[16:26:57] <Kakadu> они хотят чтобы мы запилили альфа-бета отсечение
[16:41:29] <Kakadu> блин, они в спеке даже не говорят что робот может сломаться
[16:46:20] ermine не скачала пдф
[17:00:55] <Kakadu> А не, написали, я зафейлил
[17:02:43] dzhon вышел(а) из комнаты: Replaced by new connection
[17:02:44] dzhon вошёл(а) в комнату
[17:12:57] <ermine> Kakadu: зайди в конфу icfpc@
[17:13:10] <ermine> там перетирают и так
[17:33:41] dzhon вышел(а) из комнаты
[19:03:06] Sun][ вышел(а) из комнаты
[19:15:40] Typhon вышел(а) из комнаты
[20:33:46] ftrvxmtrx вышел(а) из комнаты
[20:47:18] f[x] установил(а) тему: OCaml / ОКамл / Камль -- http://caml.inria.fr | Камло - http://camlunity.ru/ | Верблюды грязи не боятся! | release crap, enjoy NIH | репортьте баги официальным дилерам | ocaml мёртв и тормозит, move on | stdlib only? - ССЗБ | Fight FUD with fire | Мойте руки перед чатом | 4.00 уже вот-вот, см. kamlo_wiki/OCamlChanges
[20:50:07] Sun][ вошёл(а) в комнату
[21:51:29] klapaucius вошёл(а) в комнату
[22:03:40] bobry вошёл(а) в комнату
[22:53:01] bobry вышел(а) из комнаты
[22:53:51] bobry вошёл(а) в комнату
[23:07:01] klapaucius вышел(а) из комнаты
[23:26:01] ftrvxmtrx вошёл(а) в комнату
[23:34:28] <komar> bobry: spbhug торт.
[23:54:15] <bobry> komar: чо?
[23:54:44] <komar> Хорошее, говорю, мероприятие получилось.
[23:55:03] <bobry> ну соу-соу на самом деле
[23:55:21] <bobry> Андрей Бреслав кстати прикольный чувак, основатель Котлина
[23:55:39] <bobry> пояснил пацанам зависимые типы в перерыве
[23:56:01] <komar> «Накормили килограммом неведомой херни» — это гораздо, гораздо лучше, чем «пришли послушать доклад какого-то идиота, через пятнадцать минут вышли и пошли за пивом».
[23:56:10] <bobry> спорно
[23:56:13] <komar> А компьютерные конференции обычно по последнему сценарию и проходят.
[23:58:47] <Kakadu> bobry: это чел похожий на пушкина был Бреслав?