Prog.Msk • Channel
511 subscribers
247 photos
2 videos
280 links
Воркшопы, доклады, статьи — всё о программировании, онлайн и офлайн.

https://www.youtube.com/@progmsk
https://vk.com/progmsk
https://prog.msk.ru
https://t.me/progmsk
Download Telegram
Введение в Coq: формальные методы и зависимые типы, Часть VIII

Thu, 17 July 2025, 19:00 (+0300)
📺 Stream


Каждый программист знает, что тесты не спасают от ошибок. (Некоторые при этом делают ошибочный вывод, что тесты писать не надо).

Так что, если вы пишите софт, в котором цена ошибки очень высока, тесты кажутся недостаточно надёжной защитой. Что делать программисту, который хочет разрабатывать безупречный код?

Доказывать правильность своей программы. Однако, доказав корректность алгоритма нельзя автоматически доказать и правильность реализации. Было бы здорово, если бы работающая программа позволяла бы себя верифицировать.

И это в определённой степени возможно. Антон Стеканов с помощью Евгения Каратаева в нескольких воркшопах расскажет об языке программирования Coq, формальных методах и зависимых типах.

Восьмой воркшоп будет посвящён той же теме, что и седьмой: транспиляции Coq-программ на другие языки программирования, в частности, в OCaml. В терминах Coq этот процесс называется извлечением.

Если вы хотите участвовать:

✔️установите платформу ROCQ на свой компьютер: https://rocq-prover.org/install
✔️либо воспользуйтесь онлайн-IDE: https://jscoq.github.io/scratchpad.html

Материалы к воркшопам можно найти в этом репозитории.

Ждём вас на восьмом воркшопе в четверг 17 июля в 19:00 на трансляции в YouTube или VK.

В организации трансляций нам помогает наш партнёр SBTG.RU. Трансляции в любых конфигурациях под ключ.

Чтобы быть в курсе IT-событий, подпишитесь на телеграм-канал ITMeeting. Это наши друзья, которые анонсируют бесплатные мероприятия в Москве и Онлайне. Здесь вы найдёте и конференции, и митапы, и семинары — форматы на любой вкус. Канал анонсирует и наши встречи. Подписывайтесь.


Subscribe to new events in the bot @NetworklyBot
🤔2🔥1
Друзья, мы готовы сообщить радостную новость!

Второй митап "Сплошные плюсы. Клуб С++ разработчиков" состоится уже совсем скоро 🔥

Этот митап не просто про доклады, это площадка для развития своих профессиональных навыков в приятной атмосфере.

Спикеры на этой встрече:

- Юрий Минаев, архитектор C++ анализатора PVS-Studio. Тема доклада: "Эвалюация в интерпретаторах"

- Владимир Невзоров, Senior backend developer, Servicepipe. Тема доклада: "Взлёт, закат и ренессанс С++"

🗓7 августа в 18:00
📍Москва, офлайн

Все подробности и регистрация доступны по ссылке 🔗

#мероприятия #митап #cpp
👍5
🔥 RIVOX CONF 2025 — то, что нужно знать

Дата: 3 сентября
Время: 11:00-14:30 МСК
Формат: онлайн
Цена: БЕСПЛАТНО

О чем:
— Снижение CAC на 35%
— Масштабирование x3
— AI в оптимизации рекламы

Спикеры-практики:
• Егор Осипов (Vitamin.tools)
• Наталья Седина (Rivox AI)
• Александр Балин (Skyeng)
• И еще 5 экспертов

Что получите:
8 готовых механик
Чек-листы и шаблоны
Доступ в закрытый клуб

Регистрация
🔥C++ бывает разным!

28 августа в Питере проводим митап "Мир С++".
В программе спикеры из "Леста Игры", PVS-Studio и даже "Савушкин продукт"!

Будет много интересного кода, горячая пицца и нетворкинг. А для самых стойких — афтепати в Failover Bar 🍻

Приходите и приглашайте коллег!

Регистрация тут 🔗

#мероприятия #cpp #митап
Forwarded from Merge
IT-специалистов приглашают отметить День программиста вместе с топовыми экспертами отрасли со всей России🔥

12-13 сентября в Оренбурге пройдёт Merge + IT Fest Oren — два масштабных IT-события в городе, где Европа встречается с Азией. Участников ждёт нетворкинг под отрытым небом, насыщенная деловая программа Merge и яркая развлекательная программа IT Fest.

