Компания Питерская Вышка временно не ведёт блог на Хабре
Как сделать хороший короткий доклад
Чему учат в магистратуре Software Engineering в Питерской Вышке
Жизнь после бакалавриата: как я решала, что делать дальше, когда высшее образование и работа уже есть
В этой статье я расскажу, почему я принимала такие решения и к каким выводам пришла в процессе.
Как и зачем кураторы в Питерской Вышке помогают программистам-первокурсникам
Справляться с организацией, тайм-менеджментом, расставлять приоритеты и решать проблемы с уверенностью в себе ребятам помогают кураторы. В посте они рассказывают, почему решили этим заниматься, чему научились в процессе и с какими проблемами первокурсники сталкиваются чаще всего.
Стажировки в Google: Цюрих, Лондон и Кремниевая долина
GSoC 2019: Проверка графов на двудольность и трансформеры монад
Как участник Google Summer of Code 2019 я делал проект в рамках библиотеки Alga с организацией Haskell.org, занимающейся развитием языка Хаскелль — одного из самых известных функциональных языков программирования. Alga — библиотека, представляющая типобезопасное представление для графов в Хаскелле. Она используется, например, в semantic — библиотеке компании Github, строящей по коду семантические деревья, графы вызовов и зависимостей и умеющей их сравнивать. Мой проект состоял в добавлении туда типобезопасного представления для двудольных графов и алгоритмов для этого представления.
В посте я расскажу про свою реализацию алгоритма проверки графа на двудольность на Хаскелле. Несмотря на то, что алгоритм является одним из самых базовых, его красивая реализация в функциональном стиле заняла у меня несколько итераций и потребовала довольно много работы. В результате я остановился на реализации с трансформерами монад.
Прыжок в Лондон или моя стажировка в Jump Trading
(Фото со страницы компании на www.glassdoor.co.uk)
C++ Russia: как это было
Бьярне Строуструп
С 31-го октября по 1-е ноября в Петербурге прошла конференция C++ Russia Piter – одна из масштабных конференций по программированию в России, организуемая JUG Ru Group. Среди приглашённых спикеров – члены комитета по стандартизации C++, докладчики с CppCon, авторы книг издательства O'Reilly, а также мейнтейнеры таких проектов, как LLVM, libc++ и Boost. Конференция ориентирована на опытных разработчиков на C++, желающих углубить свою экспертизу и обменяться опытом в живом общении. Студентам, аспирантам и преподавателям университетов предоставляются очень приятные скидки.
Московское издание конференции можно будет посетить уже в апреле следующего года, а пока наши студенты расскажут, что интересного они узнали на прошедшем мероприятии.
Первый набор на «Прикладную математику и информатику» в Питерской Вышке: кто они и как с ними работать?
Стажировки в международных компаниях: как не завалить интервью и получить заветный оффер
Привет, Хабр!
В этом посте я расскажу, что такое стажировка в зарубежной компании и как подготовиться к собеседованиям так, чтобы получить оффер.
Почему вы должны меня слушать? Не должны. Но за последние два года я побывал на стажировках в Google, Nvidia, Lyft Level5 и Amazon. Собеседуясь в компании в прошлом году, получил 7 офферов: от Amazon, Nvidia, Lyft, Stripe, Twitter, Facebook и Coinbase. Так что у меня есть кое-какой опыт в этом вопросе, который, возможно, окажется полезным.
Отладка алгоритмов на графах — теперь с картинками
ZuriHac: практикуемся в функциональном программировании
Как решать NP-трудные задачи с помощью параметризованных алгоритмов
В этом посте я расскажу о своём проекте по направлению Computer Science. В рамках работы я изучил и реализовал на практике подходы к решению одной из самых известных NP-трудных задач: задаче о вершинном покрытии.
Сейчас очень быстро развивается интересный подход к NP-трудным задачам — параметризованные алгоритмы. Я постараюсь ввести вас в курс дела, рассказать несколько простых параметризованных алгоритмов и описать один мощный метод, который очень мне помог. Свой результаты я представил на соревновании PACE Challenge: по итогам открытых тестов мое решение занимает третье место, а окончательные результаты будут известны 1 июля.
Зачем идти на «Промышленное программирование» в Питерскую Вышку?
UPD. С 1 сентября 2020 года образовательная программа «Промышленное программирование» меняет свое название на новое и будет называться «Машинное обучение и анализ данных»
AR, робототехника и катаракта: как мы съездили на российско-немецкую школу по программированию
Каждый год компания-спонсор (в этом году — Zeiss) предлагает ~20 студентам из Германии и России несколько проектов, а через неделю команды должны представить свои наработки по этим направлениям. В этом году нужно было либо сделать видеозвонки с дополненной реальностью под Android, либо придумать и запрототипировать UI для системы predictive maintenance, либо поучаствовать в секретном Project Cataract.
Вся работа — на английском. Организаторы нарочно составляют смешанные команды из российских и немецких студентов для (бес)культурного обмена. Более того, по чётным годам школа проходит в России, а по нечётным — в Германии. Так что это прекрасная возможность для студентов разной степени подготовки получить не просто опыт работы, а опыт совместной работы с иностранцами.
Mountain Car: решаем классическую задачу при помощи обучения с подкреплением
Реляционное программирование: боль, интерес и снова боль
Сегодня я расскажу о своем исследовании в области реляционного программирования, которым занимаюсь в университете и в качестве студента-исследователя в лаборатории языковых инструментов JetBrains Research.
Что такое реляционное программирование? Обычно мы запускаем функцию с аргументами и получаем результат. А в реляционном случае можно делать наоборот: зафиксировать результат и один аргумент, а второй аргумент получить. Главное — правильно написать код и запастись терпением или хорошим кластером.
Как мы в Питерской Вышке учим Software Engineering
В предыдущих постах мы рассказывали, что наши студенты делают на стажировках: научных (например, в JetBrains Research) и промышленных. В этом посте хотим поделиться, как мы учим промышленному программированию.
Кратко: за четыре курса бывший школьник пробует десяток-другой технологий и языков, постоянно пишет и удаляет много кода, проходит code review от более опытных товарищей (не всегда с первой попытки), углубляется в какую-то тему и в итоге защищает содержательный диплом. Всё это проходит прямо в университете и даёт диплом гособразца. А летом можно либо отдохнуть, либо постажироваться в России в JetBrains, Яндексе и JetBrains Research (если хочется больше науки) или съездить за рубеж (Google, Facebook и другие). Теперь поподробнее.
Как я научила робота бегать по видео с YouTube
Смоделировать все возможные движения человека и описать все сценарии поведения — достаточно сложная задача. Если мы научимся понимать, как человек двигается, и сможем воспроизводить его движения «по образу и подобию» — это сильно облегчит внедрение роботов во многие области. Как раз для того, чтобы роботы учились повторять и анализировать движения сами, и применяется машинное обучение.