LINUX.ORG.RU

Сообщения ymn

 

Ускорители NVIDIA получат прямой канал взаимодействия с NVMe накопителями

Новости — Hardware and Drivers
Группа Hardware and Drivers

NVIDIA представила GPUDirect Storage — новую возможность, которая позволяет графическим процессорам напрямую взаимодействовать с хранилищем NVMe. Технология использует RDMA GPUDirect для передачи данных в локальную память графического процессора без необходимости задействовать центральный процессор и системную память. Этот шаг является частью стратегии компании по расширению охвата приложений в области анализа данных и машинного обучения.

Ранее, NVIDIA выпустила RAPIDS — набор инструментов и библиотек с открытым исходным кодом для поддержки аналитики на основе графических процессоров и добавила поддержку ускорения на GPU в Apache Arrow и Spark.

Закрытая альфа-версия уже стартовала для некоторых клиентов компании, публичная бета запланирована на ноябрь 2019 года.

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

 ,

ymn ()

Вышел PyTorch 1.2.0

Новости — Разработка
Группа Разработка

PyTorch — популярный открытый фреймворк для машинного обучения обновился до версии 1.2.0. Новый релиз включает в себя более 1900 исправлений, которые охватывают JIT, ONNX, распределенные режимы обучения и улучшения производительности.

Некоторые изменения:

  • Новый TorchScript API позволяет легко сконвертировать nn.Module (включая подмодули и методы, вызываемые в forward()) в ScriptModule.
  • Совместно с Microsoft добавлена полная поддержка ONNX Opset версий 7(v1.2), 8(v1.3), 9(v1.4) и 10 (v1.5). Кроме того, теперь пользователи могут зарегистрировать свои собственные символы для экспорта кастомных операций и указывать динамические размеры входных данных во время экспорта.
  • Поддержка tensorboard больше не является экспериментальной.
  • Добавлен модуль nn.Transformer, основанный на статье Attention Is All You Need.
  • Многочисленные улучшения в C++ API.

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

 , ,

ymn ()

Компилятор GHC языка Haskell: теория языков программирования в работе

Новости — Конференции и встречи
Группа Конференции и встречи

31 марта в Санкт-Петербурге стартует двухдневный курс лекций Виталия Брагилевского о внутреннем устройстве компилятора GHC.

Компилятор GHC (The Glasgow Haskell Compiler) языка Haskell уже в течение почти 30 лет представляет собой площадку для экспериментов в области теории языков программирования. В рамках этого курса мы посмотрим, какие именно результаты теории в нём реализованы, а также обсудим, как можно подключиться к его разработке.

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

Вторая часть (три лекции) будет посвящена внутреннему языку GHC Core, в который транслируется код на Haskell и который представляет собой расширение системы полиморфного λ-исчисления высших порядков System Fω, а также вычислению выражений Core с использованием STG-машины.

Лекции будут проходить в ПОМИ РАН (Набережная реки Фонтанки, 27, Мраморный зал (2 этаж)).

Участие бесплатное, регистрация не требуется.

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

 , ,

ymn ()

N2O 4.5 для ненадёжных сетей и IoT периферии

Новости — Open Source
Группа Open Source

N2O — высокопроизводительный и компактный full-stack релей-сервер приложений на Erlang, форкнутый от фреймворка Nitrogen и вобравший в себя когда-то лучшие его идеи. Четыре года назад N2O избавился от ненужных зависимостей и стал одновременно мощным средством для создания web-приложений. А сегодня, начиная с версии N2O 4.5, протоколы данных переведены на более высокий уровень и становятся лежащими поверх протокола MQTT 5.0, обеспечивающего доставку сообщений в ненадёжных сетях с уровнями QoS 0, 1 и 2.

( читать дальше... )

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

 ,

ymn ()

Очередная встреча сообщества RuHaskell

Новости — Конференции и встречи
Группа Конференции и встречи

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

  • Дмитрий Зуйков в докладе «Haskell вместо СУБД» поделится опытом отказа от реляционной СУБД в веб-проекте в пользу in-memory структуры данных и CAS (Content-addressable storage).
  • Катерина Галкина в докладе «Интеграция с API внешних сервисов» расскажет о взаимодействии с чужими HTTP API с помощью servant, aeson и swagger2.
  • Алексей Пирогов расскажет о построении Web GUI с использованием GHCJS и библиотеки react-flux.
  • Антон Холомьёв выступит с докладом «Если нельзя писать на Haskell, но очень хочется», в котором поделится опытом использования Haskell для построения графических интерфейсов и UI.

