OCaml (aka Objective Caml), а также прочие ML'и, F#, Coq, etc

ocaml@conference.jabber.ru

Вторник, 6 августа 2013< ^ >

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

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

GMT+4
[00:02:24] <aleksey> здешний господин?
[00:03:07] <aleksey> а, да, есть такой
[00:06:31] <gds> в жыжыцэ известен как ymn. Человек хороший, но скрытный.
[02:00:10] ftrvxmtrx вышел(а) из комнаты
[02:04:06] ftrvxmtrx вошёл(а) в комнату
[04:59:23] f[x] вошёл(а) в комнату
[05:49:08] zinid вошёл(а) в комнату
[06:00:03] f[x] вышел(а) из комнаты
[06:23:40] f[x] вошёл(а) в комнату
[07:26:08] ☆Peкс☆ вошёл(а) в комнату
[07:31:25] avkarpich вошёл(а) в комнату
[07:32:08] <avkarpich> gds: http://www.cs.ou.edu/tfp2010/files/16slides.pdf http://www.jofcis.com/publishedpapers/2010_6_14_4915_4922.pdf
[07:33:31] <avkarpich> про coq edsl подробностей пока не будет, потому что во-первых nda, во-вторых проект сейчас на ранней стадии и неизвестно в каком виде все это дойдет до конца.
[07:34:57] <f[x]> спешите видеть только в нашем чятике - публичное разоблачение coq'аиниста
[07:56:20] avkarpich вышел(а) из комнаты
[10:08:03] f[x] вышел(а) из комнаты
[10:52:39] Typhon вошёл(а) в комнату
[11:08:02] f[x] вошёл(а) в комнату
[11:32:52] <f[x]> история успеха : необъяснимый крэш в ExtHashtbl, ковыряние корки в gdb с помощью mlvalues.py показало что в указанном hashtbl нарушен инвариант (число элементов больше чем реальное), в результате hashtbl.enum сходил с ума (тут в детали не вникал), после чего нехитрые рассуждения приводят к тому что запись в hashtbl была не thread-safe
[11:57:31] tilarids вошёл(а) в комнату
[12:51:54] Kakadu вошёл(а) в комнату
[12:52:47] <Kakadu> gds: vhdl это разве не Булычевская поделка?
[12:54:05] <gds> Kakadu: "Был разработан в 1983 г. по заказу Министерства обороны США".
[12:54:23] <gds> f[x]: успех!
[12:54:51] <Kakadu> значит коллизия обозначений
[12:56:40] <gds> avkarpich: ссылки очень ок, благодарю.
[13:13:38] Kakadu вышел(а) из комнаты
[13:16:15] Kakadu вошёл(а) в комнату
[14:05:49] ftrvxmtrx вышел(а) из комнаты
[14:22:26] Kakadu вышел(а) из комнаты
[14:42:23] ftrvxmtrx вошёл(а) в комнату
[14:46:16] tilarids вышел(а) из комнаты: Computer went to sleep
[15:13:30] f[x] вышел(а) из комнаты
[16:06:52] ☆Peкс☆ вышел(а) из комнаты: Replaced by new connection
[16:49:14] f[x] вошёл(а) в комнату
[17:25:59] f[x] вышел(а) из комнаты
[19:07:14] f[x] вошёл(а) в комнату
[19:34:31] f[x] вышел(а) из комнаты
[19:58:15] zinid вышел(а) из комнаты
[22:55:51] tilarids вошёл(а) в комнату
[23:55:34] tilarids вышел(а) из комнаты: Computer went to sleep
[23:56:22] tilarids вошёл(а) в комнату