10+ направлений, 35+ секций, 150+ докладов. Традиционно Merge объединяет на одной площадки все направления IT. Со спикерами из ведущих компаний поговорим о разработке, управлении командами и проектами, маркетинге, карьере в IT, аналитике и не только. А еще в программе — интерактивные площадки, фуд-корт, выступление музыкальных групп и не только.

Участие в Merge будет полезно для специалистов всех направлений и уровней IT. Присоединяйтесь!

Хотите узнать об особых условиях участия, пишите по всем вопросам —
@nadezhda_eventice.

👉🏻Подробнее о Merge + IT Fest
Rust митап

📍 Москва
ср, 27 август 2025, 19:30 (+0300)


В августе собираемся в традиционном уже Freedom Bar на Дмитровской. Тема митапа — язык программирования Rust.

На митапах докладчики рассказывают о глубоких темах, интересных знатокам или каждодневным практикам. При этом остро не хватает докладов для тех, кто не так давно знаком с языком или технологией.

Стас Выщепан решил заполнить этот пробел. Он расскажет, как разработать на Rust несложное веб-приложение — чат. Это будет хорошая возможность узнать язык в действии.

Часто на Rust переписывают готовые продукты, в том числе, потому, что решения на Rust — быстрее и надёжнее. Конечно, переписывание — не простая работа. Тимофей Мягких из компании СБС расскажет о миграции пайплайна speech-to-text ML с Python на Rust, о тех сложностях, которые пришлось решить и о тех результатах, которых удалось достигнуть.

Мы не всегда знаем, чего стоит реализация разных возможностей в языках программирования. Дарья Сухонина приоткроет завесу над реальной сложностью async/await. Существующая реализация в Rust может приводить к нестандартным проблемам. Дарья, в своём докладе о структурной конкурентности и незабываемым типам, расскажет о том, как эти проблемы могут быть решены.

Речь в докладе идёт об экспериментальной реализации, которая не является частью языка и сейчас находится в стадии proof of concept.


#rust #barcode

Подписывайтесь на новые мероприятия в боте @NetworklyBot
🔥5👍1
Всем привет! Собираемся на IT-завтрак в воскресенье 24 августа в 9:30 в Бруснике на Чистых прудах. Для веранды уже холодно, поэтому посидим внутри.

https://yandex.com/maps/-/CDXzzRk8

Кто жаворонки, приходите, посидим, за кружкой кофе, обсудим IT-новости Москвы.
7
Forwarded from Irina Bar$k
Друзья!
9 сентября 2025 в День тестировщика состоится 11-ая ежегодная конференция по нагрузочному тестированию (НТ) https://www.perfconf.ru/

Аудитория: инженеры и руководители в области НТ, DevOps, SRE, маркетологи и др.

25+ крутых докладов от именитых спикеров из MTS AI, Ви.Tech, "Перфоманс Лаб", Positive Technologies, X5 tech, Cloud.ru, "Постгрес Про", VK, ecom.tech, Сбер на темы о нагрузочном тестировании, хаос инженеринге,  оптимизации производительности и тюнинга, практик DevOps и CI\CD, управления командой и лидирования, практик SRE, использования ИИ для мониторинга пр. Вы увидите как разбирают реальные кейсы, узнаете о последних тренда индустрии и многое другое!

Итого: 3 параллельных потока, круглый стол про инциденты, живой нетворкинг, подарки участникам, афтепати!
Всем подписчикам нашей группы организаторы дарят промокод на скидку10% на билет:  tg10

А пока присоединяйтесь к каналу конференции — там много полезного  https://t.me/performanceconf
Вебинар с Дом.РФ: «Бот — нагрузочник»

📌28 августа в 18:00 (МСК)

Как превратить запуск регрессионных нагрузочных тестов из рутины в один клик?

Спойлер: с помощью Telegram-бота.

На вебинаре Киров Денис Евгеньевич (Дом.РФ) расскажет:

Почему решили автоматизировать запуск регрессий именно через бота
Как устроен этот помощник: архитектура, логика, сценарии
Какие результаты внедрение уже дало — в цифрах, времени и удобстве
Что учесть, если хотите сделать такое же решение у себя

Формат: онлайн, бесплатно

📎 Зарегистрироваться и получить ссылку.

Если вы автоматизируете перформанс или просто хотите наглядный пример удачного «тестового ИИ» — приходите!
Please open Telegram to view this post
VIEW IN TELEGRAM
Митап 2 сентября: DevOps Governance — когда нужен, а когда нет

