Наш опыт использования вычислительного кластера из 480 GPU AMD RX 480 при решении математических задач. В качестве задачи мы взяли доказательство теоремы из статьи профессора Чуднова А.М. “Циклические разложения множеств, разделяющие орграфы и циклические классы игр с гарантированным выигрышем“. Задача заключается в поиске минимального числа участников одной коалиции в коалиционных играх Ним-типа, гарантирующее выигрыш одной из сторон.
Рубрика «Программирование» - 389
Секреты невозможных вычислений на GPU
2018-10-08 в 17:34, admin, рубрики: combox, gpu, opencl, Блог компании ComBox Technology, Видеокарты, вычислительный кластер, задача чуднова, комбокс, математика, Программирование, решение математических задач, функциональное программирование, циклические разложения множеств
К чему могут привести ошибки в ПО?
2018-10-08 в 14:55, admin, рубрики: big data, Интернет вещей, Программирование, Разработка под e-commerceНе секрет, что разработка программного обеспечения является дорогим процессом. Новые технические инструменты помогают достичь быстрых, дешевых и эффективных результатов в бизнесе. Чем больше дохода приносит предприятие, тем больше вы задумываетесь о инвестициях в программное обеспечение. ПО же в свою очередь может иметь скрытые дефекты, которые могут принести вред компании.
Читать полностью »
KotlinConf 2018 — кейноут и первые видео
2018-10-08 в 14:05, admin, рубрики: Conference, java, jetbrains, kotlin, mobile, Блог компании JetBrains, конференции, Программирование, разработка мобильных приложений3-5 октября в Амстердаме прошла конференция KotlinConf 2018, и мы рады поделиться первыми видео. Смотрите кейноут Андрея Бреслава, руководителя проекта Kotlin:
Ещё 8 видео доступны в нашем канале на YouTube.
Подпишитесь и получите ссылку на все видео, как только они станут доступны.
Ваша команда JetBrains
Читать полностью »
Такой исключительный Go
2018-10-08 в 13:43, admin, рубрики: exception handling, exceptions, Go, golang, iferr!=nilsucks, panic, ненормальное программирование, ПрограммированиеНедавно были опубликованы черновики дизайна новой обработки ошибок в Go 2. Очень радует, что язык не стоит на одном месте — он развивается и c каждым годом хорошеет как на дрожжах.
Только вот пока Go 2 лишь виднеется на горизонте, а ждать уж очень тягостно и грустно. Посему берем дело в свои руки. Немножко кодогенерации, чуть работы с ast, и легким движением руки паники превращаются, превращаются паники… в элегантные исключения!
«Инфосистемы Джет», Росреестр, НЛМК и «Утконос» запускают AI-хакатон
2018-10-08 в 11:29, admin, рубрики: RAIF, Блог компании Инфосистемы Джет, ИИ, машинное обучение, Программирование, хакатон, Хакатоны
Друзья, мы запустили соревнование среди AI/ML-разработчиков – RAIF Hackathon. Приглашаем вас принять участие! Мероприятие проводится в рамках делового бизнес-форума RAIF 2018 (The Russian Artificial Intelligence Forum). Год назад мы делали похожий хакатон, но в этот раз формат будет отличаться. Вас ждут 2 этапа: отборочный онлайн- и финальный офлайн-баттл на глазах у гостей RAIF. Три задачи – от Росреестра, «Утконоса» и Новолипецкого металлургического комбината (НЛМК) – и, соответственно, три номинации на выбор. Призовой фонд – больше 1 млн рублей. И да, как и в прошлом году, надо будет решить поставленные задачи с помощью технологий машинного обучения ;).
Читать полностью »
[Питер] Встреча JUG.ru с Венкатом Субраманиамом — Design Patterns in the Light of Lambda Expressions
2018-10-08 в 10:43, admin, рубрики: java, jug.ru, jugru, Блог компании JUG.ru Group, конференции, ПрограммированиеВ четверг, 18 октября, за день до Joker 2018, в петербургском офисе компании Oracle состоится встреча JUG.ru с Венкатом Субраманиамом (Dr. Venkat Subramaniam), всемирно известным Java-энтузиастом, Java-чемпионом, известным спикером, консультантом и популярнейшим автором книг по программированию. Регистрация и информация о спикере — под катом.
![[Питер] Встреча JUG.ru с Венкатом Субраманиамом — Design Patterns in the Light of Lambda Expressions - 1](https://www.pvsm.ru/images/2018/10/08/piter-vstrecha-JUG-ru-s-venkatom-subramaniamom-Design-Patterns-in-the-Light-of-Lambda-Expressions.jpg "[Питер] Встреча JUG.ru с Венкатом Субраманиамом — Design Patterns in the Light of Lambda Expressions - 1")
Шаблоны проектирования — одна из центральных идей в объектно-ориентированном программировании. Как только в языке Java появились лямбды, появился повод обдумать их влияние на паттерны проектирования. На этом Джуге мы рассмотрим некоторые типовые шаблоны и переработаем их с использованием лямбд. В добавок, мы познакомимся с менее популярными, но не менее интересными паттернами, в которых можно удачно применить лямбды.
Джуг пройдет на английском языке.
Курс MIT «Безопасность компьютерных систем». Лекция 10: «Символьное выполнение», часть 3
2018-10-07 в 21:00, admin, рубрики: smt, Анализ и проектирование систем, Блог компании ua-hosting.company, информационная безопасность, Программирование, решатели SAT, Символьное выполнение, теория массивов TOA, теория неинтерпретированных функцийМассачусетский Технологический институт. Курс лекций #6.858. «Безопасность компьютерных систем». Николай Зельдович, Джеймс Микенс. 2014 год
Computer Systems Security — это курс о разработке и внедрении защищенных компьютерных систем. Лекции охватывают модели угроз, атаки, которые ставят под угрозу безопасность, и методы обеспечения безопасности на основе последних научных работ. Темы включают в себя безопасность операционной системы (ОС), возможности, управление потоками информации, языковую безопасность, сетевые протоколы, аппаратную защиту и безопасность в веб-приложениях.
Лекция 1: «Вступление: модели угроз» Часть 1 / Часть 2 / Часть 3
Лекция 2: «Контроль хакерских атак» Часть 1 / Часть 2 / Часть 3
Лекция 3: «Переполнение буфера: эксплойты и защита» Часть 1 / Часть 2 / Часть 3
Лекция 4: «Разделение привилегий» Часть 1 / Часть 2 / Часть 3
Лекция 5: «Откуда берутся ошибки систем безопасности» Часть 1 / Часть 2
Лекция 6: «Возможности» Часть 1 / Часть 2 / Часть 3
Лекция 7: «Песочница Native Client» Часть 1 / Часть 2 / Часть 3
Лекция 8: «Модель сетевой безопасности» Часть 1 / Часть 2 / Часть 3
Лекция 9: «Безопасность Web-приложений» Часть 1 / Часть 2 / Часть 3
Лекция 10: «Символьное выполнение» Часть 1 / Часть 2 / Часть 3Читать полностью »
Программирование — это материализация идей
2018-10-07 в 17:50, admin, рубрики: reification, материализация идей, парадигма, Программирование, программная инженерия
Основной тезис этой статьи: Разработку программного обеспечения следует рассматривать как материализацию идей посредством трансформации ментальных моделей в программный код.
В статье описывается парадигма материализации идей в программной инженерии (engl.: RPSE: Reification as Paradigm of Software Engineering).
Читать полностью »
Курс MIT «Безопасность компьютерных систем». Лекция 10: «Символьное выполнение», часть 2
2018-10-06 в 21:01, admin, рубрики: smt, Анализ и проектирование систем, Блог компании ua-hosting.company, информационная безопасность, Программирование, решатели SAT, Символьное выполнение, теория массивов TOA, теория неинтерпретированных функцийМассачусетский Технологический институт. Курс лекций #6.858. «Безопасность компьютерных систем». Николай Зельдович, Джеймс Микенс. 2014 год
Computer Systems Security — это курс о разработке и внедрении защищенных компьютерных систем. Лекции охватывают модели угроз, атаки, которые ставят под угрозу безопасность, и методы обеспечения безопасности на основе последних научных работ. Темы включают в себя безопасность операционной системы (ОС), возможности, управление потоками информации, языковую безопасность, сетевые протоколы, аппаратную защиту и безопасность в веб-приложениях.
Лекция 1: «Вступление: модели угроз» Часть 1 / Часть 2 / Часть 3
Лекция 2: «Контроль хакерских атак» Часть 1 / Часть 2 / Часть 3
Лекция 3: «Переполнение буфера: эксплойты и защита» Часть 1 / Часть 2 / Часть 3
Лекция 4: «Разделение привилегий» Часть 1 / Часть 2 / Часть 3
Лекция 5: «Откуда берутся ошибки систем безопасности» Часть 1 / Часть 2
Лекция 6: «Возможности» Часть 1 / Часть 2 / Часть 3
Лекция 7: «Песочница Native Client» Часть 1 / Часть 2 / Часть 3
Лекция 8: «Модель сетевой безопасности» Часть 1 / Часть 2 / Часть 3
Лекция 9: «Безопасность Web-приложений» Часть 1 / Часть 2 / Часть 3
Лекция 10: «Символьное выполнение» Часть 1 / Часть 2 / Часть 3Читать полностью »
Быстрая математика с фиксированной точкой для финансовых приложений на Java
2018-10-06 в 16:53, admin, рубрики: java, высокая производительность, математика, Программирование, фиксированная точкаНе секрет, что финансовая информация (счета, проводки и прочая бухгалтерия) не очень дружит с числами с плавающей точкой, и множество статей рекомендует использовать фиксированную точку (fixed point arithmetic). В Java этот формат представлен, по сути, только классом BigDecimal, который не всегда можно использовать по соображениям производительности. Приходится искать альтернативы. Эта статья описывает самописную Java библиотеку для выполнения арифметических операций над числами с фиксированной точностью. Библиотека была создана для работы в высокопроизводительных финансовых приложениях и позволяет работать с точностью до 9 знаков после запятой при сохранении приемлемой производительности. Ссылка на исходники и бенчмарки приведены в конце статьи.