Как стать автором
Обновить
37
0
Образовательные проекты JetBrains @JetBrains_Education

Пользователь

Отправить сообщение

Опыт создания курса «Введение в системы сбора данных» в МФТИ

Время на прочтение7 мин
Количество просмотров3.7K

В МФТИ есть как факультеты, которые готовят сильных программистов, так и факультеты, выпускающие крутых специалистов в области физики, биологии и химии. Однако в сфере физических исследований также не обойтись без навыков программирования. В частности, все масштабные физические эксперименты автоматизированы. 

Из-за того, что программы обучения (а, следовательно, и компетенции) физиков и программистов сильно отличаются, при их совместной работе над экспериментами нередко возникают трудности. Мы в лаборатории методов ядерно-физических экспериментов ставим своей целью подготовку специалистов, которые могут и разобраться в физике процессов, и написать необходимое программное обеспечение. Для этого в прошлом году мы запустили магистерскую программу, а в этом еще один проект, направленный на знакомство физиков с программированием. О нем я и расскажу в этой статье.

Читать далее
Всего голосов 6: ↑5 и ↓1+6
Комментарии17

Как я стажировался в JetBrains Data Analytics Team

Время на прочтение5 мин
Количество просмотров5.3K

Каждое лето JetBrains проводит стажировки для студентов. На два месяца стажеры погружаются в большой мир разработки и под руководством ментора реализовывают настоящий законченный проект. 

Прошлым летом одним из стажеров компании стал первокурсник НИУ ВШЭ — Санкт-Петербург Тимофей Василевский. Тимофей изучал поведение пользователей при работе в IntelliJ IDEA. В этом посте он рассказал, почему решил пойти на стажировку по анализу данных, как готовился и проходил отбор и чем занимался эти два месяца.

Читать далее
Всего голосов 4: ↑4 и ↓0+4
Комментарии4

Первый truly stateless оптимальный алгоритм модел-чекера и его проверка на Coq

Время на прочтение12 мин
Количество просмотров3.6K

Надоели нестабильные баги в многопоточном коде? Попробуй воспользоваться модел-чекерами! Ведь больше не надо бояться неверифицированных модел-чекеров,  работающих либо за экспоненциальное время, либо неоптимально. Все это в прошлом: в Max Planck Institute for Software Systems разработали новый алгоритм под названием TruSt, который решает эти проблемы и, кроме того, верифицирован на Coq.

Меня зовут Владимир Гладштейн. Этим летом я проходил стажировку в MPI-SWS в группе, которая придумала алгоритм нового модел-чекера для поиска багов в многопоточных программах. Этот алгоритм является оптимальным и truly stateless (вследствие чего работает с линейными затратами по памяти). В этом посте я расскажу, как работают модел-чекеры, в каких случаях их можно использовать, и что за алгоритм придумали мои коллеги. А еще как я проверял доказательства его корректности на Coq.

Читать далее
Всего голосов 26: ↑26 и ↓0+26
Комментарии40

Олимпиады, стажировки и преподавание. Интервью с Егором Суворовым

Время на прочтение13 мин
Количество просмотров5.4K

Мы продолжаем рассказывать истории выпускников Computer Science Center. Сегодняшний герой — Егор Суворов — работает в калифорнийском стартапе Zenith и преподает курс по C++ в петербургском кампусе НИУ ВШЭ. Егор — олимпиадник, в 2014 году в составе команды СПбГУ он стал чемпионом ACM ICPC. А вот свои первые существенные шаги в промышленном программировании сделал благодаря CS центру.

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

Читать далее
Всего голосов 11: ↑10 и ↓1+11
Комментарии2

«Для меня сфера образования круче любой другой»: интервью с Анастасией Лавренко, руководителем разработки в Stepik

Время на прочтение8 мин
Количество просмотров3.7K

В этом году десять лет исполнилось Computer Science Center — образовательному проекту, созданному при участии JetBrains, Школы анализа данных и Computer Science клуба. Сегодня CS центр — это очные курсы в Питере и Новосибирске (а ещё дистанционные для жителей других городов), пять направлений обучения и больше трёхсот невероятно классных и талантливых выпускников. Истории некоторых из них мы хотим вам рассказать.

Первая героиня — Анастасия Лавренко, выпускница 2018 года. Сейчас Настя руководит разработкой образовательной платформы Stepik, а в свободное время и сама делает открытые онлайн-курсы. В интервью она рассказала, почему пошла учиться в CS центр, как попала в Stepik, и поделилась личным топом онлайн-курсов для программистов.

