The KeY to Software Correctness

Проект The KeY to Software Correctness подойдет тем, кому интересно, как можно автоматически доказывать правильность работы кода. Он автоматизирует проверку кода на Java.

https://www.key-project.org/

Шпаргалка по всем сетям, их
классификация и строгое описание

Фронтенд 2021

01. Максим Сальников — Автоматизируем сервис-воркер с Workbox 6
02. Артем Арутюнян — Архитектура менеджера состояния
03. Роман Дворнов — JSON: push the limits
04. Валерия Курмак — Пользовательский опыт незрячего человека
05. Андрей Печкуров — ES6-коллекции на примере V8: у ней внутре неонка
06. Василика Климова — Расширяем реальность
07. Разбор заданий Capture the flag и награждение победителей
08. Юлия Миоцен — Палка, палка, огуречик. Рисуем персонажную анимацию на CSS
09. Андрей Мелихов — Теория и практика dependency injection
10. Дмитрий Николаев — Создание приложений для голосовых ассистентов

https://www.youtube.com/playlist?list=PLKaafC45L_SQvmgHWgtUeX_Y59NiZhmEF

Куда уходят программисты?
Почему мы не видим в индустрии большого количества седовласых разработчиков? Куда уходят программисты, когда становятся старше?

https://apptractor.ru/info/articles/kuda-uhodyat-programmisty.html

Токсичное руководство, как выжить и что делать

https://bookflow.ru/toksichnoe-rukovodstvo-kak-vyzhit-i-chto-delat/

Открыта регистрация на оплачиваемую стажировку ВТБ IT Юниор. Приглашаются студенты 3–4-го курса и выпускники бакалавриата, специалитета или магистратуры 2018−2023 годов выпуска по математическим, техническим, естественнонаучным или IT-направлениям. Вас ждет семь направлений на выбор: системная аналитика, сопровождение IT-инфраструктуры, администрирование и поддержка баз данных, DevOps, бизнес-аналитика, тестирование, разработка.

Преимущества стажировки:
— Комфортные условия: конкурентная заработная плата и все корпоративные преимущества, включая ДМС и социальный пакет.
— Ментор, с которым вы определите персональные цели и возможные векторы развития в IT-отрасли.
— Мастер-классы от главных IT-экспертов банка, участие в технологических завтраках, серии митапов для развития профессиональных компетенций, вебинары для роста личной эффективности, а также тренинг по банковскому бизнесу.

Регистрируйтесь до 1 июля включительно: https://clck.ru/VbVve

ML OSS (Machine learning open source software)
Коллективный сайт разработчиков открытого софта для машинного обучения

https://mloss.org/software/

Ищем финтех-компании и проекты для участия в скаутинге Альфа Партнер:

- инвестиции в проект;
- возможность запуска совместного пилота на аудиторию Альфа Партнер;
- экспертиза опытной команды.

Подать заявку — на сайте.

Xakep #265. OWASP Juice Shop

Перед начинающим багхантером часто стоит задача потренироваться на живом примере, но при этом ничего не сломать и не нарушить закон. В этом тебе поможет прекрасный, но очень уязвимый интернет-магазин Juice Shop, созданный в OWASP.

9 июля пройдет первый в России TeamLead Camp для разработчиков — онлайн анти-конференция с оффлайн афтепати в Москве.

В программе доклады от топовых спикеров по 3 направлениям:
- Tech (Devs, DataScience, DevOps)
- Management (TeamLead, Project, Product)
- Soft Skills
- Челлендж-хакатон от спонсора с призовым фондом.

Участие бесплатное.
Организаторы собирают крутую тусовку профессионалов, приходите сами, приводите свои технические команды и до встречи 9 июля!
👉 регистрация: http://teamleadcamp.ru
✅ telegram-чат Кэмпа: https://t.me/joinchat/rEyow9KCTjU1YTYy

Avito Analytics meetup #3.
Да, долгожданный третий онлайн-митап Авито уже в ближайший вторник.

В программе выступления трёх экспертов Авито. Ребята расскажут, как избежать ошибок в экспериментах, зачем нужны рекомендации CRM Salesforce и пользу Доставки для юзеров и продуктов компании.

Не забудьте добавить в календарь: 29 июня, 18:00, поставить напоминание на ютуб или зарегистрироваться: https://clc.to/AvitoTech_bookflow

Читаем номерной знак с 10 линиями кода на Python

https://bookflow.ru/chitaem-nomernoj-znak-s-10-liniyami-koda-na-python/

Попасть на онлайн выступления признанных экспертов в сфере computational science — легко. Причем совершенно бесплатно.

В понедельник начинается международная конференция Young Scientists Conference (YSC-2021)! В этом году она пройдет полностью онлайн. А зарегистрироваться на нее на можно не только как автор научной статьи или исследования, но и в качестве слушателя!

Альфонс Хукстра (Нидерланды), Жоау Педро де Магальяйнс (Великобритания), Шахаб Шамширбанд (Тайвань), Джордж Кампис (Венгрия), Януш Холыст (Польша), Арно Шмидт (Нидерланды), Эрик Дувиелла (Франция), Александр Бухановский (Россия), Майк Лис (Нидерланды), Христос Козанитис (Греция), Панайота Фатуру (Греция), Яннис Ремедиакис (Греция), Яннис Камарианакис (Греция) – приглашенные спикеры из 8 стран.

Успейте попасть на их лекции на следующей неделе!
Регистрируйтесь – и мы вышлем вам доступ: https://actcognitive.org/posts/113/young-scientists-conference-2021