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

ocaml@conference.jabber.ru

Понедельник, 8 июля 2013< ^ >

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

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

GMT+4
[00:53:10] ermine вышел(а) из комнаты
[00:56:44] ftrvxmtrx вышел(а) из комнаты
[02:16:52] Typhon вышел(а) из комнаты
[02:19:05] komar вышел(а) из комнаты
[02:21:06] komar вошёл(а) в комнату
[02:22:39] tilarids вышел(а) из комнаты: Machine going to sleep
[02:33:53] komar вышел(а) из комнаты: Logged out
[02:39:46] komar вошёл(а) в комнату
[02:41:42] tilarids вошёл(а) в комнату
[02:55:46] komar вышел(а) из комнаты: Logged out
[03:04:29] komar вошёл(а) в комнату
[03:14:12] tilarids вышел(а) из комнаты: Machine going to sleep
[05:15:39] f[x] вошёл(а) в комнату
[06:46:07] komar вышел(а) из комнаты
[06:46:38] f[x] вышел(а) из комнаты
[06:46:46] f[x] вошёл(а) в комнату
[06:47:21] komar вошёл(а) в комнату
[07:07:09] komar вышел(а) из комнаты
[07:16:18] komar вошёл(а) в комнату
[08:01:47] komar вышел(а) из комнаты
[08:03:43] komar вошёл(а) в комнату
[09:47:59] f[x] вышел(а) из комнаты
[10:23:37] Zbroyar вошёл(а) в комнату
[10:31:10] ermine вошёл(а) в комнату
[10:49:29] f[x] вошёл(а) в комнату
[11:18:35] Zbroyar вышел(а) из комнаты
[11:22:10] Zbroyar вошёл(а) в комнату
[11:23:41] bobry вошёл(а) в комнату
[11:24:01] <bobry> господа, а 128битные флоаты для камло есть? что-то у меня не гуглится ничего
[11:24:16] <f[x]> а это как?
[11:24:18] <f[x]> sse?
[11:24:35] <bobry> http://en.wikipedia.org/wiki/Quadruple-precision_floating-point_format
[11:25:46] <f[x]> а, т.е. в железе такого вообще нет
[11:25:55] <Zbroyar> Разве-что патчами.
[11:26:27] <Zbroyar> Ну или посмотри в http://www.algo-prog.info/spoc/web/index.php?id=spoc
[11:26:35] <f[x]> или у тебя спарк с ибм'ом?
[11:26:37] <Zbroyar> Если там нет, значит нету.
[11:27:01] <bobry> f[x]: мне не обязательна железная поддержка
[11:27:40] <f[x]> т.е. радо точности готов складывать в софте?
[11:27:45] <f[x]> с дикими тормозами?
[11:28:15] <bobry> f[x]: мне для proof of concept надо
[11:28:34] <f[x]> ну для PoC не грех и самому написать ;)
[11:29:08] <bobry> хочется готовенького :)
[11:31:08] <komar> Есть же это, как его.
[11:31:36] <komar> А, там только инты.
[11:32:15] <komar> http://www.vincent-gripon.com/files/projects/bigfloat/bigfloat.ml ← ы! Не?
[11:32:54] <f[x]> ух ты
[11:33:14] <f[x]> таки флоаты в софте
[11:34:09] <f[x]> камлочятик ftw :)
[11:34:29] <komar> Гугол ftw.
[11:34:43] <f[x]> komar <- MAD GUGOL SKILLZ
[11:34:45] <komar> Набрал bit float и вот.
[11:37:20] <bobry> komar: я набирал 128bit float :)
[11:37:55] <komar> Ну дык это и не 128bit float.
[11:38:19] <komar> Только вряд ли тебя это огорчит.
[11:38:29] <komar> Флоаты, там все равно хрен поймешь, где точность кончается.
[11:39:59] <f[x]> вобще-то там это достаточно точно определено :)
[11:40:21] <f[x]> точнее есть всякие док-ва у каких операций в каких диапазонах какие потери точности :)
[11:40:37] <komar> Ну да.
[11:40:39] <komar> А я как сказал?
[11:40:42] <f[x]> :)
[11:40:43] <f[x]> ок
[11:40:46] <f[x]> так и сказал
[11:46:09] Typhon вошёл(а) в комнату
[11:58:13] tilarids вошёл(а) в комнату
[12:16:03] bobry вышел(а) из комнаты
[12:36:41] komar вышел(а) из комнаты
[12:40:48] zinid вошёл(а) в комнату
[12:42:17] tilarids вышел(а) из комнаты: Machine going to sleep
[13:36:20] tilarids вошёл(а) в комнату
[13:45:17] Zbroyar вышел(а) из комнаты: Replaced by new connection
[13:45:18] Zbroyar вошёл(а) в комнату
[13:56:58] tilarids вышел(а) из комнаты
[14:08:52] Zbroyar вышел(а) из комнаты
[15:32:52] tilarids вошёл(а) в комнату
[15:44:16] klapaucius вошёл(а) в комнату
[15:48:26] Typhon вышел(а) из комнаты
[15:50:18] f[x] вышел(а) из комнаты
[15:53:45] Typhon вошёл(а) в комнату
[16:24:13] ftrvxmtrx вошёл(а) в комнату
[17:11:14] f[x] вошёл(а) в комнату
[18:25:42] ludovik вошёл(а) в комнату
[18:52:54] ludovik вышел(а) из комнаты
[19:17:04] Typhon вышел(а) из комнаты
[19:23:09] zinid вышел(а) из комнаты
[20:36:47] f[x] вышел(а) из комнаты
[21:52:01] tilarids вышел(а) из комнаты: Computer went to sleep
[22:15:08] komar вошёл(а) в комнату
[22:19:05] Zbroyar вошёл(а) в комнату
[23:35:23] Typhon вошёл(а) в комнату
[23:38:47] tilarids вошёл(а) в комнату
[23:54:06] ermine вышел(а) из комнаты