Читать далее
Всего голосов 8: ↑8 и ↓0+8
Комментарии2

DevDays: студенческий хакатон на магистерской программе JetBrains&ITMO

Время на прочтение9 мин
Количество просмотров1.3K

«Увлекательное испытание себя» – так описывают студенты участие в хакатоне, который проходит каждый семестр у первокурсников магистерской программы JetBrains&ITMO. DevDays – это три дня и три ночи интенсивной работы и горячих митингов, знакомство с новыми технологиями и множество строк кода. Ребята работают в небольших командах и проходят все этапы разработки: от возникновения идеи проекта до работающего решения. А прошедшей весной студенты наконец поработали друг с другом вживую после почти года удаленки. 

В этом посте рассказываем подробнее об идеях проектов: два плагина для Intellij IDEA,  приложение для тиктокеров, эмулятор мыши для механических клавиатур и чатбот-органайзер.

Читать далее
Всего голосов 1: ↑1 и ↓0+1
Комментарии0

Эффективная разреженная булева алгебра — то, что нужно алгоритмам анализа графов

Время на прочтение8 мин
Количество просмотров4.6K

Создание и практическое использование алгоритмов сильно зависит от возможности эффективно их реализовать. В лаборатории языковых инструментов JetBrains разрабатывают алгоритмы поиска путей в помеченных графах с дополнительными ограничениями. Эти алгоритмы достаточно естественно выражаются в терминах операций над булевыми матрицами, но в современных высокопроизводительных библиотеках линейной алгебры пока нет полного набора необходимых операций над булевым полукольцом. Поэтому мы решили их реализовать.

Читать далее
Всего голосов 4: ↑4 и ↓0+4
Комментарии6

Долгий путь к программированию: история выпускника магистерской программы JetBrains&ITMO

Время на прочтение5 мин
Количество просмотров4.6K

Нас часто спрашивают, можно ли поступить на магистерскую программу JetBrains в Университете ИТМО без профильного образования в бакалавриате. Мы отвечаем, что можно и подобные истории случаются каждый набор. Но нельзя не отметить, что в таком случае подготовка к поступлению и само обучение дается гораздо сложнее: студентам приходится осваивать больше материала в сжатые сроки. 

Ярослав Чернышев – выпускник 2020 года программы «Разработка программного обеспечения». В этом интервью он рассказал свою историю, которая, возможно, немного успокоит вас и подтолкнет  изменить сферу деятельности. Несколько лет назад Ярослав решил уйти из юриспруденции в IT. Что из этого вышло, читайте под катом. 

Читать далее
Всего голосов 4: ↑3 и ↓1+2
Комментарии0

Парсинг Markdown и LaTeX в Grazie Chrome Plugin

Время на прочтение6 мин
Количество просмотров3.2K

Возможно, вы уже пользуетесь Grazie — плагином для среды разработки Intellij IDEA, который проверяет естественные языки на грамматические, пунктуационные и прочие виды ошибок. Сейчас команда проекта работает над плагином для Chrome, который будет делать то же самое, но уже в браузере. С частью задач им помогают стажеры — студенты профильных программ из разных вузов. Например, Ольга Шиманская учится на третьем курсе бакалавриата «Современное программирование» в СПбГУ и на практике кодила для Grazie Chrome Plugin. За весенний семестр Оля реализовала парсинг языков разметки (LaTeX и Markdown) в обычный текст и попыталась подступиться к задаче подсветки синтаксиса выбранного языка в браузере. Что у нее получилось, а что нет, читайте под катом.

Читать далее
Всего голосов 9: ↑9 и ↓0+9
Комментарии7

Автоматическая генерация сообщений к коммитам

Время на прочтение6 мин
Количество просмотров3.4K
Привет! Меня зовут Александра Елисеева, я студентка Computer Science Center. В рамках практики в осеннем семестре 2020 года я участвовала в проекте BERT for Source Code под руководством Тимофея Брыксина и Ярослава Соколова из JetBrains Research. Я исследовала решение задачи автоматической генерации сообщений к коммитам с помощью языковой модели BERT. Что получилось, а над чем еще предстоит поработать, расскажу в этом посте.



О проекте


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

Исходный код программ во многом отличается от текстов на естественном языке, но его тоже можно воспринимать как последовательность токенов и использовать аналогичные методы. Например, в области обработки естественного языка активно применяется языковая модель BERT. Процесс её обучения предполагает две стадии: предобучение на большом наборе неразмеченных данных и дообучение под конкретные задачи на более маленьких размеченных датасетах. Такой подход позволяет многие задачи решать с очень хорошим качеством.

