затрахался с sbt, между прочим

Тесты гоняет через раз; вставляю 1 must_== 2 - рапортует успех; в интелиджее sbt-plugin вообще зависает через раз, или показывает 1600 якобы ошибок, или же один раз тест успешно фейлит, а второй раз уже всё ему проходит.

ДОСТАЛО!!! И это включает command-line sbt.

Не понимаю, что делать.

UPD: http://stackoverflow.com/questions/18872062/scala-compile-server-error-when-using-nailgun

what's wrong with my intellij?

щас, про типы

Бестиповые языки, конечно, хороши, но они супротив типовых как теория множеств супротив теории категорий. Парадоксов многовато, та же Ω, на что она?

any good simple suggestion for introduction to lambda?

One of my students said she does not get beta-reduction, and is asking for additional sources.

Путин с Папой Римским занялись очисткой окружающей информационной среды

С технической помощью Сноудена и вопреки проискам гомосексуалистов из Евросоюза и украинских националистов с Майдана, Владимир Владимирович Путин вместе с Папой Римским решили навести идеологическую чистоту в информационной сфере.

anybody knows wtf is this?

https://www.eventbrite.com/e/lean-startup-machine-ultimate-tickets-9271588571

today at Costco

in Santa Clara University

хрен ли что у них 56 ферзей

если наш ход