@gds

Тег ocaml в блоге gds

gds

"Разработчики TLS-имплементации на языке OCaml объявили конкурс BTC Piñata" http://habrahabr.ru/post/250339/ // сорь за пиар хабраши

#ovrtvj 4
Вы можете выбрать до 10 файлов общим размером не более 10 МБ.
gds

MLSSH (реализация ssh клиента и сервера) на окамле: http://dmzlj.livejournal.com/185158.html (с использованием пары dsl, насколько я понял).
Что удивительно -- никаких упоминаний по существу гуглом не ищется, и всего ~ 2k упоминаний этого слова. Ещё удивительнее -- "Возможно, вы имели в виду: VK".
Включаем паранойю!

#ovqsnf 1
Вы можете выбрать до 10 файлов общим размером не более 10 МБ.
gds

https://bitbucket.org/gds/o...tip/lib/incrcomp.mli
Суть токова: меня достало то, что нужно уметь простые типа-ленивые вычисления, но с умным перевычислением, если что изменилось, но при взгляде на frp / react как-то всё падает.
Я кое-кому говорил, что уложусь в 10 строчек велосипеда -- так вот, ошибся, но потому, что хотел сделать относительно общо. Получилось вроде миленько, однако, прошу, покритикуйте идею, апи, инглиш, да и всё вообще. Моё ниасиляторство react'а, например, тоже можно.

#tblxl
Вы можете выбрать до 10 файлов общим размером не более 10 МБ.
gds

Таки дошли руки до симуляции перегрызенного кабеля (спрашивал в #ntukz).
Хорошо иногда бывает параметризовать код IO-манаткой. Получилось так: https://gist.github.com/gdsfh/c0aa2733a6d09b49f894 . Работает замечательно. Благодаря fail_seed можно получать детерминированные фейлы, что помогает при отладке.
А отладка заключалась в том, что Lwt.join как-то странно себя ведёт. В документации сказано "падает, если какой-то из тредов падает", тогда как в реальном случае висит: http://pastebin.com/scLnbQ2A . Вотзефак?

#tuxkg
Вы можете выбрать до 10 файлов общим размером не более 10 МБ.
gds

Я тут нашёл рабство, а там интересно было бы разделить рабочее время на то, что именно я делаю, и как-то фиксировать это.
А ещё я уважаю "помидорки", чтобы не перенапрягаться до состояния выгорания. (ну, может знаете, 20 минут работы и 5..10 минут перерыва.)
А ещё я не хочу тыкать мышкой там, где это не нужно.
Поэтому я надрочил по-быстрому хрень на окамле с консольным интерфейсом, которая принимает в качестве параметров командной строки "время рабочего цикла" и "типичные задачи, которые я буду выполнять". Хрень предлагает выбрать рабочую задачу из списка и начать её работать. А потом, как вариант, выбрать другую задачу или завершить рабочий цикл. Или добавить новую задачу, не из списка, и начать её делать. Когда заканчивается время цикла, вылезает уведомление через notify-send.
Результаты пишутся в sql-файлы, специально взял sqlite для такой копеечной нагрузки, и отдельной опцией можно загрузить все данные в бд. Правда вот, пока реальных данных у меня мало, поэтому я ещё не решил, что именно мне будет интересно получать из бд.
В общем, развлёкся на отличненько. А если кому это говно будет нужно -- сообщите. Пока публично выкладывать не особо хочу, так как нет отчётности -- нечего показывать особо.

#oxrt
Вы можете выбрать до 10 файлов общим размером не более 10 МБ.
gds

Может кто помнит мой вопрос про многопоточную симуляцию в каком-то посте не отсюда. Вот, сделал её достаточно быстро, проверил ей нужное, но оно как бы мешало жить дальше, пока валялось у меня локально. Выбрал время, дописал ридмишку корявым наглийским, задокументировал интерфейс, зарелизил. https://bitbucket.org/gds/mtsim . Вообще, говно там, я предупреждал. Но мне оказалось полезным -- разное отладочное добавлял туда быстро и легко, например. Ну, собственно, и проверил свой алгоритм, который буду лепить на сишечьке, располагая семафоры в шаред мемори (вспомню -- вздрогну). Но сишное буду делать потом. Как хорошее рабство найду, как минимум.

#cwoh
Вы можете выбрать до 10 файлов общим размером не более 10 МБ.

Добавить пост

Вы можете выбрать до 10 файлов общим размером не более 10 МБ.
Для форматирования текста используется Markdown.