У меня спрашивают, где бы найти кошерных видеолекций по функциональщине, алгоритмам, и по computer science в целом, а я не знаю (потому что не понимаю, как можно всё это смотреть и слушать, не мой формат). Подскажете человеку?
УНЯНЯ. У нас есть немножечко инфы
об этом пользователе. Мы знаем, что он понаписал,
порекомендовал и даже и то и другое сразу.
А ещё у нас есть RSS.
(via avkarpich) Вдруг кто-нибудь захочет в Москве пописать на Isabelle/HOL -- https://www.linux.org.ru/forum/job/11244226
Только недавно узнал, что нельзя просто так поехать в сраную сша'шку и сказать "я хочу тут жыдь" (и работать камлоёбом, например).
При том количестве говна, которое у них уже есть.
И при том качестве меня, которое у меня уже давно есть.
Непонятно.
Или понятно? Аргументируйте.
http://homes.cs.washington.edu/~jrw12/dep-destruct.html -- грамотно про dependent destruction.
https://bitbucket.org/gds/ocaml_incrcomp/src/tip/lib/incrcomp.mli
Суть токова: меня достало то, что нужно уметь простые типа-ленивые вычисления, но с умным перевычислением, если что изменилось, но при взгляде на frp / react как-то всё падает.
Я кое-кому говорил, что уложусь в 10 строчек велосипеда -- так вот, ошибся, но потому, что хотел сделать относительно общо. Получилось вроде миленько, однако, прошу, покритикуйте идею, апи, инглиш, да и всё вообще. Моё ниасиляторство react'а, например, тоже можно.
Таки дошли руки до симуляции перегрызенного кабеля (спрашивал в #TP2TNF).
Хорошо иногда бывает параметризовать код IO-манаткой. Получилось так: https://gist.github.com/gdsfh/c0aa2733a6d09b49f894 . Работает замечательно. Благодаря fail_seed можно получать детерминированные фейлы, что помогает при отладке.
А отладка заключалась в том, что Lwt.join как-то странно себя ведёт. В документации сказано "падает, если какой-то из тредов падает", тогда как в реальном случае висит: http://pastebin.com/scLnbQ2A . Вотзефак?
[..] мне доводилось писать код, но это было во времена моей далекой юности. [..] И работал программистом где-то до 2004 года [..] после 2004 года профессионально разработкой я уже не занимался.
я могу себя описать как «человек, написавший много книг по функциональному программированию и нескольким смежным темам»
"И всё у них так".
Цоперайт © 2010-2016 @stiletto.