Forwarded from Evgeny Veretennikov
Мы залили записи докладов со Scala-митапа в наш новый канал https://www.tgoop.com/scala_verticals.
Продублирую сюда, названия докладов кликабельны и ведут на записи докладов:
1. Как в Scala переложить JSON: паттерн «codec» (Михаил Чугунков, Вертикали)
Классное описание паттерна. Он используется примерно везде (circe, doobie, pureconfig, ...), но так подробно описан ещё не был.
2. Иерархия в PostgreSQL. Doobie vs Skunk (Сева Никитин и Алексей Литковец)
Всё, что вы не знали о skunk и хранении иерархий в БД, но боялись спросить, в формате стендапа.
3. Инциденты с авторизацией: уменьшаем радиус поражения (Андрей Борунов, Вертикали)
Поучительные истории решения инцидентов в Scala-сервисе под высокой нагрузкой.
Приятного и полезного просмотра =)
Продублирую сюда, названия докладов кликабельны и ведут на записи докладов:
1. Как в Scala переложить JSON: паттерн «codec» (Михаил Чугунков, Вертикали)
Классное описание паттерна. Он используется примерно везде (circe, doobie, pureconfig, ...), но так подробно описан ещё не был.
2. Иерархия в PostgreSQL. Doobie vs Skunk (Сева Никитин и Алексей Литковец)
Всё, что вы не знали о skunk и хранении иерархий в БД, но боялись спросить, в формате стендапа.
3. Инциденты с авторизацией: уменьшаем радиус поражения (Андрей Борунов, Вертикали)
Поучительные истории решения инцидентов в Scala-сервисе под высокой нагрузкой.
Приятного и полезного просмотра =)
Forwarded from Олег
Стать сотрудником Яндекса быстрее и проще, чем кажется. Участвуйте в днях быстрого найма: решите тестовое, пройдите несколько секций собеседования и получите офер за несколько дней.
Ближайшее Fast Track мероприятия:
• 20–21 апреля — Fast Track для Java-, Kotlin-, Scala-, Go-разработчиков и тех, кто готов перейти на эти языки программирования, офер за 2 дня в команду Вертикалей.
Зарегистрироваться
Ближайшее Fast Track мероприятия:
• 20–21 апреля — Fast Track для Java-, Kotlin-, Scala-, Go-разработчиков и тех, кто готов перейти на эти языки программирования, офер за 2 дня в команду Вертикалей.
Зарегистрироваться
Forwarded from Esenia
Есть ли мемы на Марсе? Как вытянуть репку с помощью кода? Попробуйте разгадать все тайны Гиперкуба на Tinkoff CTF.
20 и 21 апреля пройдет ИТ-соревнование с призами до 420 000 ₽.
Выберите лигу по скиллам и участвуйте даже без опыта в спортивном хакинге. Задания будут интересны сильным scala-разработчикам, QA- и SRE-инженерам, аналитикам и другим ИТ-специалистам.
Играйте как вам удобно: онлайн из дома или офлайн — в одном 16 городов России, Беларуси и Казахстана. В офлайне вас ждет общение с другими игроками, квизы, мерч и другие развлечения.
Узнайте больше о соревновании и зарегистрируйтесь до 19 апреля: https://l.tinkoff.ru/ctf_scala
20 и 21 апреля пройдет ИТ-соревнование с призами до 420 000 ₽.
Выберите лигу по скиллам и участвуйте даже без опыта в спортивном хакинге. Задания будут интересны сильным scala-разработчикам, QA- и SRE-инженерам, аналитикам и другим ИТ-специалистам.
Играйте как вам удобно: онлайн из дома или офлайн — в одном 16 городов России, Беларуси и Казахстана. В офлайне вас ждет общение с другими игроками, квизы, мерч и другие развлечения.
Узнайте больше о соревновании и зарегистрируйтесь до 19 апреля: https://l.tinkoff.ru/ctf_scala
Forwarded from Ivan Lyagaev
Мы наконец-то залили записи докладов с мартовского функционального митапа, который проходил в Санкт-Петербурге.
Доклады:
1. Go в функциональное программирование (Егор Плужник, Тинькофф)
Егор провел эксперимент и посмотрел, можно ли писать на Go в функциональном стиле
2. Функциональное реактивное программирование (Антон Холомьёв, Тинькофф)
Антон рассказал про парадигму функционального реактивного программирования и то, как она позволяет увеличить долю чистого кода в приложении
3. Зависимые типы + property-based testing = ❤️ (Денис Буздало́в, ИСП РАН)
Денис рассказал про то, как зависимые типы и техника property-based testing могут друг друга дополнять и помогать в сложных практических задачах
Доклады:
1. Go в функциональное программирование (Егор Плужник, Тинькофф)
Егор провел эксперимент и посмотрел, можно ли писать на Go в функциональном стиле
2. Функциональное реактивное программирование (Антон Холомьёв, Тинькофф)
Антон рассказал про парадигму функционального реактивного программирования и то, как она позволяет увеличить долю чистого кода в приложении
3. Зависимые типы + property-based testing = ❤️ (Денис Буздало́в, ИСП РАН)
Денис рассказал про то, как зависимые типы и техника property-based testing могут друг друга дополнять и помогать в сложных практических задачах
YouTube
Go в функциональном программировании — Егор Плужник, Тинькофф
Егор расскажет про преимущества функциональной парадигмы и применимость практик функционального программирования в реальных проектах на Golang, сравнит обработку и модель ошибок с ZIO, разберет концепцию Type Classes без имплиситов через Duck Typing.
#тинькофф…
#тинькофф…
Forwarded from Esenia
Пост для тех, кто собирается поступать в магистратуру 🧑🎓
Тинькофф открывает набор на магистратуру в МФТИ, причем по трем направлениям: «Продуктовая аналитика», «Машинное обучение» и «Backend на Scala».
Главное отличие этой магистратуры в том, что стремление совмещать работу и учебу здесь только поддерживается. Более того, все студенты официально трудоустраиваются в Тинькофф и получают зарплату. И да, лекции здесь приближены к реальной жизни, знания максимально прикладные — и студенты активно применяют их на практике в работе.
Подробная программа по каждому из трех направлений, а также вся информация о поступлении есть на сайте. Отправьте заявку до 3 июня.
Тинькофф открывает набор на магистратуру в МФТИ, причем по трем направлениям: «Продуктовая аналитика», «Машинное обучение» и «Backend на Scala».
Главное отличие этой магистратуры в том, что стремление совмещать работу и учебу здесь только поддерживается. Более того, все студенты официально трудоустраиваются в Тинькофф и получают зарплату. И да, лекции здесь приближены к реальной жизни, знания максимально прикладные — и студенты активно применяют их на практике в работе.
Подробная программа по каждому из трех направлений, а также вся информация о поступлении есть на сайте. Отправьте заявку до 3 июня.
Алегебраические дата тайпы для C99, это конечно не скала, но проект интересный. Жду такого для Zig.
https://github.com/Hirrolot/datatype99
https://github.com/Hirrolot/datatype99
GitHub
GitHub - hirrolot/datatype99: Algebraic data types for C99
Algebraic data types for C99. Contribute to hirrolot/datatype99 development by creating an account on GitHub.
Forwarded from Esenia
Доклады, развлечения и полезные знакомства для ИТ-сообщества Казани ☄️
13 июля в Казани пройдет масштабный ИТ-фестиваль «Сезон кода». Это большое летнее мероприятие от Т-Банка для опытных специалистов по Java, Scala, Mobile, QA и Data в Татарстане.
Залетайте, чтобы прокачать навыки и пообщаться с коллегами в неформальной обстановке. Вот что вас ждет:
— доклады от экспертов из крупных технологичных компаний: T-Банк, VK, Сбер и Magnit Markett;
— полезные знакомства, много общения и обмен опытом со специалистами других компаний;
— ИТ-квиз, диджитал-игра на преодоление препятствий и настольная игра «Спринт или пропал» от инженеров Т-Банка;
— спортивные активности: настольный теннис и баскетбол;
— живая музыка и вечеринка.
📌 Получите билеты за благотворительный взнос
13 июля в Казани пройдет масштабный ИТ-фестиваль «Сезон кода». Это большое летнее мероприятие от Т-Банка для опытных специалистов по Java, Scala, Mobile, QA и Data в Татарстане.
Залетайте, чтобы прокачать навыки и пообщаться с коллегами в неформальной обстановке. Вот что вас ждет:
— доклады от экспертов из крупных технологичных компаний: T-Банк, VK, Сбер и Magnit Markett;
— полезные знакомства, много общения и обмен опытом со специалистами других компаний;
— ИТ-квиз, диджитал-игра на преодоление препятствий и настольная игра «Спринт или пропал» от инженеров Т-Банка;
— спортивные активности: настольный теннис и баскетбол;
— живая музыка и вечеринка.
📌 Получите билеты за благотворительный взнос
Forwarded from Evgeny Veretennikov
Объявляем Call for papers на крупнейшую конференцию по Scala и ФП в России — F[Scala] 2024!
Конференция пройдет в ноябре в Москве.
Темы: Scala, ФП, бэкенд-разработка, System Design.
🔶 Спикерам: чтобы выступить, подавайте заявки через форму.
Дедлайн подачи: 31 июля.
Вернемся с обратной связью к каждому в течение недели после подачи.
С подготовкой выступления поможем. Даже если не уверены, о чём рассказать.
🔶 Слушателям: страница для регистрации появится позже, сообщим об этом дополнительно.
🔶 Записи докладов с прошлогодней конференции можно посмотреть здесь.
По всем вопросам обращайтесь ко мне.
Конференция пройдет в ноябре в Москве.
Темы: Scala, ФП, бэкенд-разработка, System Design.
🔶 Спикерам: чтобы выступить, подавайте заявки через форму.
Дедлайн подачи: 31 июля.
Вернемся с обратной связью к каждому в течение недели после подачи.
С подготовкой выступления поможем. Даже если не уверены, о чём рассказать.
🔶 Слушателям: страница для регистрации появится позже, сообщим об этом дополнительно.
🔶 Записи докладов с прошлогодней конференции можно посмотреть здесь.
По всем вопросам обращайтесь ко мне.
Пятничные новости в среду!
Coq will be renamed into 'The Rocq Prover’, EOY 2024 🙄https://coq.inria.fr/, (старый) лонгрид https://coq.discourse.group/t/coq-community-survey-2022-results-part-iv-and-itp-paper-announcement/2001
src: https://news.ycombinator.com/item?id=41180007
Coq will be renamed into 'The Rocq Prover’, EOY 2024 🙄https://coq.inria.fr/, (старый) лонгрид https://coq.discourse.group/t/coq-community-survey-2022-results-part-iv-and-itp-paper-announcement/2001
src: https://news.ycombinator.com/item?id=41180007
coq.discourse.group
Coq Community Survey 2022 Results: Part IV and ITP paper announcement - Announcements - Coq
Coq Community Survey 2022 Results: Part IV and ITP paper announcement
TL;DR: This post completes a series of three previous posts (part I, part II, part III) with plots of answers to questions not yet analyzed in previou…
TL;DR: This post completes a series of three previous posts (part I, part II, part III) with plots of answers to questions not yet analyzed in previou…
Forwarded from Esenia
Ну как там с фичами?
Обсудите все рабочее и актуальное на JVM Day — конференции от Т-Банка для опытных Java- и Scala-разработчиков.
В программе — 15+ докладов. В блоке по Java расскажут про фичи, инструменты и фреймворки. А по Scala — разберут подходы к бэкенд-разработке с использованием экосистемы и практику функционального программирования.
После — афтепати с развлечениями, музыкой и фотозоной. Полезные знакомства тоже будут.
Встреча пройдет 31 августа в штаб-квартире Т-Банка. Участие бесплатное. А регистрация тут 👈
Обсудите все рабочее и актуальное на JVM Day — конференции от Т-Банка для опытных Java- и Scala-разработчиков.
В программе — 15+ докладов. В блоке по Java расскажут про фичи, инструменты и фреймворки. А по Scala — разберут подходы к бэкенд-разработке с использованием экосистемы и практику функционального программирования.
После — афтепати с развлечениями, музыкой и фотозоной. Полезные знакомства тоже будут.
Встреча пройдет 31 августа в штаб-квартире Т-Банка. Участие бесплатное. А регистрация тут 👈
Forwarded from Заитова Алсу
Собираемся со Scala-разработчиками в Ереване!
Встречу проведут инженеры из T-Банка. Обсудят «руководство для швейцарского ножа» — Scala CL и рассмотрим макросы в Scala 3.
📆 Встреча пройдет 3 сентября в AI9 Startup Campus.
Не забудьте зарегистрироваться и пригласить своих коллег!
Встречу проведут инженеры из T-Банка. Обсудят «руководство для швейцарского ножа» — Scala CL и рассмотрим макросы в Scala 3.
📆 Встреча пройдет 3 сентября в AI9 Startup Campus.
Не забудьте зарегистрироваться и пригласить своих коллег!
scala 3 stubs that will make you happy, смотреть тут 👉 https://github.com/goshacodes/backstub, фидбек и пинать автора можно в scala_any
GitHub
GitHub - goshacodes/backstub: scala 3 stubs that will make you happy
scala 3 stubs that will make you happy. Contribute to goshacodes/backstub development by creating an account on GitHub.
Forwarded from Scala-сообщество Вертикалей
⚡ Приглашаем на конференцию F[Scala] 2024
30 ноября пройдёт ежегодная крупнейшая конференция по Scala и функциональному программированию от Яндекс Вертикалей (Авто.ру, Яндекс Недвижимость, Аренда и Путешествия)
Собираем практикующих Scala-разработчиков и энтузиастов функционального подхода
▪️7 хардкорных докладов про Scala, ФП и JVM, типизацию и разработку бэкенда
▪️Спикеры из Авто.ру, общих сервисов Яндекс Вертикалей, Яндекс Инфраструктуры, Т-банка, BIOCAD, Ecom.Tech
▪️Круглый стол в формате открытого диалога
▪️Нетворкинг и афтепати
📍Москва, БЦ «Морозов», зал «Экстрополис»
Для тех, кто не сможет прийти — будет онлайн-трансляция.
Посмотреть программу и зарегистрироваться можно здесь
Увидимся на конференции 🔥
#fscala2024
30 ноября пройдёт ежегодная крупнейшая конференция по Scala и функциональному программированию от Яндекс Вертикалей (Авто.ру, Яндекс Недвижимость, Аренда и Путешествия)
Собираем практикующих Scala-разработчиков и энтузиастов функционального подхода
▪️7 хардкорных докладов про Scala, ФП и JVM, типизацию и разработку бэкенда
▪️Спикеры из Авто.ру, общих сервисов Яндекс Вертикалей, Яндекс Инфраструктуры, Т-банка, BIOCAD, Ecom.Tech
▪️Круглый стол в формате открытого диалога
▪️Нетворкинг и афтепати
📍Москва, БЦ «Морозов», зал «Экстрополис»
Для тех, кто не сможет прийти — будет онлайн-трансляция.
Посмотреть программу и зарегистрироваться можно здесь
Увидимся на конференции 🔥
#fscala2024
Ну похоже немного скалы в твиттере осталось? https://github.com/twitter/stitch
GitHub
GitHub - twitter/stitch
Contribute to twitter/stitch development by creating an account on GitHub.
Forwarded from Vadim ChelyshOv
Митап T-Talk: Scala - Казань
6 декабря в 19:00
Приглашаем на встречу Scala-разработчиков 💛
— Сначала расскажем о подходах к работе с ошибками в разных ЯП и не только. Поговорим с вами о том, как принято работать с ошибками в языках, и посмотрим, как подход в Scala помогает писать лаконичный код.
— Затем на дискуссии вместе с нашими разработчиками обсудим любимые библиотеки для разработки, инструменты и продуктивность, а может, и космическую экзотику с макросами, деривациями и взрывами компилятора.
Адрес: Казань, ул. Островского, д. 98, БЦ Urban, Офис Т-Банка в Казани
Регистрируйтесь и зовите с собой коллег! 😊
https://meetup.tbank.ru/event/t-talk-scala2/
6 декабря в 19:00
Приглашаем на встречу Scala-разработчиков 💛
— Сначала расскажем о подходах к работе с ошибками в разных ЯП и не только. Поговорим с вами о том, как принято работать с ошибками в языках, и посмотрим, как подход в Scala помогает писать лаконичный код.
— Затем на дискуссии вместе с нашими разработчиками обсудим любимые библиотеки для разработки, инструменты и продуктивность, а может, и космическую экзотику с макросами, деривациями и взрывами компилятора.
Адрес: Казань, ул. Островского, д. 98, БЦ Urban, Офис Т-Банка в Казани
Регистрируйтесь и зовите с собой коллег! 😊
https://meetup.tbank.ru/event/t-talk-scala2/
Т-Банк Митапы
Митап T-Talk: Scala
Приглашаем на последний в этом году T:Talk Scala. В программе — доклад и круглый стол, где мы обсудим самое наболевшее
Forwarded from Esenia
Т-Банк открыл набор на новый поток стажировок 💻
Есть много направлений: разработка (на восьми языках программирования!), ML, SRE, QA, аналитика, менеджмент, редактура, маркетинг и юриспруденция. Ждут студентов и начинающих специалистов, готовых посвящать работе от 20 часов в неделю.
Стажировки оплачиваются, а по результатам нескольких месяцев вас могут пригласить на интервью в штат. Вы будете участвовать в реальных проектах и разрабатывать решения с нуля с полным погружением в бизнес-процессы. Стажеры отлично справляются с тем, чтобы совмещать работу и учебу: менторы и руководители относятся к этому с пониманием.
Выберите направление, отправьте заявку и решите экзамены до 30 января
Есть много направлений: разработка (на восьми языках программирования!), ML, SRE, QA, аналитика, менеджмент, редактура, маркетинг и юриспруденция. Ждут студентов и начинающих специалистов, готовых посвящать работе от 20 часов в неделю.
Стажировки оплачиваются, а по результатам нескольких месяцев вас могут пригласить на интервью в штат. Вы будете участвовать в реальных проектах и разрабатывать решения с нуля с полным погружением в бизнес-процессы. Стажеры отлично справляются с тем, чтобы совмещать работу и учебу: менторы и руководители относятся к этому с пониманием.
Выберите направление, отправьте заявку и решите экзамены до 30 января