Home » 2021 » November » 16

Daily Archives:

Первый truly stateless оптимальный алгоритм модел-чекера и его проверка на Coq

Надоели нестабильные баги в многопоточном коде? Попробуй воспользоваться модел-чекерами! Ведь больше не надо бояться неверифицированных модел-чекеров,  работающих либо за экспоненциальное время, либо неоптимально. Все это в прошлом: в Max Planck Institute for Software Systems разработали новый алгоритм под названием TruSt, который решает эти проблемы и, кроме того, верифицирован на Coq. Меня зовут Владимир Гладштейн. Этим летом я проходил стажировку в ...

Read More »

Внедрение агентов и конфликт с антивирусами — как мы сделали собственную Deception-систему

Уже больше двух лет мы разрабатываем Bastion Security Platform. В прошлой статье мы рассказали, как научились создавать дешевые сетевые ловушки в больших количествах. Но ловушки — всего лишь базовый компонент эффективной сетевой защиты. Сегодня мы расскажем, как сделали из них полноценный продукт. Ведь Deception-система — нечто большее, чем набор ловушек, которые детектируют соединения и сообщают о вторжении. На старте проекта ...

Read More »

Как мы узнали, что одна из бригад оцинковщиков работала быстрее других и что было дальше

Практически всё, что вы видите на фото ниже — агрегат, где происходит горячее цинкование металлопроката. Полоса металла шириной от 0,9 до 1,8 м и длиной до 6,5 км проходит термическую обработку, погружается в ванну с цинковым расплавом и едет дальше по многоступенчатому технологическому процессу. Далее полоса охлаждается, режется и сматывается в рулоны. Это агрегат непрерывного горячего цинкования (АНГЦ-1 в Липецке). ...

Read More »

ЧеловекEPIDоножка, или Intel’s Enhanced Privacy Identification (EPID) Technology

Предлагаю ответить на вопрос: “Как часто Вы внимательно читаете положение об обработке персональных данных, когда устанавливаете игру или, например, оформляете подписку на сервис крупной компании?” Скорее всего, не часто. Большинство из нас даёт согласие на обработку своих персональных данных без вникания во все пункты этих соглашений, желая как можно скорее потреблять контент. Мы уповаем на хорошую репутацию компаний: не будут ...

Read More »

Как устроена генетическая медицина и чем занимается разработчик в международном коммерческом генетическом проекте

Три года назад в Artezio в поисках партнера для разработки софта обратилась британская компания Congenica, занимающаяся  автоматизацией анализа и интерпретацией генетических исследований. Основная миссия Congenica – это внедрение генетической медицины в стандартный процесс здравоохранения, создание системы поддержки принятия клинических решений. Найти значимые генетические аномалии в задумке должно быть не сложнее, чем сдать анализ крови. Сейчас с нашим back-end разработчиком Артемом ...

Read More »

Ontol: Лучшие бесплатные онлайн-курсы от MIT

78% профессорско-преподавательского состава MIT ставит знания выше финансовой выгоды и согласились 20 лет назад стартовать инициативу MIT OpenCourseWare — полную оцифровку обучения и выкладывания его в окрытый доступ для всех желающих. Около 35% поступивших в MIT студентов, говорят, что на их выбор повлияли бесплатные окрытые лекции MIT OpenCourseWare. Моё личное уверждение — сейчас, впервые за историю, наступило время, когда лучшие ...

Read More »

[Перевод] 711 тысяч строк кода, 20 лет, один разработчик: как создавалась Dwarf Fortress

Dwarf Fortress — один из тех странных проектов, ставших любимыми в Интернете. Это бесплатная игра, в которой можно быть или авантюристом, или управлять крепостью дворфов в случайно сгенерированном фэнтези-мире. Симуляция очень подробна, каждая новая игра создает множество цивилизаций со своей историей, мифологиями и артефактами. Она стала знаменитой, и вполне справедливо. Каждый дворф уникален, он имеет эмоциональное состояние, предпочтения в драгоценных ...

Read More »

Синтетические постеры для кино: как обрезать логотип телеканала, хардсабы и чёрные грани

На IVI пользователи выбирают кино для просмотра, ориентируясь в первую очередь на постер и название фильма. Обычно правообладатель предоставляет один постер для каждого фильма и сериала, но бывают ситуации, когда могут понадобиться дополнительные/альтернативные изображения. Их создание — трудоемкая задача, потому что с помощью этих изображений нужно передать содержимое контента. Чтобы упростить её, мы прибегаем к генерации синтетических постеров. В этой ...

Read More »

Суперкомпьютеры Яндекса: взгляд изнутри

Недавно три наших новых GPU-кластера заняли 19, 36 и 40 места в рейтинге суперкомпьютеров Top500. Это лучшие результаты среди всех участвующих в нём суперкомпьютеров России. Но сегодня мы поговорим не о местах в рейтинге, а о том, чем полезно на практике участие в подобных замерах. Из этого поста вы узнаете про наши первые попытки создать свои кластеры и грабли на ...

Read More »