Чтобы добавлять сообщения и комментарии, .

@folone:
folone

Coq2Scala -> proofcafe.org
Hellyeah!

@folone:
folone

3.bp.blogspot.com

@folone:
folone

В новую акку добавили итерати → doc.akka.io

@folone:
folone

oh shi, ребята из scalaz пишут книгу → manning.com

@folone:
folone

Improbable uses of unsafeCoerce → gist.github.com

@folone:
folone

Жуйк. А поделись ништяками вроде cale.yi.org и heh.fi

@folone:
folone

I used to be a java programmer, just like you. But then I took an Arrow to a knee.

@folone:
folone

roconnor: a lens is a monoidal natural transformation between higher-order coalgebra functors, what's the problem?

@folone:
folone

Эта книга явно содержит некие потаённые знания -> amazon.com

@folone:
folone

Начал читать The Haskell road to logic, maths and programming. Открываю на первой странице: bit.ly

@folone:
folone

Жуйц. По причине недавнего переезда, безвозмездно отдам в хорошие руки кучу (список — в комментариях) игр для PS2. Пикрелейтед, самовывоз.

@folone:
folone

Весьма энергичный доклад о выводе типов в разных яп -> screencasts.chariotsolutions.com

@folone:
folone

Сегодня пройдёт первая встреча Scala User Group Ukraine. 19:00, i-klass -> dou.ua

@folone:
folone

telnet miku.acm.uiuc.edu

@folone:
folone

Продолжая тему из #1428378.
Жуйк, такое дело. В ближайшем будущем начинаю новый проект (как обычно, scala + akka + lift). Проблема в том, что в этот раз обещают, что прийдётся реализовывать весьма серьёзный UI.
Я — большой нелюбитель джаваскрипта, джикверей и прочей ереси. В основном — из-за типизации. Выбираю js-фреймворк, пока что присмотрел некий Roy -> roy.brianmckenna.org
Может кто что-нибудь посоветовать? Может есть опыт в использовании чего-то похожего?

@folone:
folone

Как-то в 2009м SPJ пошутил на тему маскота для хаскелля -> haskell.org
Последнюю неделю тема была поднята вновь -> groups.google.com
Новым предложением стала овечка по имени Da (Lamb Da).
i.imgur.com
origami.bieszczady.pl
imgur.com

@folone:
folone

Стенфорд выкатил шесть новых онлайн курсов:
cs101-class.org
saas-class.org
hci-class.org
nlp-class.org
game-theory-class.org
pgm-class.org

Параллельно потянуть точно не получится, прийдётся выбирать. Какие
планируешь проходить, жуйк?

@folone:
folone

Годное обсуждение -> groups.google.com

@folone:
folone

Hoogle for scala -> scalex.org

@folone:
folone

A comathematician is a system for turning cotheorems into ffee.