tgoop.com/progmsk_channel/236
Last Update:
Совместный митап MTС и Московского клуба программистов
Музеон, павильон Электра
1 августа, 19:00
Лето — не только пора отпусков. Солнце и тёплая погода гонят нас из дома. Туда, где не только можно послушать интересные доклады, но и прогуляться после митапа.
Одно из знаковых мест — это Музеон, где MTS Digital и Московский клуб программистов проведут митап, посвящённый интересным и сложным темам.
Кросс-компиляция в Go
Go — язык высокого уровня. Казалось бы. Однако, и в этом языке возникает необходимость сделать что-то на уровне операционной системы и даже ниже.
Насколько это трудно, всегда ли получается, и что делать, если не получается — расскажет Алексей Колосов из компании Рубетек, на примере чтения событий клавиатуры и вызова функций Go из C.
Доказательство корректности программ
Проверка программ на соответствие требованиям появилась вместе с первыми программами. Сегодня в индустрии применяют ручное и автоматизированное тестирование, в том числе и такие необычные методы, как рандомзированное и мутационное тестирование, различные системы типов и различные виды формальной верификации.
Тема необъятная, осваивать будем постепенно. Антон Стеканов расскажет о формальной верификации с использованием языка Coq и покажет, как это работает на простом, но практическом примере.
Митап пройдёт 1 августа в павильоне Электра, Москва, ул.Крымский Вал, д.10, с.2. Начало в 19:00.
Регистрируйтесь! При регистрации укажите дату 1 августа.
Количество мест ограничено.
BY Prog.Msk • Channel
Share with your friend now:
tgoop.com/progmsk_channel/236