Встреча пройдет 6 апреля 2017 года с 19:00 до 22:00 в штаб-квартире «Лаборатории Касперского», Москва, Ленинградское шоссе, 39Ас2.

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

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

 ,

ymn ()

Московская встреча сообщества RuHaskell

Новости — Конференции и встречи
Группа Конференции и встречи

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

Список докладов:

  • Павел Филонов, разработчик-исследователь, Лаборатория Касперского — «Концепты C++ и классы типов Haskell».
    В ходе изучения различных технических идей очень помогает использование аналогий и задействований из близких областей знаний. Именно в таком контексте предлагается рассмотреть два инструмента из разных языков программирования. Какие проблемы они решают. Что в них похоже, и в чём отличие. Слушатели, знакомые с концептами C++, смогут лучше понять классы типов из Haskell и наоборот. Если эти два инструмента кажутся непонятными, то у вас есть уникальная возможность составить своё впечатление с чистого листа об обоих.
  • Юрий Сыровецкий, разработчик, Лаборатория Касперского — «Ivory — производительный код на Haskell».
    Обсудим проблемы написания программ с гарантиями производительности и потребления памяти, а также особенности разработки на C и Haskell с использованием language-c и Ivory.
  • Алексей Пирогов, разработчик, Lendmix — «Elm как идея и способ писать Web UI (почти) без боли».
    Этот доклад призван как дать общее представление о языке Elm, так и познакомить с некоторыми идеями, на взгляд докладчика, способными послужить примером того, как можно и нужно строить экосистему языка и сообщество вокруг неё.
  • Николай Кудасов, технический директор, GetShopTV — «Простые MMO игры на Haskell».
    В этом докладе мы с нуля реализуем многопользовательскую онлайн игру и познакомимся с организацией проекта при помощи Stack и Cabal, библиотеками gloss, servant, binary, stm. Если останется время, мы обсудим GHCJS и перенесём интерфейс игры на страницу браузера при помощи библиотеки reflex-gloss.

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

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

 ,

ymn ()

Очередная встреча Scala Moscow User Group

Новости — Конференции и встречи
Группа Конференции и встречи

29 июня пройдет очередная встреча Scala User Group в Москве.

Список докладов:

  • «Пример реализации CRUD на базе Play и Slick», Александр Ларин и Александр Макоед.
  • «Тайпклассы в Scala», Николай Татаринов.
  • «Выпьем Vodka», Алексей Фомкин.

Встреча начнётся в среду, 29 июня, в 19:00 по адресу ул. Рочдельская, 15, стр.17-18, 3 этаж (Тех-хаб Ключ).

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

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

 ,

ymn ()

Весенний Go-митап

Новости — Конференции и встречи
Группа Конференции и встречи

14 мая в московском офисе компании Badoo пройдет весенний Go-митап.

