Objective Caml - Суббота, 14 мая 2011

Objective Caml

ocaml@conference.jabber.ru

Суббота, 14 мая 2011< ^ >

gds установил(а) тему: Камль -- http://caml.inria.fr | Логи -- http://chatlogs.jabber.ru/ocaml@conference.jabber.ru/ | Светлое будущее -- http://camlunity.ru/ | Нефильтрованное настоящее -- https://github.com/camlunity/kamlo_wiki | Портер прошлое -- http://gdsfh.dyndns.org/kamlo/ | Верблюды грязи не боятся! | release crap, enjoy NIH | репортьте баги официальным дилерам | ocaml мёртв, move on

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

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

GMT+4
[00:11:32] <gds> а вот lwt 2.3.0 падвендой -- это печаль.  libev + pthreads(?) не находит.  надеюсь, они прикрутили туда тупой селект.
[00:15:58] <gds> кстати, подумалось, что можно портировать libev и не через select, а через вполне даже через асинхронный ввод-вывод венды -- уж не помню, как там точно делается, но точно есть.  ну, чтобы и ограничения не было на дескрипторы, и туда-сюда не копировалась бы информация при select.
[00:16:26] <gds> но точно не займусь этим в ближайшее время.
[00:17:41] <Typhon> лвт без либева точно можно, Kakadu, кажется, в цигвине собирать пробовал
[00:22:24] olegfink вышел(а) из комнаты
[00:22:30] <gds> это радует, буду пробовать.
[01:00:27] <ermine> пффф
[01:00:42] <ermine> кажись, дрянная капча больше не падает в кору и не утекает
[01:01:01] <ermine> вот же засады были, жуть!
[01:01:44] <ermine> правильный тест на утечку - засунуть вызов главной функции в цикл for i=0 to 100000000 и смотреть в top
[01:02:08] <ermine> не должно быть ни одной утечки ни одного бита
[01:02:43] <ermine> Kakadu: ну как, выучил, что такое ппп?
[01:05:20] <Typhon> главное ОСИ, к.м.к.
[01:05:51] <ermine> Typhon: а по какому слою ОСИ ползает ппп?
[01:06:19] <Typhon> хз, надо посмотреть, что такое ппп %)
[01:06:48] <Kakadu> ermine: по транспортному
[01:06:59] <Kakadu> для ррр нафиг не нужен канальный и сетевой
[01:07:21] <ermine> Kakadu: шестому, шоле?
[01:07:37] <Kakadu> физический - 1й
[01:07:41] <Kakadu> транспортный - 4й
[01:08:20] <ermine> ух ты, уже стока инфы уже выучил
[01:08:30] <Kakadu> у меня просто конспект есть
[01:08:38] <Kakadu> я туда глянул
[01:08:39] <Typhon> википедия говорит, что ППП -- канальный %)
[01:09:07] <Kakadu> при РРР канальный и сетевой не нужны
[01:09:17] <Kakadu> дела что они делают прописаны в спецификации РРР
[01:09:22] <Kakadu> по мнению препода
[01:10:07] <ermine> Kakadu: а про флоппи они спрашивать не будут?
[01:10:23] <Kakadu> ermine: про дискеты что ле?
[01:10:33] <ermine> нуда
[01:10:39] <Kakadu> нет, я сети сдаю
[01:10:48] <ermine> у меня где-то тут завалился 8-дюймовый флоп
[01:11:25] <ermine> флоппинет
[01:11:45] <Kakadu> skype+.NET=SKYNET
[01:12:01] <ermine> Kakadu: а как работает фидонет - не спросят?
[01:12:19] <Kakadu> ermine: ну препод про это не расказывал
[01:12:28] <gds> ermine: у меня тоже 8" где-то есть, и флоппинетом развлекал троих, что ли, людишек.
[01:13:54] <ermine> gds: да, славные были времена, можно было бегать с дискетами к приятелям попить какую-нить жидкость в томительном ожидании, пока мегасофт скопируется
[01:15:13] <ermine> Kakadu: можно будет завтра потестить твою поделку, если там ничего не потечет - попробую поставить
[01:15:28] <Kakadu> круто
[01:16:39] <ermine> Kakadu: а вообще у меня сложность будет, что я еще и хочу свою поделку на тот же оксигень ставить, а вот ребутить его каждый раз, чтобы что-то обновить - сомнительное достижение
[01:16:48] <gds> ermine: ога.  сеть имени собаки какого-то ахтунга таки доставляла.  я даже как-то начал пилить поддержку mysql-баз для престарелого эксгибициониста.
[01:16:54] <ermine> при том, что команда reload у оксигена работает как-то невнятно
[01:18:19] <Kakadu> ладно, я спать
[01:18:20] Kakadu вышел(а) из комнаты
[01:20:22] Kakadu вошёл(а) в комнату
[01:20:28] <Kakadu> я вернулся
[01:20:32] <Kakadu> вопрос
[01:20:36] <Kakadu> VPN==VLAN?
[01:21:06] <ermine> а ты расшифруй и то и другое
[01:21:16] <Typhon> virtual private network
[01:21:21] <Typhon> и virtual lan
[01:21:24] <Kakadu> а там local area
[01:22:00] <Kakadu> ну коль разные, то про VPN он не рассказывал
[01:22:47] <ermine> зато vpn можно кидать через чужие сети
[01:23:12] <ermine> а вот как vlan - не знаю, обычно внутри помещения
[01:23:14] <Kakadu> хорошо хоть я представляю себе туннель
[01:24:10] <Kakadu> всё
[01:24:14] <Kakadu> теперь точно спать
[01:24:15] Kakadu вышел(а) из комнаты
[01:26:59] ermine вышел(а) из комнаты
[01:55:38] gds вышел(а) из комнаты
[01:59:08] Typhon вышел(а) из комнаты
[02:30:09] komar вышел(а) из комнаты: Replaced by new connection
[02:30:10] komar вошёл(а) в комнату
[08:29:43] komar вышел(а) из комнаты: Replaced by new connection
[08:29:44] komar вошёл(а) в комнату
[08:49:54] komar вышел(а) из комнаты: Replaced by new connection
[08:49:54] komar вошёл(а) в комнату
[08:57:23] komar вышел(а) из комнаты: Replaced by new connection
[08:57:24] komar вошёл(а) в комнату
[08:59:21] komar вышел(а) из комнаты: Replaced by new connection
[08:59:22] komar вошёл(а) в комнату
[09:05:34] komar вышел(а) из комнаты: Replaced by new connection
[09:05:35] komar вошёл(а) в комнату
[09:34:10] komar вышел(а) из комнаты: Replaced by new connection
[09:34:14] komar вошёл(а) в комнату
[09:59:04] komar вышел(а) из комнаты: Replaced by new connection
[09:59:05] komar вошёл(а) в комнату
[10:01:04] komar вышел(а) из комнаты: Replaced by new connection
[10:01:05] komar вошёл(а) в комнату
[10:05:20] ygrek вошёл(а) в комнату
[10:05:34] ygrek вышел(а) из комнаты
[10:06:05] ygrek вошёл(а) в комнату
[10:08:02] gds вошёл(а) в комнату
[10:08:41] <ygrek> а в чём проблема рестартовать ocsigen?
[10:10:09] komar вышел(а) из комнаты: Replaced by new connection
[10:10:13] komar вошёл(а) в комнату
[10:13:14] komar вышел(а) из комнаты: Replaced by new connection
[10:13:15] komar вошёл(а) в комнату
[10:30:11] <ygrek> насчёт todo кстати попалось -> http://todotxt.com
[10:35:34] <gds> посмотрел про todo, документации для пользователей не нашёл.  надо плотнее смотреть, значит.
[10:40:35] Digimmortal вошёл(а) в комнату
[10:45:56] <ygrek> ы, user documentation-же
[10:48:27] komar вышел(а) из комнаты: Replaced by new connection
[10:48:28] komar вошёл(а) в комнату
[11:08:50] ermine вошёл(а) в комнату
[11:28:45] <ermine> gds: вчерашний фикс для моей memory leak состоял в том, чтобы для типа-хамелеона сначала создать malloc область, скопировать туда старое значение типа-хамелеона, передать сишней функции, и потом вернуть этот маллок в камло, вот тогда память перестала утекать, хотя это несколько ломает задуманное API в freetype2, поскольку теперь надо явно на стороне камля освобождать ту память
[11:29:38] <ermine> и на стороне камля тип типа-хамелеона не меняется, что тоже вносит фальшивую ноту
[11:50:15] ftrvxmtrx вышел(а) из комнаты
[12:12:10] komar вышел(а) из комнаты: Replaced by new connection
[12:12:12] komar вошёл(а) в комнату
[12:31:06] zert вошёл(а) в комнату
[12:41:09] ftrvxmtrx вошёл(а) в комнату
[12:47:50] <ermine> так, надо попробовать собрать поделие kakadu
[12:57:47] <ermine> странно, gmake его собрал без воплей об линухизме
[12:59:50] Typhon вошёл(а) в комнату
[13:01:02] <ermine> Typhon: еще никто не родил markown?
[13:05:02] <ermine> оксигень не запускается с таким eliom.conf
[13:06:01] <ermine> ocsigenserver: main: Cannot create the command pipe: Unix.Unix_error(Unix.ENOENT, "mkfifo", "/mnt/macos_vb/eliom.dev/local/var/run/eliom_command")
ocsigenserver: main: Error opening database file '/mnt/macos_vb/eliom.dev/local/var/lib/ocsidb' when registering Ocsipersist. Check that the directory exists, and that Ocsigen has enough rights
ocsigenserver: main: Fatal - While loading /usr/local/lib/ocaml/site-lib/ocsigenserver/extensions/ocsipersist-sqlite.cma: Sqlite3.Error("error opening database: unable to open database file")
[13:06:14] <ermine> уж не замешан ли тут Typhon?
[13:11:56] <Typhon> я ничего не трогал! :-)
[13:12:25] <ermine> там в путях макось!!!
[13:17:07] <ermine> ых, ничо не понятно
[13:17:32] <Typhon> типа там захардкожены пути какие-то?
[13:17:44] <Typhon> если они из конфигов, я бы права проверил
[13:18:11] <ermine> какой-то квадратег с Save под ним
[13:18:17] <ermine> а туда буквы даже не ввести
[13:54:12] Digimmortal вышел(а) из комнаты
[13:59:34] ftrvxmtrx вышел(а) из комнаты
[14:01:15] ftrvxmtrx вошёл(а) в комнату
[14:02:08] ftrvxmtrx вышел(а) из комнаты
[14:02:55] ftrvxmtrx вошёл(а) в комнату
[14:07:54] ftrvxmtrx вышел(а) из комнаты
[14:08:48] ftrvxmtrx вошёл(а) в комнату
[14:09:24] arhibot вошёл(а) в комнату
[14:25:25] <gds> читаю десятичное представление чисел итератами: http://paste.in.ua/2372/
как бы тупак, но 1. итераты!111 со всеми их гарантиями, 2. числа, которые читаются -- абстрактные!  им достаточно удовлетворять следующей сигнатуре: http://paste.in.ua/2373/ , быть целыми и иметь min_int = -max_int-1, 3. легко прикручивается любое основание системы счисления чисел, которые надо читать.
потом, как потестирую, наверное в ocaml-iteratees запихаю.
[14:26:35] <gds> 4. поток читается ровно до ошибки (в том числе до ошибки "переполнение") или до окончания числа.
[14:28:05] <ermine> а до обрыва?
[14:28:38] <gds> если обрыв нормальный -- прочитает и отдаст сколько прочитало, если с ошибкой -- кинет ту ошибку.
[14:28:43] ermine почесала своего любимого конька
[14:29:43] <ermine> в смысле "1 000" " 000"?
[14:30:19] <gds> недопонял.
[14:30:40] <gds> если передают число "12345", а передалось только "123" -- вернётся 123.
[14:30:48] <arhibot> итераторы абстранктные скачать бесплатно смс
[14:31:03] <ermine> да я сыронизировала, тут не только обрывы, но и пробелы (это я к "представлению чисел" придралась)
[14:32:33] <gds> если мне для решения задачи важно даже ведущие нули исключить, то о каких пробелах может быть речь :)  А так -- если надо, можно и добавить, причём как поверх, так и унутрь итерата бесплатно смс erlang your iteratee for free
[14:35:47] <ermine> gds: а, ты опять про свой парвел
[14:35:59] <gds> чуть-чуть.
[14:36:06] <ermine> а мне надо щас освоить css
[14:36:37] <gds> есть препроцессоры-валидаторы-расширятели css, если чо.
[14:37:34] <ermine> а что это такое?
[14:37:54] <ermine> вот ты скажи как в fieldset кнопку сабмита отцентрировать :)
[14:38:11] <ermine> вот в этом смысле мне его надо и освоить
[14:38:31] <Typhon> в стиле 90х -- <center> кнопка </center> ^_^ в цсс -- align:center, емнип.
[14:38:48] <Typhon> есть же для окамла какое-то средство облагораживания цсс, может даже в самом оксигене
[14:39:06] <Typhon> http://ccss.forge.ocamlcore.org/
[14:39:46] <ermine> если бы было дла окамла, то давно бы включили в состав елиома
[14:40:48] <ermine> пасиб, надо изучить
[14:41:06] <ermine> Typhon: а чо нащот маркдауна??? всё так же глухо? или оно у какаду уже есть?
[14:41:51] <ermine> не, видимо эта либла - чтобы выравнивать в аппликухе какие-то штучки
[14:42:31] <Typhon> ни у кого ещё нету, насколько мне известно, полноценного :-) у Kakadu какой-то викиформат, мне сейчас немного не до маркдауна, но если писать, надо у avsm дёрнуть частичную реализацию, пожалуй, да допилить
[14:44:22] <ermine> а чо не с нуля?
[14:44:45] <ermine> разбираться еще, как оно у кого-то там сделано
[14:47:06] <ermine> забавная либла css, но как-то не очевидно в чем преимущество
[14:47:26] <ermine> еще и депендсы внушают
[15:10:43] <gds> ermine: про "1 000 000" -- небезопасно парсить такое, если оно в потоке.  Пробелы надо ведь сохранять на случай, если дальше идёт не цифра, а что-то другое.  А пробелов может быть много.
[15:15:24] <ermine> gds: цифра{1,3} [пробел цифра цифра цифра]*
[15:16:14] <gds> если по тысячам разделять и строго одним пробелом -- безопасно, да.
[15:17:54] <ermine> ну гораздо интереснее парсить вещественные сисла в зависимости от страны
[16:07:50] <ermine> блин, чего бы почитать по css
[16:21:42] <Typhon> ermine, http://htmlbook.ru/
[16:22:15] <Typhon> там самоучители есть и справочники
[16:23:40] <ermine> а то я тут ползаю по javascript.ru
[16:24:14] <ermine> а css.ru чота не нашелся :)
[16:44:35] <Typhon> ermine, ещё посоветовали http://softwaremaniacs.org/blog/category/primer/  -- сборник примеров, типа
[16:47:34] <ermine> Typhon: где у тебя советчики заседают? :)
[16:48:12] <Typhon> http://foobarbuzz.org/
[16:48:36] <Typhon> конкретно посоветовавший -- только что покинул жаббер
[16:49:47] <ermine> звучит, будто насовсем покинул
[16:51:00] <ermine> за ссылки пасиб
[16:52:32] <ermine>    п╔п╣я┬я┌п╣пЁ п╡ п╒п╡п╦я┌я┌п╣я─п╣
[16:52:42] <ermine> зачотный текст на последней ссылке
[16:57:17] <ftrvxmtrx> koi8-r ещё в моде?
[16:59:16] <ermine> точнее, отсутствие чарсета в хттп-хидере
[17:14:54] komar вышел(а) из комнаты
[17:56:19] komar вошёл(а) в комнату
[19:03:15] ftrvxmtrx вышел(а) из комнаты
[19:09:57] Typhon вышел(а) из комнаты
[19:20:07] Kakadu вошёл(а) в комнату
[19:20:30] <Kakadu> ураааа
[19:20:33] <Kakadu> это зачет
[19:22:02] <ermine> сдал? когда следующий?
[19:22:05] <ermine> что спрашивали?
[19:27:16] <Kakadu> во вторник сдавать курсовую
[19:27:24] <Kakadu> 30 экзамен, но он ни оч ем
[19:27:48] <Kakadu> ой, меня как-то препод очень любил. Может потому что мы в одной компании работали
[19:28:14] <Kakadu> из существенного я не сказал что такое 0800 в пакете
[19:28:24] <Kakadu> он хотел услышать что это ether type
[19:28:48] <Kakadu> и я ещё не знал что будет, если ether type < 0x0600
[19:29:33] <Kakadu> ну и по мелочам в остаьных двух вопросах
[19:29:44] <Kakadu> в этоге у меня три раза 5- что есть зачет
[19:30:10] <Kakadu> мужик бедняга
[19:30:17] <Kakadu> ему надо одному 60 человек принять
[19:31:40] <ermine> и понавставить всем двойки
[19:35:24] <Kakadu> ну сейчас счет вроде 15-10 в пользу студентов
[19:48:02] <Kakadu> ermine: как там оксигень? тикёть?
[19:51:47] <ermine> Kakadu: собрала твое поделие, запустила, увидела квадратик с кнопочкой Save и фсё, больше я не знаю что с этим делать, текст никуда не вводится :)
[19:52:11] <ermine> Kakadu: кстати, а откуда макось в путях в eliom.conf?
[19:52:19] <ermine> потом я переключилась на другие дела
[19:52:39] ftrvxmtrx вошёл(а) в комнату
[19:53:18] <Kakadu> Kakadu: я хотел на этот раздел воткнуть макс в виртуалбокс, но потом забил
[19:53:22] <Kakadu> тьфу
[19:53:26] <ermine> макось лучше бы заменять на ./local/var/...
[19:53:26] <Kakadu> ermine: !
[19:53:44] <Kakadu> да относительные пути не работают
[19:54:12] <Kakadu> ermine: а сейчас вика в инете есть?
[19:54:42] <ermine> они работают для commandpipe и database
[19:55:25] <ermine> неа, я только щас догадалась, что надо было еще куда-то путь к яваскрипту указывать
[21:29:51] zert вышел(а) из комнаты
[21:30:07] zert вошёл(а) в комнату
[21:49:46] ygrek вышел(а) из комнаты
[21:49:49] ygrek вошёл(а) в комнату
[21:55:22] <ermine> Kakadu: я завтра чонить сделаю с вякой, оно будет доступно в инете как-то, а щас хочу почитать вон тот блог про css
[21:55:37] <ermine> Kakadu: а ты бы всё же чуток подправил eliom.conf
[21:55:54] <ermine> по максимуму локальные пути вписать
[21:56:08] <ermine> пусть даже если в гите не все каталоги существуют, это пофигу
[21:57:05] <ermine> и дописать в комментарий, что вон тот static dir важен и должен указывать на сгенеренный яваскрипт
[21:58:19] <Kakadu> ermine: а если я понапихаю относительных путей, то относительно чего они будут остчитваться: местоположения файла-конфига, пути где я стартанул оксиген или ещё что-то?
[21:59:34] <ermine> ./local
[21:59:50] <Kakadu> не понял
[22:00:11] <ermine> ./local/var/lib, run, www, www/static как-то там
[22:00:52] <Kakadu> не понял всёравно
[22:00:56] <Kakadu> а local это что?
[22:01:00] <ermine> у eliom.dev кстати вроде был пример такого конфига, я думала, ты из него скопипастил
[22:01:23] <ermine> "тут"
[22:01:41] <ermine> типа не требует инсталляции
[22:02:48] <Kakadu> не, после зачета я торможу
[22:03:54] <ermine> а я до сих пор слегка в шоке после зафикшенной вчера memleak в своей либле
[22:15:36] <arhibot> ermine: свой гит удалось написать? :)
[22:18:01] <ermine> arhibot: конь рядом и не приседал еще
[22:18:40] <ermine> щас у меня первым пунктом в туду - разделаться с css
[22:18:47] <ermine> чтобы особо не отвлекал
[22:23:08] <ermine> кста, а что такое foobarbuzz?
[23:20:21] <gds> очень вероятно, что будут нужны люди на работу, окамл + удалёнка + манатки + итераты + вебня + немного системщины + деньги.  Денег пока порядка 1000$ в месяц, но и работа не "тупой кодинг от забора до обеда", а поинтереснее.  Если кто-нибудь хочет, давайте обсудим тут либо приватно, gdsfh1 at gmail dot com.
[23:26:53] ermine не знает, что такое итераторы и боится их
[23:27:13] <ermine> а так - там вместо последнего плюса наверное надо ставить знак равенства
[23:27:28] <gds> а, типа, если бы знала, то занялась бы?
[23:28:05] <ermine> начала бы обсуждение сначала
[23:28:16] <ermine> ну смотря бы сколько времени бы это занимало в день
[23:28:27] <gds> там уравнение вообще сложнее.  там и деньги, и время, и рост зарплаты, и кайф от работы.
[23:28:33] <ermine> я от приработка-то не отказалась бы
[23:29:16] <gds> если манатки в lwt асилила, значит и это сможешь, в теории.
[23:29:41] <ermine> а, манатки = монады?
[23:29:49] <gds> ога.
[23:30:13] <ermine> ну юзать лвт я умею вроде
[23:34:50] <ermine> gds: а можно более подробно в приват?
[23:35:25] <gds> учитывая, что продуктивной работы у программиста при полной занятости и в режиме "не сгорания" получается порядка 3ч в день чистого времени, и тогда день считается плодотворным, (да-да, 8-часовой планктон, я смотрю на вас.), то даже не знаю, как во времени мерять загрузку.  Чистых полтора-два часа программирования+кодинга, периодически обсуждения Всяких Штук, периодически чтение документации (без этого никак обычно), иногда ломание мозгов над Неведомой Ё Х.  Ну как-то так.
[23:36:55] <ermine> это ты за три часа сколько строчек кода накропаешь?
[23:39:16] <gds> по-разному бывает.  Сегодня за 4 часа чистого времени выродил порядка 20 строк кода, сокращаемого до 4 примерно.  Один раз померил дифф за сутки работы, было 2500 строк.
[23:40:05] <gds> ну, погорячился, при правильной работе, если реаллайфа нет, можно 5 часов чистого времени, но нужен выходной или половина выходного периодически.
[23:40:05] <arhibot> M-x delete-traling-whitespace
[23:40:11] <ermine> тогда нормально
[23:40:48] <ermine> я боялась, что ты скажешь, что за три часа пишшь 800 строк кода
[23:41:10] <gds> фи, таким понтоваться уже не модно.
[23:42:01] <gds> arhibot: я пишу без trailing whitespaces.
[23:42:43] <arhibot> gds: но не все же!
[23:42:43] <gds> ermine: про работку в приват -- пока вроде особо нечего писать.  Название фирмы, разве что :)  Допишу разве что: фирма -- физически в ебурге, занимается видео+веб, плюс дохренищща всего, что нужно для качественной обслуги народа.  Плюс планы, идущие в очень разные стороны, но тут у меня нет полной информации.  А слухи -- вот их в привате таки могу озвучить.
[23:50:06] ygrek вышел(а) из комнаты