![Обложка мероприятия Совместный митап MTС и Московского клуба программистов](https://uploads.networkly.app/covers/photo-2024-07-25-18-19-40-66a26d131e675632870998.jpg)
Совместный митап MTС и Московского клуба программистов
чт, 01 август 2024, 19:00 (GMT+03:00) | |
Россия, Москва, ул.Крымский Вал, д.10, с.2, павильон Электра | |
Бесплатно |
Лето — не только пора отпусков. Солнце и тёплая погода гонят нас из дома. Туда, где не только можно послушать интересные доклады, но и прогуляться после митапа.
Одно из знаковых мест — это Музеон, где MTS Digital и Московский клуб программистов проведут митап, посвящённый интересным и сложным темам.
Кросс-компиляция в Go
Go — язык высокого уровня. Казалось бы. Однако, и в этом языке возникает необходимость сделать что-то на уровне операционной системы и даже ниже.
Насколько это трудно, всегда ли получается, и что делать, если не получается — расскажет Алексей Колосов из компании Рубетек, на примере чтения событий клавиатуры и вызова функций Go из C.
Доказательство корректности программ
Проверка программ на соответствие требованиям появилась вместе с первыми программами. Сегодня в индустрии применяют ручное и автоматизированное тестирование, в том числе и такие необычные методы, как рандомзированное и мутационное тестирование, различные системы типов и различные виды формальной верификации.
Тема необъятная, осваивать будем постепенно. Антон Стеканов расскажет о формальной верификации с использованием языка Coq и покажет, как это работает на простом, но практическом примере.
При регистрации укажите дату 1 августа.
- Комьюнити