Программа встречи:

  • Марко Кевац, Badoo, «Оптимизация программ на Go». Из доклада вы узнаете:
    • про большинство утилит из арсенала Go, предназначенных для оптимизации производительности;
    • как и когда их (утилиты) использовать, а также мы посмотрим как они устроены внутри;
    • про применимость linux утилиты perf для оптимизации программ на Go.
  • Сергей Камардин, Mail.ru Group, «Семь тысяч rps, один Go». Из доклада вы узнаете:
    • как мы пришли к Go, оставив идею использования Node.js, Scala или Rust;
    • про первый сервис, который мы написали на Go и запустили в продакшен;
    • про ошибки, с которыми сталкивались под нагрузкой;
    • про оптимизации, которые мы сделали и еще планируем сделать;
    • про тестирование и предотвращение тестирования на продакшене (в частности, websocket'ов).
  • Алексей Палажченко, mc² software, «Reform: путь к лучшему ORM». Из доклада вы узнаете:
    • как работает database/sql;
    • интерфейс и реализации database/sql/driver;
    • обзор популярных ORM и что с ними не так;
    • как мы делали свой лучший ORM;
    • и почему столько раз его переделывали.

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

 ,

ymn ()

Выбран новый лидер проекта Debian

Новости — Debian
Группа Debian

Новым лидером проекта Debian выбран Мехди Догуи (Mehdi Dogguy).

В ежегодном голосовании приняли участие 282 разработчика (27,5% от общего количества).

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

 

ymn ()

Вышла Agda 2.5.1

Новости — Open Source
Группа Open Source

Чистый функциональный язык программирования и система интерактивного доказательства Agda обновилась до версии 2.5.1.

Некоторые изменения:

  • представлена официальная пользовательская документация;
  • с помощью прагмы HASKELL можно добавлять к модулю произвольный код на Haskell;
  • многочисленные изменения в области метапрограммирования и рефлексии;
  • исправлены некоторые ошибки в бекэндах:
    • теперь нет необходимости указывать {-# COMPILED_DATA #-} для встроенных типов Bool, Int, Float и других;
    • клозы функций с разной арностью компилируются корректно;
    • поддержка co-patterns в бекэндах GHC/UHC;
  • поддержка Utrecht Haskell Compiler (UHC) в качестве бекэнда.

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

 ,

ymn ()

Релиз OpenBSD 5.9

Новости — BSD
Группа BSD

Команда разработчиков рада сообщить о досрочном выходе очередного релиза — OpenBSD 5.9.

Некоторые изменения:

  • на системах i386 в адресном пространстве ядра по умолчанию активирован режим, при котором страницы памяти не доступны на запись и исполнение одновременно (режим W^X);
  • добавлена поддержка WiFi IEEE 802.11n;
  • обработка входящих сетевых пакетов производится в параллельных потоках. Такой режим работы доступен для carp(4), trunk(4) и vlan(4);
  • улучшена поддержка таблиц разделов GPT, добавлена поддержка UEFI;
  • добавлен механизм pledge(2), обеспечивающий изоляцию системных вызовов;
  • поддержка работы в роли гостевой системы под Xen: добавлены драйверы xen(4) (инициализация Xen domU и режим PVHVM), viocon(4) (консоль virtio), xspd(4) и xnf(4);
  • отключена поддержка всех локалей, за исключением UTF-8;
  • многочисленные улучшения в драйверах устройств;
  • многочисленные обновления ПО;
  • новые песни.

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

 ,

ymn ()

Открыт предварительный заказ книги «Введение в статистическое обучение с примерами на языке R»

Новости — Документация
Группа Документация

В ближайшее время издательством «ДМК Пресс» будет выпущена книга «Введение в статистическое обучение с примерами на языке R» (перевод книги «An Introduction to Statistical Learning with Applications in R»). В этой книге описаны одни из наиболее важных методов моделирования и прогнозирования, а также примеры их практического применения.

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

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

Новость в блоге переводчика

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

 , ,

ymn ()

Нобелевская премия по физике

Форум — Science & Engineering

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

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

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

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

 ,

ymn ()

Курс «Функциональное программирование на языке Haskell»

Форум — Development

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

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

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

 ,

ymn ()

Прямая трансляция запуска HTV-5

Форум — Science & Engineering

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

 ,

ymn ()

Курс «Introduction to functional programming in OCaml»

Форум — Development

Открыта регистрация на онлайн курс «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

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

 ,

ymn ()

Открыт исходный код статического анализатора Infer

Новости — Open Source
Группа Open Source

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

В настоящее время Infer умеет обнаруживать следующие проблемы в программах, написанных на C, Java и Objective-C:

  • разыменование NULL-указателей;
  • утечки памяти и ресурсов.

Исходный код Infer написан на языке OCaml и распространяется на условиях лицензии BSD.

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

 , ,

ymn ()

Открыт предварительный заказ книги «Статистический анализ и визуализация данных с помощью R»

Новости — Документация
Группа Документация

В ближайшее время издательством «ДМК Пресс» будет выпущена печатная версия книги «Статистический анализ и визуализация данных с помощью R», в которой содержится:

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

Предыдущая редакция книги, исходные данные для анализа и примеры скриптов для их обработки доступны в репозитории на github и распространяются на условиях лицензии CC-BY-NC-SA.

Новость в блоге одного из авторов.

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

 ,

ymn ()

Немецкий язык

Форум — Talks

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

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

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

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

 ,

ymn ()

Исходные коды Z3 опубликованы под лицензией MIT

Форум — Development

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

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

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

 

ymn ()

RSS подписка на новые темы