На осознание всей мощи митиного курса под условным названием "Модели программ" у меня ушло, ни много ни мало, полтора года. Официально заявляю - это очень крутой и правильный курс, который должен быть сделан обязательным. А Соловьёва с его целым семестром доказываения теорем о непрерывности в семантике неподвижной точки - выкинуть нафиг ( Read more... )

Полтора года назад, ещё в бытность мою студентом, проходил у нас замечательный семинар по транзакционной памяти. Рулил всем этим делом, как водится, Митя Ломов, в число добродетелей которого входит талант достаточно доходчиво и иллюстративно объяснять разные шутки из области CS и SE. Так, скажем, на семинар по сборке мусора годом раньше для ( Read more... )

Предложили выдать права на коммит в репозиторий Scala.

Показали нам эту самую Maxine. Дело было в конце дня и народ уже порядочно подустал. У спикера периодически падал эклипс, и он бормотал "shit" сквозь зубы на радость подрёмывающей публике ( Read more... )

А ещё на тех двух воркшопах, где мне довелось поучаствовать в дискуссиях - здесь и здесь - вовсю обсуждался вопрос полезности для народа (преимущественно, физиков) embedded DSL'ей. Разумеется, упоминали, Scala. Впрочем, статью про парсер-комбинаторы читали не все. Достаточно долго мусолилась тема оптимизации этого самого DSL-ного кода, и далеко не ( Read more... )

Сегодня рассказывали среди прочего про языка Clojure. Из известных мне, это первый, в котором STM реализована как конструкция языка изначально. В целом, синтаксис взят из Lisp'a. Впрочем, наличие акторов и то, что всё это добро компилируетсяв java-байткод заставят, по-видимому, посмотреть на него подробнее.

Итак, после двух с половиной ночей развлечения с Python'ом и MusiXTeX'ом была получена желаемая картинка для диплома.


( Read more... )