15 сентября 2014 года, CSC запустит три новых онлайн-курса для начинающих программистов:

• Алгоритмы и структуры данных.
• Программирование на языке C++.
• Введение в архитектуру ЭВМ. Элементы операционных систем.

Данные три онлайн-курса являются «джентльменским набором» начинающего программиста, преподаются на русском языке и бесплатны для всех желающих.

Computer Science Center – это совместная инициатива Академии современного программирования, Computer Science клуба при ПОМИ РАН и Школы анализа данных.

Основная цель Computer Science Center – дать возможность желающим получить востребованные современной наукой и промышленностью знания в дополнение к университетскому образованию.

>>> Подробности

9 августа 2014, в Киеве состоится конференция Most Functional Day.

Предварительный список докладов:

• Максим Сохацкий — «N2O самый мощный Erlang Web Framework».
• Владимир Кириллов — «Функциональный тулчейн Nix».
• Всеволод Демкин — «Lisp-машина с современной точки зрения».
• Роман Чепляка — «Обобщенное (generic) программирование в Haskell».

Место проведения: г. Киев, Olympic Hall, ул. Вадима Гетьмана 1в, 3-й этаж (М. «Шулявская»)

Участие платное. Необходима предварительная регистрация.

>>> Подробности

General Dynamics C4 Systems и NICTA рады объявить об открытии исходных кодов seL4 — первого в мире ядра операционной системы с доказанной корректностью:

• бинарный код микроядра seL4 правильно реализует поведение, описанное в его абстрактной спецификации;
• данные не могут быть изменены либо прочитаны без разрешения;
• ранее, в 2009 году, разработчиками было доказано соответствие исходного кода ядра, написанного на языке Си, и его спецификации. Теперь же дополнительно показана двоичная корректность.

Исходные коды доступны для широкой публики на GitHub.

>>> Подробности

Мне в проект для İstanbul Üniversitesi срочно нужен помощник.

Надо бы уметь:

• программировать на языке Scala хотя бы на уровне L1 (или иметь некоторый опыт разработки на Java и языках с развитыми системами типов: OCaml, Haskell, Coq);
• иметь хорошую математическую подготовку (мат. статистика, анализ данных) и иметь опыт работы с математическими пакетами а-ля MatLab, Octave, R;
• Hadoop MapReduce;
• базовые алгоритмы и структуры данных;
• английский язык (можно особо не говорить, но вот писать надо бы более менее грамотно);
• git, redmine и т.п. сопутствующие написанию софта вещи.

Работа временная (ориентировочно 1-2 месяца). Удаленка. Зарплата от $3000 до $5000 в месяц.

Проект новый, так что легаси-кода нет. Все покрыто тестами и задокументировано.

Ящик для резюме указан у меня в профиле. Резюме принимаем до 21 июля.

Задавать вопросы можно прям тут.

А есть ли тут школота^W студенты из Казани?

С 21 по 30 августа 2014 года в Казани пройдет VI Летняя школа МФТИ–Университета Иннополис по высокопроизводительным вычислениям и их приложениям к задачам современной биологии и медицины.

Бесплатно, без смс, регистрация обязательна.

Пруф, хабрапруф

К участию приглашаются слушатели с уровнем образования не ниже бакалавриата или 4 курса специалистов технических ВУЗов, университетов, факультетов: механико-математический, физический, биологический, прикладной математики. Обязательно владение языками программирования – С/C++. Желательно знание ОС Linux на уровне пользователя. Должны быть прослушаны курсы дифференциальных уравнений, желательно – курсы вычислительной математики и уравнений математической физики.

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

Уровень подготовки: естественно-научные дисциплины в непрофильном техническом вузе.

cast DNA_Seq, Dorif

Сабж. Пруф: http://www.rg.ru/2014/06/10/laureati-site-anons.html

Копипаста для Ъ:

Академик Александр Григорьев получил премию за научное обоснование, разработку и практическую реализацию системы медицинского обеспечения экипажей при длительных космических полетах. Академик Виктор Маслов удостоен награды за выдающийся вклад в развитие математики и разработку математических основ современной термодинамики. Лауреатом премии за выдающиеся достижения в области гуманитарной деятельности стал академик Евгений Примаков.

Чистый функциональный язык программирования и система интерактивного доказательства Agda обновилась до версии 2.4.0. Новый выпуск содержит солидное число изменений и улучшений, некоторые из которых представлены ниже:

• экспериментальная возможность: Varying arity — теперь клозы функции могут иметь различное число аргументов;
• бекэнд MAlonzo теперь позволяет компилировать неполные программы (т.е. без функции main). Основная цель — написать на Agda лишь часть программы, для которой позднее можно дописать недостающий Haskell-код. Введена новая опция командной строки --compile-no-main;
• представлено новый модуль Agda.Primitive;
• экспериментальная возможнось: copatterns (с соответствующей опцией {-# OPTIONS --copatterns #-});
• незначительные изменения в синтаксисе;
• многочисленные улучшения в agda-mode для Emacs.

>>> Подробности

В этот четверг, 29 мая, пройдет четвертая встреча Scala User Group в Москве, в рамках которой анонсированы следующие доклады:

• Доклад Андрея Неверова о возможностях драйвера ReactiveMongo и его использовании в приложениях на базе Play Framework.
• Рассказ Александра Соловьёва о том, как и почему он променял Esper на Akka.
• Доклад Aлександра Мыльцева об основанном на макросах генераторе парсеров Parboiled2.

Встреча пройдет 29 мая в 19:30 на территории НИИ «Восход» по адресу: м. Проспект Вернадского, ул. Удальцова, д. 85.

>>> Подробности

Издательство ДМК-Пресс готовится к выпуску перевода книги «Real World OCaml».

Пруф.

Дата выхода: 15 июня 2014 года

Аннотация к книге:

Это динамичное руководство введет вас в мир OCaml, надежный язык программирования, обладающий большой выразительностью, безопасностью и быстродействием. Пройдя через множество примеров, вы быстро поймете, что OCaml – это превосходный инструмент, позволяющий писать быстрый, компактный и надежный системный код.

Книга быстро проведет вас по основным понятиям языка и затем расскажет о приемах и инструментах, которые помогают превратить OCaml в эффективное средство разработки практических приложений. В третьем разделе книги вы сможете углубиться в изучение тонких особенностей инструментов компилятора и среды выполнения OCaml.

Включённые в книгу упражнения позволят вам:

• познакомиться с основами языка, такие как функции высшего порядка, алгебраические типы данных и модули;
• исследовать расширенные особенности, такие как функторы, модули первого порядка и объекты;
• узнать, как пользоваться библиотекой Core, всеобъемлющей, универсальной стандартной библиотекой для OCaml;
• научиться проектировать эффективные библиотеки многократного пользования с применением подходов к абстрагированию и модульности, характерных для OCaml;
• увидеть способы решения практических задач программирования, от анализа аргументов командной строки до реализации асинхронных сетевых операций;
• изучить приемы профилирования и отладки с такими инструментами, как GNU gdb.

На курсере стартовал сабжевый курс.

Пруф: https://class.coursera.org/latex-001

Прослушав данный курс, вы узнаете, как оформить ваши идеи в виде красивого, профессионально сверстанного текста и слайдов презентации. Вы также научитесь быстро и легко набирать даже самые сложные математические формулы. Перед вами откроются возможности cоздания как простых таблиц, так и таблиц со сложной структурой. Оформление библиографии и ссылок на источники также перестанет быть для вас проблемой. Вам больше не нужно будет тратить время на создание содержания вашей работы, списка таблиц и иллюстраций — этот курс научит вас делать это с использованием всего лишь одной команды. Вы узнаете об особенностях работы с документами, набранными с использованием русского языка, а также научитесь использовать систему LaTeX для создания красивой векторной графики. На этом курсе вы поймете, что качественно оформить любой документ, будь то статья в журнале, курсовая работа или годовой отчет, — легко.

С праздником, посоны!

7 мая (25 апреля по старому стилю) 1895 года русский физик Александр Попов продемонстрировал сеанс радиосвязи. Впервые эта дата была торжественно отмечена в СССР в 1925 году, а с 1945 праздник отмечается ежегодно.

На курсере в очередной раз стартовал сабжевый курс.

Главная фишка этого витка — возможность принимать участие в «Signature Track».

Страница курса — https://class.coursera.org/progfun-004

Computer Science Center открывает набор студентов на 2014-2016/2017 уч.гг.

Анкеты на поступление будут приниматься до конца дня 10 мая 2014 года.

Центр предлагает двух- или трехгодичные очные вечерние курсы с возможностью получения дипломов по трём направлениям: Computer Science (современная информатика), Data Mining (анализ данных), Software Engineering (разработка программного обеспечения).

Место и время проведения письменного экзамена будет сообщено по электронной почте всем, заполнившим анкету (экзамен пройдет в один день, выбирать день нельзя). Информация об онлайн-курсе будет также отправлена в письме.

Программа обучения составлена на основе опыта лучших зарубежных вузов в области IT. Учащиеся могут освоить такие разделы Computer Science, которые обычно не входят в программу российских университетов. Курсы читают ведущие преподаватели вузов Санкт-Петербурга и Москвы, а также опытные и практикующие эксперты – сотрудники Яндекса, JetBrains и др. Обязательной частью обучения является практика или исследовательская работа.

Обучение бесплатное.

Познакомиться с кураторами CS центра, лично задать вопросы и узнать больше о самом центре можно на Дне открытых дверей, который состоится 20 апреля в 15:30 в ПОМИ РАН, Мраморный зал, 2 этаж (карта).

>>> Подробности

14 марта 2014 года состоится встреча московской группы пользователей Scala, в рамках которой анонсировано два доклада:

• «Monadic Bakery with Spray and Scalaz» (Алексей Иванов);
• «Теория типов, или как мы занимаемся математикой, программируя на Scala» (Владимир Успенский).

Встреча пройдет в офисе компании «Тинькофф Кредитные Системы» (Москва, Ленинградское шоссе, 39А, строение 1).

Участие бесплатное. Необходима предварительная регистрация.

>>> Подробности

5 марта 2014 в Одессе состоится конференция «AI&BigData Lab», посвященная одной из самых популярных и обсуждаемых IT-тем — большим данным и искусственному интеллекту.

Конференция пройдет в два потока, в рамках которых разработчики обсудят технические вопросы реализации и применения в реальных проектах различных алгоритмов, инструментов и новых технологий для работы с большими данными и искусственным интеллектом. Будут представлены воплощенные в жизнь проекты, расказано о их функционале для пользователей, а также показано, как они работают внутри.

Предварительная программа мероприятия:

• «Natural Language Processing на практике» (Всеволод Демкин, Grammarly).
• «Data Mining и информационный поиск: проблемы, алгоритмы, решения» (Александр Краковецкий, DevRain Solutions).
• «DeepLearning: сложный анализ данных простыми словами» (Сергей Шелпук, SoftServe).
• «Интересная работа на каждый день: AI в обычных корпоративных приложениях» (Александр Слипченко, Intranel Ltd).
• «Что такое визуализация данных, или почему специалисты, работающие с данными, должны быть немного художниками» (Владимир Тимашов, DataArt).
• «AI&BigData для путешественников» (Кузнецов Юрий, Senturia).
• «Методы распараллеливания и эффективных вычислений в языке R»(Владислав Колбасин, Aginity).
• «Моделирование структурными уравнениями (Structural Equation Modeling) в среде R» (Алексей Гаевский).
• Воркшоп «Распознаем движения человека используя R» (Николай Павлов).
• Воркшоп «Обработка неструктурированных данных большого объёма в облаке с помощью Hadoop» (Игорь Чубин).

Участие платное.

>>> Подробности

3 марта 2014 года стартуют курсы про программированию на языке Clojure.

Предварительный план занятий:

• Основы языка Clojure и инструменты работы с ним.
• Интеграция с Java.
• Параллельное программирование.
• Метапрограммирование.
• Доступ к данным (SQL и NoSQL).
• Веб-приложение на Clojure.
• ClojureScript для разработки Single-Page Application.

>>> Подробности

Сабж.

Анонс в coq-club:

In case anyone is in the mood to take a break from worrying about the inconsistency of HoTT Coq, here's a quick announcement.

For a few years now, I've been working on a book introducing Coq with an unusual slant, focusing on what I think are the most important techniques to implement and maintain large developments: http://adam.chlipala.net/cpdt/

The book has been available freely online from the start, and I'm pleased to announce that a print version from MIT Press is now available. You can find online ordering links on the page I've referenced.

I'm grateful to MIT Press for agreeing to this experiment where I may continue distributing free versions of the book online.

Сабж. На главной висит две новости про Go.

На новость не тянет, имхо, так что напишу здесь.

SWI-Prolog обновился до версии 7.1.0. Подробный список изменений можно найти тут.

Версия для Ъ:

• Lists are no longer represented as .(H,T). Instead, the list functor is now '$cons'(H, T). The empty list is still [], but this is not an atom. I.e., '[]' == [] fails.
• By default, double quoted «text» is mapped to an object of type string. This already raised some discussions.
• The system introduces `maps' as primary citizens. Maps are collections of key-value pairs, optionally typed. Maps are supported by read and write.
• Quoted atoms are no longer operators.
• Unquoted atoms may contain internal dots. E.g., a.b is an atom.
• functor() is valid syntax. It produces a term that is distinct from 'functor'. The `block' operator '()' to hack this syntax has been removed.
• The `block' operators [] and {} remain.