Уже в этот вторник в 18:00 (МСК) приглашаем вас на бесплатный онлайн-митап, где Александр Крылов (CPO продукта «Штурвал», Лаборатория Числитель) разложит по полочкам, что из себя представляет подход DevOps Governance — и зачем он вообще нужен.

Обсудим:

▪️Почему внедрение governance — это не всегда «по учебнику»
▪️Какие проблемы он реально помогает решать
▪️Какие, наоборот, только усугубляет
▪️Когда DevOps Governance может оказаться вредным

📍Формат: онлайн
📎Участие бесплатное, по регистрации: perfconf.ru

Если вы отвечаете за процессы, платформенные решения или управленческие практики в ИТ — это must-have.
Please open Telegram to view this post
VIEW IN TELEGRAM
Всем привет! Собираемся на IT-завтрак в воскресенье 7 сентября в 9:30 в Бруснике на Чистых прудах. Для веранды уже холодно, поэтому посидим внутри.

https://yandex.com/maps/-/CDXzzRk8

Кто жаворонки, приходите, посидим, за кружкой кофе, обсудим IT-новости Москвы.
4
Forwarded from Marina Stepanova
🚀 Воркшоп «Игра в трансформацию»
📅 Дата: 23 сентября, вторник
🕒 Время: 19:00 – 21:00
📍 Место: ГНИВЦ, Москва, Кузнецкий мост, д. 19, стр. 1

🔍 Представьте: вы — совет директоров компании «Ромашка». На дворе 2026 год. Старые процессы не работают, бюджеты урезают, конкуренты наступают. Ваша задача — провести компанию через трансформацию и вывести её в новый мир.

🎯 Что вас ждёт:

⚫️ Реальные управленческие дилеммы: какой фреймворк выбрать, как выстроить QA, где урезать расходы, а где наоборот стоит инвестировать.
⚫️ Неожиданные вызовы: кризисы, внешние события и ограничения, которые проверят вашу стратегию на прочность.
⚫️ Командная работа и обсуждения: каждое решение влияет на финансы, скорость и качество компании.

Каждое решение повлияет на три ключевых параметра:
💎 Финансы
⚡️ Скорость
Качество


Количество мест ограничено. Зарегистрируйтесь заранее: ссылка на регистрацию
Вопросы? Напишите организатору: @mvs_mv
Please open Telegram to view this post
VIEW IN TELEGRAM
1🔥1
Приглашаем на вебинар про оптимизацию в GameDev!

Вместе с экспертами из игровых студий — Forgotten Empires и Playrix— мы обсудим практические советы по улучшению проектов.

Поговорим о тонкостях работы с памятью, кастомных аллокаторах, а также способах ускорить запуск мобильных игр.

📍25 сентября в 16:00

Присоединяйтесь по ссылке 🔗

#вебинар #gamedev
Forwarded from TechMeetup | Java, JVM
TechMeetup #10 👋 Java | JVM x МТС Финтех

Ждем на очередной митап про разнообразный, сложный и интересный мир Java, который состоится 9 октября!

🗒 Собрали несколько интересных докладов для всех, кто занимается разработкой, постарались выбрать интересное

🗓 Когда: 09 октября 2025, с 19:00 до 22:00 GMT+03:00 (онлайн и офлайн)
📍 Где: Москва, м. Технопарк. Проспект Андропова 18, корпус 1. (Здание с вывеской МТС Банк, Медиарум)

👍 Участие: бесплатно
🎉 Нетворкинг: бесценно

Что мы приготовили:
🔗 Подробнее о программе на странице мероприятия

Не упускаем возможность послушать опытных спикеров, обсудить актуальные темы и пообщаться с коллегами.


🎁 Бонусы: еда и напитки в перерыве, маленький праздник среди недели. А вместе с нетворкингом - время проведенное с пользой и удовольствием. Приходите!

Не теряем время и регистрируемся, места на офлайн часть ограничены

Ждем вас! 💙

TechMeetup | CFP: Подать доклад | Общалка и вопросы
Please open Telegram to view this post
VIEW IN TELEGRAM
👍2👀1
Вы ждали?! Мы сделали! 🔥

Третий митап "Сплошные плюсы. Клуб С++ разработчиков" состоится уже скоро!

🗓 А именно 4 октября в Москве

Что вас ждет на этот раз:
1. Доклад "Безопасная работа с массивами? Нет, не слышали".
2. Квиз++, с помощью которого проверим, насколько вы владеете С++

Помимо этого будет крутое общение с экспертами, эксклюзивный мерч и вкусная пицца ❤️ Приходите! Будет круто!

