Недавно автор B-Prolog, профессор City University of New York Neng-Fa Zhou, придумал новый язык программирования - Picat (Pattern-matching, Imperative, Constraints, Actors, Tabling ( Read more... )

В среду, 11-го марта 2015 года состоится первая встреча пользователей технологий Kx Systems: kdb+, СУБД, широко применяющейся для работы с временными рядами в алгоритмическом трейдинге и других областях, и q, встроенного в неё мощного языка программирования, наследника APL ( Read more... )

Выложили еще одну лекцию.

Click to view

Следующая лекция будет в БЦ Таймс по адресу Кантемировская 2а, 16 марта в 18:00.

Выложили еще одну лекцию.

Click to view

Следующая лекция будет в БЦ Таймс по адресу Кантемировская 2а, 16 марта в 18:00.

Выложили еще одну лекцию

Click to view

Следующая лекция будет 2 марта в 18:00 в БЦ Таймс по адресу Кантемировская 2а.

Сразу скажу - мопед не мой, я просто получил письмо от рекрутера, но может кому будет интересно ( Read more... )

Выложили еще одну лекцию.

Click to view

Следующая лекция будет 13 февраля в 19:00 в БЦ Таймс по адресу Кантемировская 2а.

6 февраля в 19:00 на 4-м этаже бизнес-центра "Таймс" (рядом с Кантемировским мостом) на базе института биоинформатики JetBrains стартует курс лекций Валерия Исаева (СПбАУ), напрямую посвященный гомотопической теории типов.

Первую лекцию можно посмотреть вот здесь:

Click to view

Неожиданно пришёл развёрнутый ответ на мой старый (неумный, так что нет смысла приводить его здесь) пост о Haskell vs Prolog. Возражений 2: а) хаскелл не равноценная замена Прологу б) не надоть нам ентих абстракций ( Read more... )

Сколько редексов в выражении (1+2)*(3+4) ?