Tuesday, May 18, 2021

Deep Learning for compilers

Глубинное обучения и компиляторы - диссертация, посвященная использованию deep lerning в компиляторах. Возможно, название не совсем соответствует содержанию, но раздел, посвященный фаззингу - весьма интересный.

P.S. и интересная дискуссия на YC

P.P.S. см. также другие материалы, посвященные deep learning

Thursday, May 13, 2021

Открытая наука, том 9, номер 5

Очередной номер журнала INJOIT появился на сайте Киберленинка

Это том 9, номер 5 за 2021 год. По данным elibrary.ru, журнал INJOIT занимает второе место в разделе Кибернетика и второе в разделе Автоматика и вычислительная техника

/via Лаборатория ОИТ

Wednesday, May 12, 2021

Saturday, May 08, 2021

Недолго осталось программировать?

Генерация кода по спецификациям на естественном языке. Основа - GPT-3. Причем авторы ходит это запустить именно как платный сервис. Будет цена за фрагменты кода.

Wired посвятил целую статью системам роботизации программирования. Facebook продвигает свой проект Aroma по рекомендации фрагментов кода (ищет похожие куски кода). MISIM от Intel также занимается сравнением фрагментов кода. А Google (Deepmind) просто хочет переписывать код для большей эффективности.

P.S. см. также другие публикации по теме автоматизация программирования

Данные как сервис

Базовые принципы DaaS

Friday, May 07, 2021

Анализ данных в R

Tidyverse - коллекция пакетов R для анализа данных. И учебник по использованию Tidyverse Skills for Data Science

P.S. см. также другие публикации, посвященные использованию R

Совпадает?

Отличная статья с разъясненями и примерами - как же осуществляется сравнения поисковых запросов с образцом

Thursday, May 06, 2021

Wednesday, May 05, 2021

Практика SAT/SMT

Учебник по S3 - алгебраический решатель

И дискуссия на YC

INJOIT vol. 9, no. 5

Вышел пятый номер журнала INJOIT в 2021 году. И девятый год издания журнала.

Темы статей:

  • Бесконечные деревья в алгоритме проверки условия эквивалентности итераций конечных языков. Часть II
  • Using topic modeling for communities clusterization in the VKontakte social network
  • Критерии распространения различных классов булевых функций и их свойства
  • Reconstruction of 2D structure of highly absorbing media
  • Отбор информативных операций при построении линейно-неэлементарных регрессионных моделей
  • Threat modeling of cloud systems with ontological security pattern catalog
  • Особенности разработки информационной системы для учета льготного питания школьников
  • Программная система входного профилирования абитуриентов – помощь при выборе будущей профессии
  • Разработка информационной системы и приложения по приему и сопровождению заявок службы технической поддержки администрации
  • Situational Digitalization of the Population Activities
  • Об управлении трафиком в Умном городе

Архив журнала находится здесь.

/via Лаборатория ОИТ