Регистрация и подробности по ссылке 🔗

#мероприятия #митап #cpp
Forwarded from Galina
Podlodka Teamlead Crew — онлайн‑конференции по актуальным темам для руководителей разработки.

Здесь за одну неделю можно получить прикладную пользу в удобном формате утренних и вечерних сессий.

Новый сезон конференции стартует 6 октября и посвящен Продвинутому тимлидству: компетенциям и навыкам, которые могут привести к росту в профессии и карьере.

Что в программе?

Как строить процессы без микроменеджмента и бюрократии, а иногда и с ними, расскажет практик и эксперт Теории Ограничений Александра Брызгалова.

— Когда развитие команды реально прокачивает навыки, а когда нет, объяснит организационный психолог Дмитрий Болдырев.

— Как выйти из зоны комфорта и влиять на бизнес с помощью Shadow Work Canvas, разберёт коуч IT‑руководителей Юлия Аравина.

— Зачем нужен внутренний бренд команды, как его развивать и где прочертить границу с личным брендом, поделится Максим Гришутинин, Platform Lead ОККО

Программа Teamlead Crew - это недельная концентрация пользы и практики

Подробности и билеты: https://podlodka.io/tlcrew
Всем привет! Собираемся на IT-завтрак в воскресенье 5 октября в 9:30 в Бруснике на Китай-городе.

https://yandex.ru/maps/-/CLBa4QNz

Кто жаворонки, приходите, посидим, за кружкой кофе, обсудим IT-новости Москвы.
👍5
А теперь время хорошей новости! 🔥

Друзья, коллеги, Java-разработчики, приглашаем вас на наш митап — Карты, деньги, JVM!

На митапе обсудим внутренности JVM и компилятора: разберём, как JVM оптимизирует динамические вызовы, чем MethodHandle лучше рефлексии, и как компилятор обрабатывает код — от фронтенда до практического применения.

Вас ждут два интересных доклада от разработчиков PVS-Studio, нетворкинг и вкусная пицца ❤️

🗓 30 октября
📍Санкт-Петербург + онлайн

Подробное расписание и регистрация по ссылке 🔗

#мероприятия #митап #java
Как не сесть в тюрьму и сэкономить миллионы на штрафах по 152-ФЗ и приказу РКН №140?

🕓 Расскажем на вебинаре 23 октября в 11:00 по МСК

Деперсонализация данных — серьезный вызов для бизнеса, ИБ и IT. С сентября этого года за утечки компаниям грозят штрафы до 500 млн рублей и уголовная ответственность до 5 лет лишения свободы. Незнание законов, неправильные методы и хаос в данных = огромный риск.

Приглашаем на вебинар, где подробно разберем:

- требования закона, включая новейшие поправки с 1 сентября;
- типичные ошибки в управлении персональными данными;
- методы деперсонализации, одобренные регуляторами;
- 7 практических шагов для защиты от утечек и ответственности.

Регистрируйтесь по ссылке — после вышлем чек-лист самопроверки. В нем собрали все главные требования к бизнесу и типовые ошибки.
🔥1👀1
Forwarded from System Design World (Владимир в IT)
🕹 Своя игра по System Design. Финал!

4️⃣ Четвёрка смельчаков. Дерзила ведущий!

👊 Они сойдутся оффлайн!
Чтобы понять у кого System Design мозги самые прокаченные 🧠😼

◾️ Отборочный тур подарил нам 4ку финалистов с разных уголков страны!

Финал первой Своей Игры по System Design в рунете подарит нам призёра! 🏅

Куда приходить смотреть?
Ссылка на трансляцию уже есть в сообществе MTS True Tech Arch.
Также появится здесь в день проведения.

Зачем смотреть?
Прокачиваем собственные архитектурные знания! Повышаем насмотренность!
Следим за волнующимися жаждущими победы финалистами. Это же первый батлл в своём роде! 🤩

А выиграть онлайн что-нибудь можно?
Можно! И даже нужно!
—-> Регистрируемся здесь <—-
После регистрации появится ссылка на чат игры(кто-то там уже есть из подписчиков :) ).
В нём обсуждение в процессе игры и розыгрыш от компаний партнеров! 🎁

⚡️ Первая Своя Игра по System Design, Архитектуре в рунете уже через 5 дней!...

🔥 - приду смотреть онлайн
⚡️ - поучаствую в розыгрыше
Please open Telegram to view this post
VIEW IN TELEGRAM
🔥3🤔1