ХАКАТОН❗️

С 8 по 11 июля Singularity совместно с «Башней» проводит хакатон «Блокчейн-разработка»

Создай инновационное решение в сфере блокчейна и получи денежный приз!

Что тебя ждет?
🟣Призовой фонд 300 тысяч рублей
🟣Фидбек от экспертов с большим опытом 
🟣Работа над одной из трех интересных задач
🟣Множество новых знакомств и полезных контактов 

Регистрируйся в нашем MiniApp и собирай свою команду!

Если ты без команды, то мы поможем найти единомышленников

Регистрация на хакатон
Регистрация на хакатон
Регистрация на хакатон 

Подробности на сайте Singularity!

Введение в 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

Работа над ошибками

📍 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

До встречи в Томске!

Присоединяйтесь к профессиональной конференция Merge в самом сердце России

Merge — конференция для всех представителей сферы IT, концентрация уникальных знаний и обмен опытом с экспертами со всей России.

Вместе с топовыми спикерами разберём реальные кейсы и актуальные темы. Никакой лишней теории, общеизвестных фактов и воды.

Конференция будет полезна для профессионалов всех уровней и направлений IT, собственников компаний и начинающих специалистов.

👉🏻Купить билеты EARLY BIRDS по минимальной цене, а также подать заявку на участие в качестве спикера можно на сайте события: https://clck.ru/3Mt7Zk

По промокоду MERGE73 скидка 10%.

DevRel-завтрак путешествует
Две новых точки на карте мероприятий сообщества: Самара и Оренбург!

24 июля собираемся с коллегами на завтрак в Самаре поболтать за едой про DevRel, HR-бренд и сообщества. Тут случилась стихийная самоорганизация из разговоров в Нижнем Новгороде, а я как раз в отпуске заеду в Самару, чтобы посмотреть местную архитектуру Модерна и музей.

25 июля Марк Шевченко, распорядитель* московских встреч, проводит ужин в Оренбурге в рамках Pre Party IT Fest Oren 2025. Нужно обязательно зарегистрироваться.

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

Лично мне кажется очень важным знать тех, кто работает с теми же задачами, что и ты, калиброваться об других профессионалов, узнавать про чужие велосипеды, чтобы принимать взвешенные решения делать ли свой или все-таки пойти через “лучшие практики”, ну и просто понимать, чем живут компании и отрасль. Наша работа, как бы она ни называлась, достаточно расплывчата, а ресурсы обычно ограничены. Вместе мы можем шире посмотреть на свое профессиональное развитие и сделать больше. Поэтому, если вы хотите встречаться есть и сплетничать в своем городе, начать это делать точно стоит. Легче ли это будет начать с каким-то фреймворком по встречам? Напишите, если вас останавливает только его отсутствие.

*мы когда-то долго обсуждали, как можно перевести термин event host, и решили, что нам идеально подходит “распорядитель” в понимании XIX века.

Введение в 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

Друзья, мы готовы сообщить радостную новость!

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

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

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

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

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

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

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

#мероприятия #митап #cpp

🔥 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 #митап

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

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

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

Кто жаворонки, приходите, посидим, за кружкой кофе, обсудим IT-новости Москвы.

Друзья!
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