Недавние работы (1, 2, 3) показали, что если обучить модель BERT на большом датасете программного кода, то она и в этой области неплохо справляется с несколькими задачами (среди них, например, локализация и устранение неправильно использованных переменных и генерация комментариев к методам).

Проект направлен на исследование применения BERT для других задач, связанных с исходным кодом. В частности, мы сосредоточились на задаче автоматической генерации сообщений к коммитам.
Читать дальше →
Всего голосов 7: ↑5 и ↓2+3
Комментарии15

Научное программирование в МФТИ

Время на прочтение6 мин
Количество просмотров5.2K

Привет, это Александр Нозик, и этот пост посвящен еще одной "интересной" магистерской программе (на этот раз на физтехе, совместно с JetBrains, Таврида Электрик и целым списком научных организаций). Про интересность вы решите сами, но программа в этот раз действительно уникальная (пока по крайней мере). Называется она Научное программирование (официальное название "Разработка и применение программного обеспечения в физических исследованиях") и расположена на ФПМИ и ЛФИ в МФТИ. Посвящена не отдельно физике, не отдельно программированию, не отдельно computer science, а стыку всего этого.

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

Если нет, то читаем дальше.

Читать далее
Всего голосов 9: ↑7 и ↓2+7
Комментарии0

Шаблоны и концепты в С++20

Время на прочтение2 мин
Количество просмотров4.7K

Привет, Хабр!

Недавно Егор Суворов, преподаватель курса по С++ в Питерской Вышке, прочитал лекцию о некоторых особенностях языка для участников Всероссийской олимпиады школьников по информатике. Егор рассказал о шаблонах в C++, а также где и зачем они возникают: обобщённое программирование структур данных и алгоритмов, функторы и лямбда-функции, как можно повысить уровень абстракций и упростить код.

Важное уточнение: эта лекция — не попытка объять необъятное, а краткий экскурс по полезным возможностям C++ для членов олимпиадного сообщества: от извлечения кода в класс до внутренних механизмов работы лямбда-функций и щепотки ограничений (constraints) из C++20. Если интересно, приглашаем к просмотру.

Смотреть
Всего голосов 16: ↑6 и ↓10+1
Комментарии3

Корпоративная магистратура JetBrains в Университете ИТМО ищет новых студентов

Время на прочтение5 мин
Количество просмотров3.6K

Объявляем набор на магистерскую программу JetBrains “Разработка программного обеспечения” на 2021-2023 учебные годы. Мы ждем тех, кто уже обладает базовыми знаниями в программировании и готов посвятить два года интенсивной учебе.

Обучение ведется по двум специализациям: разработка ПО, алгоритмы и анализ данных в биоинформатике. Формат обучения — очный, на программе доступно 30 бюджетных и 5 контрактных мест.  

Читать далее
Всего голосов 5: ↑5 и ↓0+5
Комментарии6

Computer Science Center открыл приём заявок на новый учебный год

Время на прочтение3 мин
Количество просмотров3.9K

До 10 апреля продолжается набор на вечерние курсы по математике и программированию в CS центре. Computer Science Center — это совместный проект Школы анализа данных Яндекса, JetBrains и Computer Science клуба при ПОМИ РАН. Курсы проходят очно в Санкт-Петербурге и Новосибирске, жители других городов могут заниматься дистанционно. Обучение в Computer Science Center бесплатное.

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

Читать далее
Всего голосов 8: ↑8 и ↓0+8
Комментарии1

Как провести лето с пользой: стажировки в JetBrains 2021

Время на прочтение6 мин
Количество просмотров12K

Привет, Хабр!

Скоро конкурс на летние стажировки в JetBrains. Рассказываем, как они устроены и как на них попасть.

24 марта проведем вебинар и ответим на все вопросы. 

29 марта начинается конкурс по адресу internship.jetbrains.com.

Присоединяйтесь!

Читать далее
Всего голосов 12: ↑11 и ↓1+14
Комментарии4

Из студентов в преподаватели: интервью с выпускниками магистерской программы JetBrains + ИТМО. Часть 2

Время на прочтение8 мин
Количество просмотров2.3K
Продолжаем знакомить вас с выпускниками магистратуры JetBrains и ИТМО «Разработка программного обеспечения», которые по завершении обучения пополнили преподавательский состав программы. Во второй части интервью ребята рассказывают подробнее о своих задачах, подходах к преподаванию и дают советы абитуриентам. Первая часть интервью.


