Совместный митап MTС и Московского клуба программистов
| Thu, 01 August 2024, 19:00 (GMT+03:00) | |
| Russia, Moscow, ул.Крымский Вал, д.10, с.2, павильон Электра | |
| Free | |
|
Московский клуб программистов
|
Лето — не только пора отпусков. Солнце и тёплая погода гонят нас из дома. Туда, где не только можно послушать интересные доклады, но и прогуляться после митапа.
Одно из знаковых мест — это Музеон, где MTS Digital и Московский клуб программистов проведут митап, посвящённый интересным и сложным темам.
Кросс-компиляция в Go
Go — язык высокого уровня. Казалось бы. Однако, и в этом языке возникает необходимость сделать что-то на уровне операционной системы и даже ниже.
Насколько это трудно, всегда ли получается, и что делать, если не получается — расскажет Алексей Колосов из компании Рубетек, на примере чтения событий клавиатуры и вызова функций Go из C.
Доказательство корректности программ
Проверка программ на соответствие требованиям появилась вместе с первыми программами. Сегодня в индустрии применяют ручное и автоматизированное тестирование, в том числе и такие необычные методы, как рандомзированное и мутационное тестирование, различные системы типов и различные виды формальной верификации.
Тема необъятная, осваивать будем постепенно. Антон Стеканов расскажет о формальной верификации с использованием языка Coq и покажет, как это работает на простом, но практическом примере.
При регистрации укажите дату 1 августа.