Всем привет! Собираемся на IT-завтрак в воскресенье 4 мая в 9:30 в Бруснике на Чистых прудах. Для веранды всё ещё холодно, поэтому пока сидим внутри.
https://yandex.com/maps/-/CDXzzRk8
Кто жаворонки, приходите, посидим, за кружкой кофе, обсудим IT-новости Москвы.
https://yandex.com/maps/-/CDXzzRk8
Кто жаворонки, приходите, посидим, за кружкой кофе, обсудим IT-новости Москвы.
Forwarded from BlackBoxSchool
Please open Telegram to view this post
VIEW IN TELEGRAM
После ухода JetBrains и Microsoft из России, у нас не осталось мощных IDE для разработки, так что многие программисты стали искать альтернативу.
В то же время многие годы существуют полюбившиеся программистам текстовые редакторы — в первую очередь vim и emacs. Могут ли они заменить IDE? Попробуем разобраться.
✔️ Про редактор vim расскажет Дмитрий Дзюба. Дмитрий фронтендер, пишет на JS и использует vim уже много лет. Из его доклада мы узнаем об истории vim и познакомимся с современной версией редактора — neovim.
✔️ Илья Коновалов, системный программист, пишущий на C, но предпочитающий помогать писать другим, познакомит нас с редактором emacs и покажет несколько нетривиальных примеров ввода и обработки текста.
✔️ Про самый поздний в представленном ряду, но один из самых популярных VS Code, расскажет Станислав Ляхнович, программист на C++ и Python. Мы увидим, что VS Code вполне заменяет собой IDE, обеспечивая такие возможности, как подсказки, автодополнение и отладка.
Место встречи — второй этаж Freedom Bar, который находится недалеко от ст. м. Дмитровская (4-й выход из метро). Собираемся в среду 14 мая с 19:30 и до упора.
➡️Зарегистрироваться на митап
В то же время многие годы существуют полюбившиеся программистам текстовые редакторы — в первую очередь vim и emacs. Могут ли они заменить IDE? Попробуем разобраться.
Место встречи — второй этаж Freedom Bar, который находится недалеко от ст. м. Дмитровская (4-й выход из метро). Собираемся в среду 14 мая с 19:30 и до упора.
➡️Зарегистрироваться на митап
Please open Telegram to view this post
VIEW IN TELEGRAM
Meetup MskVue.js #13
📍 Москва
⏰ чт, 29 май 2025, 19:00 (+0300)
📺 Трансляция
В 13-ый раз команда сообщества соберет единомышленников и на этот раз в стенах Lamoda Tech!
Вас ждут 3 доклада от опытных спикеров, розыгрыш мерча и просто тонна общения с крутыми разрабами 🙂
Совсем скоро мы представим спикеров в своем сообществе MSK Vue js в ТГ, поэтому самое время вступить, чтобы не пропустить новости митапа 🙂
А еще самое время зарегистрироваться на митап и забить место в своих календариках, чтобы не пропустить этот движ, ведь количество мест ограничено.
#vue
Подписывайтесь на новые мероприятия в боте @NetworklyBot
📍 Москва
⏰ чт, 29 май 2025, 19:00 (+0300)
📺 Трансляция
В 13-ый раз команда сообщества соберет единомышленников и на этот раз в стенах Lamoda Tech!
Вас ждут 3 доклада от опытных спикеров, розыгрыш мерча и просто тонна общения с крутыми разрабами 🙂
Совсем скоро мы представим спикеров в своем сообществе MSK Vue js в ТГ, поэтому самое время вступить, чтобы не пропустить новости митапа 🙂
А еще самое время зарегистрироваться на митап и забить место в своих календариках, чтобы не пропустить этот движ, ведь количество мест ограничено.
#vue
Подписывайтесь на новые мероприятия в боте @NetworklyBot
Введение в Coq: формальные методы и зависимые типы
12 мая преля (Пн), 19:00
Каждый программист знает, что тесты не спасают от ошибок. (Некоторые при этом делают ошибочный вывод, что тесты писать не надо).
Так что, если вы пишите софт, в котором цена ошибки очень высока, тесты кажутся недостаточно надёжной защитой. Что делать программисту, который хочет разрабатывать безупречный код?
Доказывать правильность своей программы. Однако, доказав корректность алгоритма нельзя автоматически доказать и правильность реализации. Было бы здорово, если бы работающая программа позволяла бы себя верифицировать.
И это в определённой степени возможно. Антон Стеканов с помощью Евгения Каратаева в нескольких воркшопах расскажет об языке программирования Coq, формальных методах и зависимых типах.
Пятый воркшоп посвятим бинарным деревьям и разберём нетривиальный пример доказательства.
Если вы хотите участвовать:
✔️установите платформу ROCQ на свой компьютер: https://rocq-prover.org/install
✔️либо воспользуйтесь онлайн-IDE:
https://jscoq.github.io/scratchpad.html
Материалы к воркшопам можно найти в этом репозитории: https://github.com/anton0xf/coq-workshop
Ждём вас на пятом воркшопе в понедельник 12 мая в 19:00 на трансляции в YouTube или VK.
В организации трансляций нам помогает наш партнёр SBTG.RU. Трансляции в любых конфигурациях под ключ.
Чтобы быть в курсе IT-событий, подпишитесь на телеграм-канал ITMeeting. Это наши друзья, которые анонсируют бесплатные мероприятия в Москве и Онлайне. Здесь вы найдёте и конференции, и митапы, и семинары — форматы на любой вкус. Канал анонсирует и наши встречи. Подписывайтесь.
12 мая преля (Пн), 19:00
Каждый программист знает, что тесты не спасают от ошибок. (Некоторые при этом делают ошибочный вывод, что тесты писать не надо).
Так что, если вы пишите софт, в котором цена ошибки очень высока, тесты кажутся недостаточно надёжной защитой. Что делать программисту, который хочет разрабатывать безупречный код?
Доказывать правильность своей программы. Однако, доказав корректность алгоритма нельзя автоматически доказать и правильность реализации. Было бы здорово, если бы работающая программа позволяла бы себя верифицировать.
И это в определённой степени возможно. Антон Стеканов с помощью Евгения Каратаева в нескольких воркшопах расскажет об языке программирования Coq, формальных методах и зависимых типах.
Пятый воркшоп посвятим бинарным деревьям и разберём нетривиальный пример доказательства.
Если вы хотите участвовать:
✔️установите платформу ROCQ на свой компьютер: https://rocq-prover.org/install
✔️либо воспользуйтесь онлайн-IDE:
https://jscoq.github.io/scratchpad.html
Материалы к воркшопам можно найти в этом репозитории: https://github.com/anton0xf/coq-workshop
Ждём вас на пятом воркшопе в понедельник 12 мая в 19:00 на трансляции в YouTube или VK.
В организации трансляций нам помогает наш партнёр SBTG.RU. Трансляции в любых конфигурациях под ключ.
Чтобы быть в курсе IT-событий, подпишитесь на телеграм-канал ITMeeting. Это наши друзья, которые анонсируют бесплатные мероприятия в Москве и Онлайне. Здесь вы найдёте и конференции, и митапы, и семинары — форматы на любой вкус. Канал анонсирует и наши встречи. Подписывайтесь.
Forwarded from Надежда Александровна
Антиконференция "Summer Merge"
SUMMER MERGE 2025 — та самая летняя айти-тусовка, которую вы ждали. Это место, где соберутся айтишники, чтобы вырваться из рутины и отдохнуть в кругу единомышленников.
Живое общение, свежий воздух, берег Волги, палатка в лесу и никаких клиентов и правок— что ещё нужно, чтобы максимально погрузиться в digital-детокс?
Если вы тоже ужасно устали от офиса или удаленки и мечтаете отвлечься хотя бы на пару дней, тогда встречаемся в эко-парке «Русский берег». Лучше места для чилла на природе просто не найти!
👉 Купить билет со скидкой 10% по промокоду MERGE73
SUMMER MERGE 2025 — та самая летняя айти-тусовка, которую вы ждали. Это место, где соберутся айтишники, чтобы вырваться из рутины и отдохнуть в кругу единомышленников.
Живое общение, свежий воздух, берег Волги, палатка в лесу и никаких клиентов и правок— что ещё нужно, чтобы максимально погрузиться в digital-детокс?
Если вы тоже ужасно устали от офиса или удаленки и мечтаете отвлечься хотя бы на пару дней, тогда встречаемся в эко-парке «Русский берег». Лучше места для чилла на природе просто не найти!
👉 Купить билет со скидкой 10% по промокоду MERGE73
Введение в Coq: формальные методы и зависимые типы
29 мая (Чт), 19:00
Каждый программист знает, что тесты не спасают от ошибок. (Некоторые при этом делают ошибочный вывод, что тесты писать не надо).
Так что, если вы пишите софт, в котором цена ошибки очень высока, тесты кажутся недостаточно надёжной защитой. Что делать программисту, который хочет разрабатывать безупречный код?
Доказывать правильность своей программы. Однако, доказав корректность алгоритма нельзя автоматически доказать и правильность реализации. Было бы здорово, если бы работающая программа позволяла бы себя верифицировать.
И это в определённой степени возможно. Антон Стеканов с помощью Евгения Каратаева в нескольких воркшопах расскажет об языке программирования Coq, формальных методах и зависимых типах.
Шестой воркшоп посвятим индуктивным пропозициям.
Если вы хотите участвовать:
✔️установите платформу ROCQ на свой компьютер: https://rocq-prover.org/install
✔️либо воспользуйтесь онлайн-IDE:
https://jscoq.github.io/scratchpad.html
Материалы к воркшопам можно найти в этом репозитории: https://github.com/anton0xf/coq-workshop
Ждём вас на шестом воркшопе в четверг 29 мая в 19:00 на трансляции в YouTube или VK.
В организации трансляций нам помогает наш партнёр SBTG.RU. Трансляции в любых конфигурациях под ключ.
Чтобы быть в курсе IT-событий, подпишитесь на телеграм-канал ITMeeting. Это наши друзья, которые анонсируют бесплатные мероприятия в Москве и Онлайне. Здесь вы найдёте и конференции, и митапы, и семинары — форматы на любой вкус. Канал анонсирует и наши встречи. Подписывайтесь.
29 мая (Чт), 19:00
Каждый программист знает, что тесты не спасают от ошибок. (Некоторые при этом делают ошибочный вывод, что тесты писать не надо).
Так что, если вы пишите софт, в котором цена ошибки очень высока, тесты кажутся недостаточно надёжной защитой. Что делать программисту, который хочет разрабатывать безупречный код?
Доказывать правильность своей программы. Однако, доказав корректность алгоритма нельзя автоматически доказать и правильность реализации. Было бы здорово, если бы работающая программа позволяла бы себя верифицировать.
И это в определённой степени возможно. Антон Стеканов с помощью Евгения Каратаева в нескольких воркшопах расскажет об языке программирования Coq, формальных методах и зависимых типах.
Шестой воркшоп посвятим индуктивным пропозициям.
Если вы хотите участвовать:
✔️установите платформу ROCQ на свой компьютер: https://rocq-prover.org/install
✔️либо воспользуйтесь онлайн-IDE:
https://jscoq.github.io/scratchpad.html
Материалы к воркшопам можно найти в этом репозитории: https://github.com/anton0xf/coq-workshop
Ждём вас на шестом воркшопе в четверг 29 мая в 19:00 на трансляции в YouTube или VK.
В организации трансляций нам помогает наш партнёр SBTG.RU. Трансляции в любых конфигурациях под ключ.
Чтобы быть в курсе IT-событий, подпишитесь на телеграм-канал ITMeeting. Это наши друзья, которые анонсируют бесплатные мероприятия в Москве и Онлайне. Здесь вы найдёте и конференции, и митапы, и семинары — форматы на любой вкус. Канал анонсирует и наши встречи. Подписывайтесь.
Для бегунов
- Новый парк и новые трассы. В Мещерском парке много деревьев, а значит и много тени — бежать дистанцию будет проще.
- Каждый бегун получит классную футболку от бренда GRI — нашего спортивного партнера.
- Мы обновили дизайн медалей — ваша коллекция может пополниться еще одной, непохожей на остальные.
Для гостей фестиваля
- Живой концерт известных групп: на сцене выступят Найк Борзов, «Отпетые мошенники», «Пропаганда», и «Краски».
- Спортивные площадки: волейбол, бадминтон, йога, фитнес, зумба и т. д.
- Активности от партнеров: игры, мастер-классы, розыгрыши призов и т. д.
- Фудкорт: еда и освежающие напитки будут весь день.
Билеты можно купить на сайте как физическому, так и юридическому лицу: https://runit.digital
- Новый парк и новые трассы. В Мещерском парке много деревьев, а значит и много тени — бежать дистанцию будет проще.
- Каждый бегун получит классную футболку от бренда GRI — нашего спортивного партнера.
- Мы обновили дизайн медалей — ваша коллекция может пополниться еще одной, непохожей на остальные.
Для гостей фестиваля
- Живой концерт известных групп: на сцене выступят Найк Борзов, «Отпетые мошенники», «Пропаганда», и «Краски».
- Спортивные площадки: волейбол, бадминтон, йога, фитнес, зумба и т. д.
- Активности от партнеров: игры, мастер-классы, розыгрыши призов и т. д.
- Фудкорт: еда и освежающие напитки будут весь день.
Билеты можно купить на сайте как физическому, так и юридическому лицу: https://runit.digital
IT-завтрак в Бруснике
15 июня, воскресенье, 9:30-12:30
Веранда в Бруснике
Оболенский пер, 9 корпус 1, ст. м. Фрунзенская
🔤 🔤 🔤 🔤 🔤 🔤 🔤
🔤 🔤 🔤 🔤 🔤 🔤 🔤 🔤 🔤 🔤 🔤
Традиционная уже встреча для самых странных программистов. В воскресенье с 9:30 утра. Можно позже, сидеть будем до 12-13 часов.
Пьём кофе, завтракаем, общаемся на злободневные темы.
https://yandex.ru/maps/org/1687022304
15 июня, воскресенье, 9:30-12:30
Веранда в Бруснике
Оболенский пер, 9 корпус 1, ст. м. Фрунзенская
Традиционная уже встреча для самых странных программистов. В воскресенье с 9:30 утра. Можно позже, сидеть будем до 12-13 часов.
Пьём кофе, завтракаем, общаемся на злободневные темы.
https://yandex.ru/maps/org/1687022304
Please open Telegram to view this post
VIEW IN TELEGRAM
BarCode про базы данных
📍 Москва
⏰ ср, 18 июнь 2025, 19:30 (+0300)
На протяжении многих лет, отвечая на вопрос «на чём пишешь?», мы называем разные языки программирования: Go, Java, C#. Считая само собой разумеющимся, что все мы «говорим» и на SQL.
SQL не нуждается в упоминании, потому что базы данных нужны всем, даже фронтам. Так что на очередном барной встрече мы поговорим про базы. 📊
✔️ Что такое NewSQL и чем он отличается от NoSQL? Как появилась Пикодата и зачем для этого надо было форкать тарантул? Что Пикодата делает лучше остальных?
Об этом нам расскажет Анатолий Попов, руководитель группы разработки в Пикодате.
Практически двадцать лет взаимодействует с СУБД разного класса — и как пользователь, и как программист, и как администратор. Работал в геймдеве, телекоме, занимался учётными системами.
В Пикодате отвечает за интеграцию c LDAP, форк Редиса, расчёт себестоимости, а также за внедрение Пикодаты к клиентам.
✔️ Трудно ли переехать с базы на базу? А если с нереляционной базы на реляционную? Анна Савиновских, Java-разработчица из Т1, поделится историй переезда с MongoDB на Postgres.
Анна расскажет про трудности и грабли, с которыми пришлось столкнуться команде при смене базы данных.
🍺 Место встречи — второй этаж Freedom Bar (https://freedombar.ru/), который находится недалеко от ст. м. Дмитровская (4-й выход из метро). Собираемся в среду 18 июня с 19:30 и до упора.
#базы_данных #picodata #mongodb #postgres
Подписывайтесь на новые мероприятия в боте @NetworklyBot
📍 Москва
⏰ ср, 18 июнь 2025, 19:30 (+0300)
На протяжении многих лет, отвечая на вопрос «на чём пишешь?», мы называем разные языки программирования: Go, Java, C#. Считая само собой разумеющимся, что все мы «говорим» и на SQL.
SQL не нуждается в упоминании, потому что базы данных нужны всем, даже фронтам. Так что на очередном барной встрече мы поговорим про базы. 📊
✔️ Что такое NewSQL и чем он отличается от NoSQL? Как появилась Пикодата и зачем для этого надо было форкать тарантул? Что Пикодата делает лучше остальных?
Об этом нам расскажет Анатолий Попов, руководитель группы разработки в Пикодате.
Практически двадцать лет взаимодействует с СУБД разного класса — и как пользователь, и как программист, и как администратор. Работал в геймдеве, телекоме, занимался учётными системами.
В Пикодате отвечает за интеграцию c LDAP, форк Редиса, расчёт себестоимости, а также за внедрение Пикодаты к клиентам.
✔️ Трудно ли переехать с базы на базу? А если с нереляционной базы на реляционную? Анна Савиновских, Java-разработчица из Т1, поделится историй переезда с MongoDB на Postgres.
Анна расскажет про трудности и грабли, с которыми пришлось столкнуться команде при смене базы данных.
🍺 Место встречи — второй этаж Freedom Bar (https://freedombar.ru/), который находится недалеко от ст. м. Дмитровская (4-й выход из метро). Собираемся в среду 18 июня с 19:30 и до упора.
#базы_данных #picodata #mongodb #postgres
Подписывайтесь на новые мероприятия в боте @NetworklyBot
Forwarded from Андрей Путинцев
Полную программу смотрите на сайте.
PRO IT Fest V
5–6 июля
Санкт-Петербург, пр. Медиков, 3, корп. 5
Конгресс-центр «Ленполиграфмаш»
Билеты
Телеграмм канал фестиваля.
Промокод на скидку -20% —
Please open Telegram to view this post
VIEW IN TELEGRAM
Forwarded from Андрей Путинцев
🚀 Team Battles на ProIT Fest. Батл умов, битва клавиатур и соревнование за… пиво! Готов проверить, насколько ты крут в программировании?
➡️ Кому будет полезно?
Если ты программист, кайфуешь от головоломок, любишь соревновательный дух и хочешь прокачать мозги в команде — тебе сюда. Будет весело, будет жарко, будет вкусно 🍻
➡️ О чём батл?
Это командные соревнования по решению программных задачек. Никакой скучной теории — только практика, импровизация и весёлые задачи.
Условия простые:
- Решаешь задачку
- Отправляешь ответ в Telegram-чат
- Получаешь пиво за каждый правильно пройденный этап
➡️ Что вас ждёт?
- Несложные, но хитрые задачи
- Командный формат и Telegram-чат для обмена решениями
- Призы в виде пива для каждого участника команды после прохождения этапов
- Живое общение, юмор и соревновательный драйв
- Хардкор? Только по желанию 🙂
➡️ Кто такие спикеры?
Марк Шевченко
- Лидер Московского клуба программистов
- Ведущий программист в Wildberries
- Проводит регулярные батлы, задачки на которых разлетаются мемами
Даниил Подольский
- Golang-эксперт
- Представитель Ядра Центра Программных Разработок
- Бэкграунд в глубоком продакшене, опыте и крутых технологиях
➡️ Как подготовиться?
- Возьми ноут с любимой IDE
- Можно писать на любом языке
- Подключись к Telegram-чату — там будет обмен решениями
PRO IT Fest V
5–6 июля
Санкт-Петербург, пр. Медиков, 3, корп. 5
Конгресс-центр «Ленполиграфмаш»
Билеты
Телеграмм канал фестиваля.
Промокод на скидку -20% —markproit
Если ты программист, кайфуешь от головоломок, любишь соревновательный дух и хочешь прокачать мозги в команде — тебе сюда. Будет весело, будет жарко, будет вкусно 🍻
Это командные соревнования по решению программных задачек. Никакой скучной теории — только практика, импровизация и весёлые задачи.
Условия простые:
- Решаешь задачку
- Отправляешь ответ в Telegram-чат
- Получаешь пиво за каждый правильно пройденный этап
- Несложные, но хитрые задачи
- Командный формат и Telegram-чат для обмена решениями
- Призы в виде пива для каждого участника команды после прохождения этапов
- Живое общение, юмор и соревновательный драйв
- Хардкор? Только по желанию 🙂
Марк Шевченко
- Лидер Московского клуба программистов
- Ведущий программист в Wildberries
- Проводит регулярные батлы, задачки на которых разлетаются мемами
Даниил Подольский
- Golang-эксперт
- Представитель Ядра Центра Программных Разработок
- Бэкграунд в глубоком продакшене, опыте и крутых технологиях
- Возьми ноут с любимой IDE
- Можно писать на любом языке
- Подключись к Telegram-чату — там будет обмен решениями
PRO IT Fest V
5–6 июля
Санкт-Петербург, пр. Медиков, 3, корп. 5
Конгресс-центр «Ленполиграфмаш»
Билеты
Телеграмм канал фестиваля.
Промокод на скидку -20% —
Please open Telegram to view this post
VIEW IN TELEGRAM
Forwarded from System Design World (Владимир в IT)
Друзья, стартуем первую викторину "Своя Игра" по "System Design, Архитектуре"
1) Подготовительный. Викторина в квизах
Все вместе подключаемся на площадку для проведения. Стартуем квиз.
За ограниченное время нужно максимально точно ответить на заготовленные вопросы.
Выберем 4ёх финалистов.
2) Финал
4 претендента на звание победителя первой викторины Своя Игра по System Design, Архитектуре подключаются на площадку для финального батла.
Также подключаются зрители.
Здесь нас ждёт классика викторины в виде категорий и карточек.
👉 Предварительно старт 12.07.25(сб) в 19:00. Подробности в начале июля.
—
На постере 2 пасхалки) Если интерпретируете в течение часа - получите по 2 будущих балла за каждую)
—
🍓 - понравились клубнички в прошлом посте
Давайте пошумим перед праздником) И устроим в реакциях клубничную вечеринку под такой жаркой летней активностью
Please open Telegram to view this post
VIEW IN TELEGRAM
Forwarded from Artem
ХАКАТОН❗️
С 8 по 11 июля Singularity совместно с «Башней» проводит хакатон «Блокчейн-разработка»
Создай инновационное решение в сфере блокчейна и получи денежный приз!
Что тебя ждет?
🟣Призовой фонд 300 тысяч рублей
🟣Фидбек от экспертов с большим опытом
🟣Работа над одной из трех интересных задач
🟣Множество новых знакомств и полезных контактов
Регистрируйся в нашем MiniApp и собирай свою команду!
Если ты без команды, то мы поможем найти единомышленников
Регистрация на хакатон
Регистрация на хакатон
Регистрация на хакатон
Подробности на сайте Singularity!
С 8 по 11 июля Singularity совместно с «Башней» проводит хакатон «Блокчейн-разработка»
Создай инновационное решение в сфере блокчейна и получи денежный приз!
Что тебя ждет?
🟣Призовой фонд 300 тысяч рублей
🟣Фидбек от экспертов с большим опытом
🟣Работа над одной из трех интересных задач
🟣Множество новых знакомств и полезных контактов
Регистрируйся в нашем MiniApp и собирай свою команду!
Если ты без команды, то мы поможем найти единомышленников
Регистрация на хакатон
Регистрация на хакатон
Регистрация на хакатон
Подробности на сайте Singularity!
Forwarded from Ксюша Ермишина
Не UFC, а RFC — Request for Comments! Спикеры дискутируют по спорным темам из ИТ, зрители голосуют и врываются с аргументами в прямом эфире. Словесный спорт как он есть.
Когда: 30 июня в 19:00 мск
Место: кампус ЦУ (ул. Гашека, 7)
Кого ждем: студентов, преподавателей и всех, кто любит дискуссии
Спикеры батла:
— Александр Шахов (ЦУ / Т-Банк, Сбер);
— Михаил Дошевский (ЦУ / Т-Банк);
— Денис Син (Т-Банк / ЦУ × ВШЭ).
Регистрация: https://b24-htb4fh.bitrix24site.ru/Computer_Renescience/
Когда: 30 июня в 19:00 мск
Место: кампус ЦУ (ул. Гашека, 7)
Кого ждем: студентов, преподавателей и всех, кто любит дискуссии
Спикеры батла:
— Александр Шахов (ЦУ / Т-Банк, Сбер);
— Михаил Дошевский (ЦУ / Т-Банк);
— Денис Син (Т-Банк / ЦУ × ВШЭ).
Регистрация: https://b24-htb4fh.bitrix24site.ru/Computer_Renescience/
Друзья, напоминаем о важном событии этого месяца!
Совместно с Центральным Университетом мы организовываем свой уникальный митап – «Сплошные плюсы. Клуб С++ разработчиков».
Этот митап не просто про доклады, это площадка для развития своих профессиональных навыков в приятной атмосфере.
Андрей Карпов, сооснователь PVS-Studio, расскажет про типовые ошибки С и С++ программистов. А Олег Лысый, техлид в PVS-Studio, познакомит с основами парсинга С++ кода.
Как видите, сплошные плюсы. А минусы? А минусов не будет! Приходите!🔥
Все подробности и программа доступны по ссылке 🔗
#мероприятия #cpp #PVS_Studio
Совместно с Центральным Университетом мы организовываем свой уникальный митап – «Сплошные плюсы. Клуб С++ разработчиков».
Этот митап не просто про доклады, это площадка для развития своих профессиональных навыков в приятной атмосфере.
Андрей Карпов, сооснователь PVS-Studio, расскажет про типовые ошибки С и С++ программистов. А Олег Лысый, техлид в PVS-Studio, познакомит с основами парсинга С++ кода.
Как видите, сплошные плюсы. А минусы? А минусов не будет! Приходите!
Все подробности и программа доступны по ссылке 🔗
#мероприятия #cpp #PVS_Studio
Please open Telegram to view this post
VIEW IN TELEGRAM
Forwarded from Roman Agrenin
В поисках спикеров для ИТ-конференции «Импульс Т1» 2025?🔥
Коллеги, мы начали подготовку к одной из крупнейших ИТ-конференций страны — «Импульс Т1».
Здесь собираются эксперты, лидеры отрасли и энтузиасты, чтобы обсудить тренды, обменяться опытом и зарядиться новым импульсом идей.
В прошлом году конференция объединила сотни ИТ-специалистов и вдохновила на десятки новых проектов — посмотрите, как это было: сайт прошлогодней конференции.
Если есть ребята, готовые поделиться опытом, новыми решениями и свежим взглядом — велком к нам в качестве спикера!
Что нужно сделать:
1️⃣ Определиться с темой доклада и подайть заявку на выступление по ссылке
2️⃣ Получить фидбек от организаторов — мы расскажем о дальнейших шагах и поможем подготовиться к выступлению.
3️⃣ С чувством предвкушения готовить материал — и заряжаться энергией будущей встречи с нашей аудиторией!
#ИмпульсТ1 — место, где встречаются идеи, экспертиза и вдохновение. Не упустите шанс стать частью этого события!🚀
Коллеги, мы начали подготовку к одной из крупнейших ИТ-конференций страны — «Импульс Т1».
Здесь собираются эксперты, лидеры отрасли и энтузиасты, чтобы обсудить тренды, обменяться опытом и зарядиться новым импульсом идей.
В прошлом году конференция объединила сотни ИТ-специалистов и вдохновила на десятки новых проектов — посмотрите, как это было: сайт прошлогодней конференции.
Если есть ребята, готовые поделиться опытом, новыми решениями и свежим взглядом — велком к нам в качестве спикера!
Что нужно сделать:
#ИмпульсТ1 — место, где встречаются идеи, экспертиза и вдохновение. Не упустите шанс стать частью этого события!
Please open Telegram to view this post
VIEW IN TELEGRAM
Введение в Coq: формальные методы и зависимые типы, Часть VII
⏰ Tue, 01 July 2025, 19:00 (+0300)
📺 Stream
Каждый программист знает, что тесты не спасают от ошибок. (Некоторые при этом делают ошибочный вывод, что тесты писать не надо).
Так что, если вы пишите софт, в котором цена ошибки очень высока, тесты кажутся недостаточно надёжной защитой. Что делать программисту, который хочет разрабатывать безупречный код?
Доказывать правильность своей программы. Однако, доказав корректность алгоритма нельзя автоматически доказать и правильность реализации. Было бы здорово, если бы работающая программа позволяла бы себя верифицировать.
И это в определённой степени возможно. Антон Стеканов с помощью Евгения Каратаева в нескольких воркшопах расскажет об языке программирования Coq, формальных методах и зависимых типах.
Седьмой воркшоп посвятим транспиляции Coq-программ на другие языки программирования, в частности, в OCaml. В терминах Coq этот процесс называется извлечением.
Если вы хотите участвовать:
✔️установите платформу ROCQ на свой компьютер: https://rocq-prover.org/install
✔️либо воспользуйтесь онлайн-IDE: https://jscoq.github.io/scratchpad.html
Материалы к воркшопам можно найти в этом репозитории.
Ждём вас на седьмом воркшопе во вторник 1 июля в 19:00 на трансляции в YouTube или VK.
В организации трансляций нам помогает наш партнёр SBTG.RU. Трансляции в любых конфигурациях под ключ.
Чтобы быть в курсе IT-событий, подпишитесь на телеграм-канал ITMeeting. Это наши друзья, которые анонсируют бесплатные мероприятия в Москве и Онлайне. Здесь вы найдёте и конференции, и митапы, и семинары — форматы на любой вкус. Канал анонсирует и наши встречи. Подписывайтесь.
Subscribe to new events in the bot @NetworklyBot
⏰ Tue, 01 July 2025, 19:00 (+0300)
📺 Stream
Каждый программист знает, что тесты не спасают от ошибок. (Некоторые при этом делают ошибочный вывод, что тесты писать не надо).
Так что, если вы пишите софт, в котором цена ошибки очень высока, тесты кажутся недостаточно надёжной защитой. Что делать программисту, который хочет разрабатывать безупречный код?
Доказывать правильность своей программы. Однако, доказав корректность алгоритма нельзя автоматически доказать и правильность реализации. Было бы здорово, если бы работающая программа позволяла бы себя верифицировать.
И это в определённой степени возможно. Антон Стеканов с помощью Евгения Каратаева в нескольких воркшопах расскажет об языке программирования Coq, формальных методах и зависимых типах.
Седьмой воркшоп посвятим транспиляции Coq-программ на другие языки программирования, в частности, в OCaml. В терминах Coq этот процесс называется извлечением.
Если вы хотите участвовать:
✔️установите платформу ROCQ на свой компьютер: https://rocq-prover.org/install
✔️либо воспользуйтесь онлайн-IDE: https://jscoq.github.io/scratchpad.html
Материалы к воркшопам можно найти в этом репозитории.
Ждём вас на седьмом воркшопе во вторник 1 июля в 19:00 на трансляции в YouTube или VK.
В организации трансляций нам помогает наш партнёр SBTG.RU. Трансляции в любых конфигурациях под ключ.
Чтобы быть в курсе IT-событий, подпишитесь на телеграм-канал ITMeeting. Это наши друзья, которые анонсируют бесплатные мероприятия в Москве и Онлайне. Здесь вы найдёте и конференции, и митапы, и семинары — форматы на любой вкус. Канал анонсирует и наши встречи. Подписывайтесь.
Subscribe to new events in the bot @NetworklyBot
Работа над ошибками
📍 Moscow
⏰ Wed, 16 July 2025, 19:30 (+0300)
Друзья, приглашаем вас на офлайн-митап "Работа над ошибками"!
Ошибки в коде — неизбежная часть работы программиста. Но можно научиться допускать их реже, находить быстрее и извлекать из них пользу. Именно об этом мы и поговорим на нашей встрече. Вас ждут три доклада от опытных спикеров, живое общение и уютная атмосфера бара.
В программе:
- Андрей Карпов: Типовые паттерны опечаток и как их избежать.
- Марк Шевченко: Верификация программ и доказательство корректности .NET-кода.
- Роман Гапонов: Все о Code Review: лучшие практики и анти-паттерны.
📅 16 июля 2025 (среда)
⏰ 19:30
📍 Москва, Большая Новодмитровская ул., 36 стр. 6
Freedombar (Территория Дизайн-Завода "Флакон")
Subscribe to new events in the bot @NetworklyBot
📍 Moscow
⏰ Wed, 16 July 2025, 19:30 (+0300)
Друзья, приглашаем вас на офлайн-митап "Работа над ошибками"!
Ошибки в коде — неизбежная часть работы программиста. Но можно научиться допускать их реже, находить быстрее и извлекать из них пользу. Именно об этом мы и поговорим на нашей встрече. Вас ждут три доклада от опытных спикеров, живое общение и уютная атмосфера бара.
В программе:
- Андрей Карпов: Типовые паттерны опечаток и как их избежать.
- Марк Шевченко: Верификация программ и доказательство корректности .NET-кода.
- Роман Гапонов: Все о Code Review: лучшие практики и анти-паттерны.
📅 16 июля 2025 (среда)
⏰ 19:30
📍 Москва, Большая Новодмитровская ул., 36 стр. 6
Freedombar (Территория Дизайн-Завода "Флакон")
Subscribe to new events in the bot @NetworklyBot
Город IT 2025
📅 5–6 сентября 2025 года
📍 Томск, БКЗ (пл. Ленина, 12А)
Приглашаем вас принять участие в ежегодной конференции «Город IT».
На протяжении 15 лет конференция объединяет специалистов IT-отрасли, создавая эффективную площадку для обмена опытом, обсуждения актуальных трендов и установления деловых контактов.
Ключевые факты о конференции:
- Более 2 300 участников ежегодно
- Более 140 спикеров — экспертов-практиков из России и других стран
- Поддержка более 50 ведущих компаний отрасли
В 2025 году программа охватывает следующие направления:
- ML/Data Science/AI
- Backend (включая High Load)
- Frontend
- Тестирование
- Мобильная разработка
- Информационная безопасность
- Системная аналитика
- DevOps
- IT в медицине
- IT в электронике
- Менеджмент
- Teamlead
- HR в IT
- UX/UI-дизайн
Участников ждут интересные темы и спикеры, расширенные возможности для нетворкинга и развития партнёрских связей, а также насыщенная программа.
Присоединяйтесь к нам и станьте частью сибирского IT-сообщества.
Подробности и билеты — на сайте: https://gorod.it
До встречи в Томске!
📅 5–6 сентября 2025 года
📍 Томск, БКЗ (пл. Ленина, 12А)
Приглашаем вас принять участие в ежегодной конференции «Город IT».
На протяжении 15 лет конференция объединяет специалистов IT-отрасли, создавая эффективную площадку для обмена опытом, обсуждения актуальных трендов и установления деловых контактов.
Ключевые факты о конференции:
- Более 2 300 участников ежегодно
- Более 140 спикеров — экспертов-практиков из России и других стран
- Поддержка более 50 ведущих компаний отрасли
В 2025 году программа охватывает следующие направления:
- ML/Data Science/AI
- Backend (включая High Load)
- Frontend
- Тестирование
- Мобильная разработка
- Информационная безопасность
- Системная аналитика
- DevOps
- IT в медицине
- IT в электронике
- Менеджмент
- Teamlead
- HR в IT
- UX/UI-дизайн
Участников ждут интересные темы и спикеры, расширенные возможности для нетворкинга и развития партнёрских связей, а также насыщенная программа.
Присоединяйтесь к нам и станьте частью сибирского IT-сообщества.
Подробности и билеты — на сайте: https://gorod.it
До встречи в Томске!