Читать дальше →
Всего голосов 3: ↑3 и ↓0+3
Комментарии0

Model Checking для тестирования многопоточности? С Lincheck — легко

Время на прочтение11 мин
Количество просмотров2.5K

Привет! Сегодня мы будем говорить про многопоточность и расскажем про инструмент  Lincheck – один из ключевых проектов  Лаборатории параллельных вычислений в JetBrains Research. Если в двух словах, то это фреймворк для тестирования многопоточных структур данных под JVM, предоставляющий возможность декларативного написания тестов. Что это значит? Как правило, при написании тестов мы пишем саму логику тестирования. С Lincheck-ом же все иначе – вместо указания того, как тестировать, вы объявляете операции, которые необходимо проверить, критерий корректности (например, линеаризуемость) и возможные ограничения (например, "single-consumer" для очередей) – то есть указываете что тестировать. А дальше Lincheck уже сам со всем разберется.  В этом посте мы сделаем краткий обзор Lincheck-а и расскажем про режим model checking, который мы недавно зарелизили и который уже спас нам десятки часов отладки ошибок в алгоритмах.

Читать далее
Всего голосов 6: ↑6 и ↓0+6
Комментарии0

Открытые материалы: курс по вычислительной нейронауке

Время на прочтение2 мин
Количество просмотров3.6K

В осеннем семестре 2020 года команда лаборатории Нейробиологии и физиологии развития прочитала курс «Вычислительные Нейронауки» для студентов партнерских магистратур ВШЭ и ИТМО, а также для заинтересованных вольнослушателей. Курс проводится в рамках образовательных программ JetBrains c 2019 года. В этом году, в отличие от прошлого, формат обучения был, естественно, дистанционный –– лекции и семинары проводились в виде видеоконференций. В ходе курса студентам был предложен базовый материал для изучения и обсуждения в аудитории, материалы для самостоятельного, более глубокого погружения, интересные практические задания по моделированию нейронов и биологических нейронных сетей. 

Цель курса –– дать студентам представление о том, что и какими способами можно моделировать в нейробиологии и дать им возможность немного попрактиковаться в этом на нескольких относительно простых задачах. Пререквизитами для полноценного усвоения материала являются умение программировать и интерес к биологии, однако, если даже вы не умеете программировать, но интересуетесь вопросами, касающимися работы нервной системы и ее моделирования –– вам все равно будет интересно послушать эти лекции!

Читать далее
Всего голосов 12: ↑12 и ↓0+12
Комментарии0

Жадные гипотезы в задаче о кратчайшей надстроке

Время на прочтение7 мин
Количество просмотров2K
В задаче о надстроке по входному набору строк требуется найти кратчайшую строку, которая содержит каждую из них в качестве подстроки. Данная задача возникает в разных приложениях, например, в сборке генома или сжатии данных. Эта задача NP-трудная, поэтому рассчитывать на эффективный алгоритм поиска точного решения не приходится.

Максим Николаев — аспирант ПОМИ РАН, преподаватель Computer Science Center и СПбГУ, учитель математики в лицее №533 в Санкт-Петербурге. В 2019 году он окончил CS центр по направлению Современная информатика. В статье ниже Максим рассказывает о своей исследовательской работе во время обучения по поиску приближенных решений задачи о надстроке.


Читать дальше →
Всего голосов 4: ↑3 и ↓1+4
Комментарии0

Из студентов в преподаватели: интервью с выпускниками магистерской программы JetBrains + ИТМО. Часть первая

Время на прочтение9 мин
Количество просмотров2.2K

Преподавательский состав магистерской программы JetBrains и ИТМО «Разработка программного обеспечения» на четверть (!) состоит из выпускников этой же программы. Пожалуй, это хороший повод для гордости. Мы решили сделать большое интервью с ребятами. Возможно, их истории помогут кому-то решиться начать преподавательскую карьеру, а кому-то — поступить к нам на программу.

В первой части наши выпускники и преподаватели –– Владислав Танков, Дмитрий Новожилов, Дмитрий Халанский, Алексей Зубаков, Артем Хорошев, Александр Садовников, Владислав Кораблинов и Роман Голышев — рассказывают о выборе магистратуры, впечатлениях от обучения и отличиях от других программ.

Читать далее
Всего голосов 8: ↑7 и ↓1+10
Комментарии0
1

Информация

В рейтинге
Не участвует
Откуда
Россия
Зарегистрирован
Активность