Coq2Scala -> proofcafe.org
Hellyeah!
Hellyeah!
В новую акку добавили итерати → doc.akka.io
oh shi, ребята из scalaz пишут книгу → manning.com
Improbable uses of unsafeCoerce → gist.github.com
Жуйк. А поделись ништяками вроде cale.yi.org и heh.fi
I used to be a java programmer, just like you. But then I took an Arrow to a knee.
roconnor: a lens is a monoidal natural transformation between higher-order coalgebra functors, what's the problem?
Эта книга явно содержит некие потаённые знания -> amazon.com
Начал читать The Haskell road to logic, maths and programming. Открываю на первой странице: bit.ly
Жуйц. По причине недавнего переезда, безвозмездно отдам в хорошие руки кучу (список — в комментариях) игр для PS2. Пикрелейтед, самовывоз.
Весьма энергичный доклад о выводе типов в разных яп -> screencasts.chariotsolutions.com
Сегодня пройдёт первая встреча Scala User Group Ukraine. 19:00, i-klass -> dou.ua
telnet miku.acm.uiuc.edu
Продолжая тему из #1428378.
Жуйк, такое дело. В ближайшем будущем начинаю новый проект (как обычно, scala + akka + lift). Проблема в том, что в этот раз обещают, что прийдётся реализовывать весьма серьёзный UI.
Я — большой нелюбитель джаваскрипта, джикверей и прочей ереси. В основном — из-за типизации. Выбираю js-фреймворк, пока что присмотрел некий Roy -> roy.brianmckenna.org
Может кто что-нибудь посоветовать? Может есть опыт в использовании чего-то похожего?
Жуйк, такое дело. В ближайшем будущем начинаю новый проект (как обычно, scala + akka + lift). Проблема в том, что в этот раз обещают, что прийдётся реализовывать весьма серьёзный UI.
Я — большой нелюбитель джаваскрипта, джикверей и прочей ереси. В основном — из-за типизации. Выбираю js-фреймворк, пока что присмотрел некий Roy -> roy.brianmckenna.org
Может кто что-нибудь посоветовать? Может есть опыт в использовании чего-то похожего?
Как-то в 2009м SPJ пошутил на тему маскота для хаскелля -> haskell.org
Последнюю неделю тема была поднята вновь -> groups.google.com
Новым предложением стала овечка по имени Da (Lamb Da).
i.imgur.com
origami.bieszczady.pl
imgur.com
Последнюю неделю тема была поднята вновь -> groups.google.com
Новым предложением стала овечка по имени Da (Lamb Da).
i.imgur.com
origami.bieszczady.pl
imgur.com
Стенфорд выкатил шесть новых онлайн курсов:
cs101-class.org
saas-class.org
hci-class.org
nlp-class.org
game-theory-class.org
pgm-class.org
Параллельно потянуть точно не получится, прийдётся выбирать. Какие
планируешь проходить, жуйк?
cs101-class.org
saas-class.org
hci-class.org
nlp-class.org
game-theory-class.org
pgm-class.org
Параллельно потянуть точно не получится, прийдётся выбирать. Какие
планируешь проходить, жуйк?
Годное обсуждение -> groups.google.com
Hoogle for scala -> scalex.org
A comathematician is a system for turning cotheorems into ffee.