Пруф: https://github.com/ocaml/ocaml/commit/001997e81342fd0d321fd877b73608150601e7d9

Ещё по теме: Multicore OCaml таки вмержат в апстрим

Теперь ждём полноценного релиза пятой версии.

Вчера был вручен сабж за обнаружение осцилляции нейтрино.

Лауреатами стали канадец Артур Макдональд и японец Такааки Кадзита.

Читать тут и тут.

Алсо можно будет посмотреть прямой эфир «Announcement of the Nobel Prize in Chemistry 2015».

21 сентября 2015 года на платформе stepic.org стартует совместный курс СПбАУ РАН и Computer Science Center по основам функционального программирования на языке Haskell.

В рамках курса мы рассмотрим ленивую и энергичную семантики, алгебраические типы данных и их использование для сопоставления с образцом. Знакомясь с богатой системой типов Haskell, мы обсудим параметрический и специальный полиморфизм и, в частности, механизм классов типов. Мы изучим основные классы типов из стандартной библиотеки Haskell, в том числе функторы и монады. Мы научимся программировать, используя стандартные монады, в частности обсудим проблему ввода-вывода в чистых языках и его реализацию в Haskell с помощью монады IO, а также работу с изменяемым состоянием с помощью монады State.

Подробности тут.

Прямой эфир на NASA TV. Пуск назначен на 14-50 мск.

Открыта регистрация на онлайн курс «Introduction to functional programming in OCaml», который стартует 19 октября 2015 года и продлится 7 недель:

• Week 0: Introduction and overview
• Week 1: Basic types, definitions and functions
• Week 2: Basic data structures
• Week 3: More advanced data structures
• Week 4: Higher order functions
• Week 5: Exceptions, input/output and imperative constructs
• Week 6: Modules and data abstraction

Язык: английский.
Предварительные требования: базовые знания основ информатики и любого языка программирования.

Есть ли тут регистранты, изучающие немецкий язык? Как у вас организован процесс обучения? Какие материалы используете?

Про себя могу сказать следующее:

немецкий язык никогда не учил, занимаюсь самостоятельно каждый день (плюс-минус, разумеется, ибо не всегда хватает свободного времени) по 30-90 минут, разбираю «Begegnungen A1. Kurs und Arbeitsbuch», мимоходом смотрю «Полиглот» с Культуры, подумываю купить подписку на busuu.com. Пару раз разговаривал с нейтивами по скайпу плюс в моем городе есть бесплатный разговорный клуб.

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

Z3 — SMT решатель от Microsoft Research — опубликован под лицензией MIT.

Исходные коды доступны на гитхабе.

Nikolaj Bjørner — ведущий научный сотрудник MSR, как-то выступал с докладом в Яндексе о своей работе. Смотреть тут.

!Ъ — тыц

Ъ:

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

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

Собственно, сабж.

www.linux.org.ru/view-all.jsp?section=1

Not under a public suffix: go.espresso.dance К сожалению, произошла исключительная ситуация при генерации страницы.

Произошла непредвиденная ошибка. Администраторы получили об этом сигнал.

Всем привет!

На следующей неделе у нас лекция для математиков и им сочувствующих.

18 ноября, 19:30: Автоматическое доказательство теорем (Ренат Идрисов, к.ф.-м.н., ИСИ СО РАН)

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

Как именно работают системы автоматических доказательств и что за языки лежат в их основе? Похоже ли построение автоматических доказательств на программирование? Могу ли я доказывать свои любимые теоремы на C или C++?

В рамках лекции прозвучат ответы на эти и другие вопросы, а также будет проведен небольшой вводный инструктаж по Coq.»

Лекция пройдет в аудитории 223 нового спорткомплекса НГУ, вход свободный.

Онлайн-трансляция будет доступна вот тут: https://plus.google.com/events/cdtakpptlcidhk43o2sq7se3pqo

Все подробности, как всегда, на http://techtalks.nsu.ru

Боян, не?

Для Ъ: 15 октября стартанет сабж на edX. Копипаста описания:

Broadly speaking, functional programming is a style of programming in which the primary method of computation is the application of functions to arguments. Among other features, functional languages offer a compact notation for writing programs, powerful abstraction methods for structuring programs, and a simple mathematical basis that supports reasoning about programs.

Functional languages represent the leading edge of programming language design, and the primary setting in which new programming concepts are introduced and studied. All contemporary programming languages such as Hack/PHP, C#, Visual Basic, F#, C++, JavaScript, Python, Ruby, Java, Scala, Clojure, Groovy, Racket, … support higher-order programming via the concept of closures or lambda expressions.

This course will use Haskell as the medium for understanding the basic principles of functional programming. While the specific language isn't all that important, Haskell is a pure functional language so it is entirely appropriate for learning the essential ingredients of programming using mathematical functions. It is also a relatively small language, and hence it should be easy for you to get up to speed with Haskell.

Once you understand the Why, What and How that underlies pure functional programming and learned to “think like a fundamentalist”, we will apply the concepts of functional programming to “code like a hacker” in mainstream programming languages, using Facebook’s novel Hack language as our main example.

This course assumes no prior knowledge of functional programming, but assumes you have at least one year of programming experience in a regular programming language such as Java, .NET, Javascript or PHP.

This course will be taught by Erik Meijer, founder of Applied Duality, Inc. and professor of Cloud Programming at TUDelft. He is perhaps best known for his contributions to programming languages such as Haskell, C#, Visual Basic, and Hack, and his work on LINQ and the Rx Framework.

Мне в проект для İ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

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

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

Издательство ДМК-Пресс готовится к выпуску перевода книги «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

Сабж.

Анонс в 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.