LALAMBDA 23

Names & Faces

все участники школы

Владимир Силкин

Data-Scientist @Нетология

NLP, велосипед, растениеводство, психотерапия, фортепиано"

t.me/volodya_production

"На работе занимаюсь классическим ML и NLP. Делал курс по машинному обучению для Европейского Университета и планирую преподавать дальше. Могу классно рассказать про цепи Маркова.

​

В свободное время выращиваю растения, играю на фортепиано, занимаюсь с психотерапевтом и катаюсь на велосипеде."

​

Иван Васильев

Формальный верификатор @ Pruvendo

operating systems, etc.

t.me/UusiIhmimen

Чернорабочий (ну, почти)) формальной верификации. Люблю писать код на Elpi for Ursus Language . Основатель теории Конца Цивилизации

Андрей Шулаев

former Software Engineer @ Google, unemployed

interactive theorem proving, (functional) programming languages, datatype-generic programming

t.me/enordd

До текущего года работал в Google; последним проектом был инструмент для трейсинга приложений perfetto.dev. В свободное время нерегулярно изучаю различную математику; в последнее время изучаю Lean с планами использовать его для формализации изучаемых вещей. Раньше программировал разной степени игрушечности компиляторы на Haskell, в далёком 2014 два месяца провёл на стажировке работая над пакетным менеджером для языка программирования Elm.

Из других развлечений интересуюсь чтением философии и ритм-играми; последние полгода регулярно занимаюсь aerial circus.

Назар Казаков

Software Engineer @ Codethink Ltd.

C, risc-v, assembly, sail lang, sound mixing, Bible

t.me/nazar011

Средне-опытный эмбеддед программер – arm, risc-v, C, bare metal, linux. Пожил в Кирове, Воронеже, и сейчас в Манчестере. Недавно начал изучать ocaml, coq, sail, хочу применить их в каком-нибудь проекте.

​

В свободное время занимаюсь звукорежиссурой в христианской церкви Audacious в Манчестере. Навороченные микшерные пульты, ушные мониторы, линейные массивы, тысяча людей поющих в зале.

Владимир Кальницкий

Tech Lead / Manager / Developer @ mlabs.city

programming language theory, functional programming, cryptocurrencies, functional reactive programming

t.me/klntsky

Разработчик приложений, интересуюсь теорией языков программирования и computer science. Фанат всех технологий, увеличивающийх нашу уверенность в корректности программ, из-за чего в основном склоняюсь в сторону функционального программирования в своей практике.

В свободное время издаю звуки.

Курс: Purescript

Сергей Егоров

Cofounder @ Pruvendo

formal verification, formal specification, blockchain technologies, smart contracts

t.me/SergeyEgorovSPb

В IT уже 25 лет, программировал на куче языков, руководил, делал собственные стартапы (удачные и не очень). Последние несколько лет занимаюсь вопросами формальной верификации, являясь совладельцем стартапа Прувендо, который пытается придать человеческое лицо этой сложной дисциплине.

​

Получается очень даже неплохо, как нам кажется, поэтому с радостью поделюсь нашими находками, идеями и результатами.

Богдан Бугаев

Работаю над ПО для создания спецэффектов в кино. Преподавал классическое компьютерное зрение на МКН СПбГУ и в ИТМО/ВШЭ (т. е. в пост-АУ).

​

Давно хотел получше ознакомиться с околоязыковыми темами, но все никак не доходили руки; может, получится на этой школе.

​

Люблю китайский чай, кофе, читать и музыку. Увлекаюсь скалолазанием.

​

Software Developer @ KeenTools

t.me/bbugaev

3D computer vision, bouldering

Максим Бакиновский

Formal Methods Specialist @ Pruvendo

interactive theorem proving, fp, math, c++

t.me/mabodchik

В Pruvendo разрабатываю на Coq генератор тест-кейсов для проверки нашего языка Ursus на прочность

​

Оч люблю программировать (и умею) и математику (не умею), оч хочу всему учиться

​

С удовольствием потрещу/обсужу/поспорю про разные языки программирования

Кети Габаташвили

Член организационного комитета

Закончила в России фармацевтическую академию (управление и экономика фармации).

Последние 5 лет занимаюсь организацией различных мероприятий, туров в Грузии. Вхожу в ассоциацию Гидов Грузии.

Знаю, как сделать ваше пребывание в солнечной Грузии максимально комфортным и веселым!

⁃ Профессионально говорю тосты 🥂

⁃ Отлично фотографирую

⁃ Умею выслушать и поддержать

​

​

​

tg @KetevanG

Анастасия Щербинина

Software Engineer @ SolidSoft

static program analysis, танцы, французский язык

t.me/nastya_jane

Люблю болтать с французами и франкофилами и танцевать. Ещё плавать и бегать. Ну и программировать мне вообще тоже нравится.

Занималась исследованием в области вредносных приложений под Android, есть публикации на эту тему. Закончила ВМК МГУ в 2012 году.

Тимур Охинько

Занимаюсь чтением статей про Deep Learning

deep learning, computer vision, large language models, cooking, beer, wine

t.me/metya

Безработный с недавних пор. Раньше работал лидом по рисерчу прикладного МЛ для задач медицинских изображений и не только. Люблю нейросетки. И всякое с этим связанное. Свободного времени нет. Но в целом люблю выпить вкусного вина.

Курс: Machine Learning

Евгений Косогоров

Студент ПМИ ИТМО. Занимаюсь формальной верификацией смарт-контрактов в Pruvendo.

​

Интересуюсь фп, мат. логикой, теорией типов, теорией категорий. Пишу на Coq и на Scala.

​

​

Formal Verification Specialist @ Pruvendo

t.me/dogdogdogdogdogdogdogdog

functional programming, formal verification, interactive theorem proving

Вячеслав Баранов

Student @ ITMO

category theory, operating systems, algorithms, ML, music

alg0ritmist

Студент ПиИКТ ИТМО. Хочу чего-нибудь более необычного чем джава и питон.

Люблю всё что связано с математикой и наукой. Сейчас изучаю теоркат, операционные системы и Haskell

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

За чашечкой синего чая люблю обсуждать философские вопросы

Алиса Баунс

Председатель культурного комитета

​

Отвечаю за то, чтобы в школе было весело и культурно. Создаю сетку событий, на которых студенты будут отрываться по полной и получать новые скиллы в области телесного развития и креативности.

Я танцовщица, перфомерка, тичер по йоге и режиссёрка с бекграундом эвентщицы: и свадебку на 500 человек вам организуем и потанцуем на ней :)

​

tg @alisabounce

Андрей Тропин

Dev and Maintainer @ GNU Guix and rde

programming languages, distributed computing environments, lisps, operating systems, bjj, rock climbing

t.me/andrewtropin

FOSS Developer. В юношестве собирал gentoo, чтобы казаться клёвым, а теперь пишу кучи лиспа, чтобы никому не приходилось собирать что-то дважды.

​

Переизобретаю программирование и хожу в горы.

Курс: Lisp

Александр Томохов

Developer. Non-professional multi-instrumentalist musician.

I have the longstanding passion for functional programming approach (Haskell in particular), yet have lots of stuff to improve on related topics. Also, an avid user and hacker of NixOS (which fulfills the gap between OS infrastructures and FP).

Frequently participate in various musical jams in Tbilisi on theremin, drums or whatever. And I plan to study TidalCycles/SuperCollider as well.

​

Backend Developer @ Xunison

t.me/alexoundos

Haskell, NixOS, formal methods.

Music composition, music improvisation, table tennis, StarCraft: Remastered

​

Евгений Смагин

Senior Java Developer

ФУПМ МФТИ, Java, System design, люблю спорт

t.me/smagin_en

Выпускник ФУПМ МФТИ, Java dev

Петр Ларочкин

Software Engineer @ Pruvendo

Coq, ходьба, кино

t.me/larochkin

Моя повседневная жизнь — это работа и учеба (пока еще учусь в МГУ). Моя работа очень коррелирует с тематикой школы, было бы прикольно что-то изучить и поглядеть.

Люблю делать полезные вещи на Coq, которые пригождаются коллегам.

​

В свободное время, хожу в кинотеатры и ем круассаны. Люблю общаться с новыми людьми.

Манэ Аветисян

ЕрФИ, универсальная теория алгебр Ли

Low-level programming, C language, Lie Algebras, configurations of points and lines, Vogel's Universality, плавание, фигурное катание, походы, танцы, музыка, прогулки на свежем воздухе, психология успеха

t.me/manelle_manelle

Новоиспеченный кандидат физ-мат наук из ЕрФи, диссертация которой посвящена категории универсальной алгебры Ли и ее приложениям.

Сейчас преодолеваю гравитацию в школе программирования 42 в Ереване (в данный момент перевожу дух на второй орбите). Люблю экспериментировать с визуализацией алгебраических объектов и программировать на C.

В любой непонятной ситуации включаю Pink Floyd или записи всевозможных чемпионатов по фигурному катанию.

Периодически плаваю, танцую и хожу в походы.

​

Николай Рулев

Haskell Developer @ Tinkoff Travel

haskell, plt, distributed systems, анекдоты, прогулки по паркам

t.me/Absolute_Nikola

Заканчиваю бакалавра в ИТМО на информационных технологиях, работаю с 1 курса чтоб не помереть с голода. В хаскель занесло по ~~пьяне~~ как-то. Организую @fprog_spb, когда есть силы (последний год оч тухло идет). Второй год пищу язык по книге Model compiler in ML от Andrew Appel. Свободное время штука сложная, большую часть времени работаю и/или учусь, иногда играю в компуктер, пишу код для себя, треню три раза в неделю. Знаю 1000 и 1 анекдот категории Б. Люблю природу и не оч люблю города)

Владимир Жилин

Software Engineer @ ALM Works (Tempo.io)

логика, теория доказательств, формальные системы, string rewriting systems, решение задач с помощью smt-решателей, человеческие интерфейсы к базам данных

t.me/vzhilin

Программист, в свободное время изучаю логику и сопутствующие дисциплины с целью вкатиться в синтез кода (ну ладно, если не кода, то чего-нибудь еще) по спецификациям. Написал пост на хабр про нетрадиционное применение Z3 (https://habr.com/en/articles/683670/)

Михаил Потанин

Backend Developer @ Tinkoff

constraint modeling, model checking, interactive theorem proving, operating systems, open distributed systems, capability-based security, programming languages, ontology, modal logic, рефлексивные игры, спортивный бридж, физика плазмы, системная биология, лингвистика, аймара, настольный теннис, стрельба

t.me/potan

Когда-то хотел заниматься теоретической физикой, но занялся защитой информации и reverse engineering. Во времена доткомов участвовал в разработке аналога докера под FreeBSD, в основном файловой системой. Прочитав ¨Феномен науки¨ заинтересовался языком Рефал и функциональным программированием, что было поводом изучить Haskell, написав на нем интерпретатор Рефала. Был удивлен как мало ошибок приходилось ловить в откомпилированной программе, что побудило интерес к теориям типов и теории категорий. Работая в ИТМиВТ применял Haskell для моделирования микросхем. Работал в блокчейн-компании Waves и там участвовал в разработке языка Ride. Связанные с программированием интересы: языки программирования, формальные методы, capability-based security, отдаленно связанные: основания математики, онтологии, неклассические логики и рефлексивные игры, совсем не связанные: физика плазмы, системная биология, лингвистика. Из спорта люблю настольный теннис и стрельбу.

Виталий Павленко

Студент 2 курса (аранжировка) @ МКИМ

paragliding, restaurants, contract bridge, UK global talent

t.me/vitalypavlenko

Бросил карьеру в айти и ушёл с головой в теорию музыки.

Закончил МФТИ, потом делал стартапчики как фулстэк: онлайн-учебник Питона, доставку еды, убер для авиации. Ещё в Вотсапе поработал.

Главное хобби: общаться с новыми людьми. Для этого я хожу на дейты, на рэндом-кофе, на спиддейтинги, делаю комьюнити, собираю бранчи и большие тусы, живу в коливингах, веду каналы.

Хочу провести трэк по музыкальной теории, если хоть кто-нибудь запишется.

Курс: Music Theory

Андрей Ляшин

Я закончил физфак СПбГУ, сейчас занимаюсь формальной верификацией смарт-контрактов на Coq, в качестве CTO компании Pruvendo. Свободного времени у меня нет. Люблю математику, физику и формальные методы

​

Cofounder @ Pruvendo

t.me/andruiman

interactive theorem proving, coq, type theory, geometry, topology

Алекс Галайда

Computer Vision Engineer @ Adalisk

Computer Vision

t.me/alexgalayda

Computer Vision Engineer в MedTech. Я прихожу после работы, подключаю себя к розетке и стою на подзарядке за занавеской до начала следующего дня.

Курс: Machine Learning

Иван Васильев

Golang Highload System Developer @ ЦТРР СПБГУ

highload systems, operations research, compiler theory, procedural generation | рисование, воркаут, экономика, го, судоку, столярное дело

Студент факультета ПМ-ПУ СПБГУ. По резюме бекенд разработчик высоконагруенных систем, по факту и пронтендер и бекендер и на дуде игрец.

Хочу впоследствии заниматься компиляторами и теорией ЯП, но с уходом из РФ JetBrains вкатываться стало гораздо сложнее. Поэтому оказаться в обществе вовлеченных (и практикующих) людей, получить новый заряд для изучения логики, формальных грамматик и возможно даже теорката звучит очень круто для меня.

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

Олег Скиндерев

Backend Developer @ Yandex

Haskell, GoLang, Python, Formal language, Type theory, Math, прямая демократия, архитектура, история

t.me/olegtyping

Backend-разработчик, (не) закончил РУДН ФФМИЕН Математику, люблю математику => люблю Haskell, хочу дорисовать еще одну стрелку до пруверов. Люблю максимально заставлять писать и проверять код машины)

​

В свободное время люблю изучать город\страну\историю вокруг меня)

Владимир Лукин

Computer Vision Engineer @ Metapix

computer vision, ml, reinforcement learning

t.me/iwksx

Чуть больше года студент в GA Tech (OMSCS).

Заинтересовался lalambda, потому что прошёл полтора курса по хаскелю на stepic и читал про распределенные системы, когда работал с распределенной БД.

В свободное время гуляю, читаю Джона Готтмана, смотрю Эндрю Хьюбермана и готовлюсь к следующим семестрам. Около полугода учу испанский.

Олег Балушкин

Backend Developer @ Whisk

t.me/bal00sha

Бэкендер с детства.

Забиваю гвозди Scala`ой на работе, но хочется чего-то позабористей.

Люблю всё функциональное, а дисфункциональное не люблю.

В свободное время играю на бас-гитаре и в хоккей, катаю на роликах и снежной доске.

Даниил Сигалов

Security Researcher @ SolidSoft

static analysis, dynamic analysis, web security, information security, javascript analysis

t.me/asterite3

Я аспирант на факультете ВМК МГУ и исследователь безопасности в компании SolidSoft. Занимаюсь компьютерной безопасностью, точнее веб-безопасностью. Ещё точнее занимаюсь анализом JS-кода, как статическим, так и динамическим, это моя основная штука по работе, это же тема моего дисера. В связи с этим мне особенно интересно всё что связано с анализом программ/может помочь в нём. Люблю программирование -)

Dmitriy Volkov

House + contemporary dancer,

highly paid consultant,

PL/security PhD student.

​

Hiking, working on TinderGPT, practicing solfege and honing urban biking skills in my free time.

wldhх@wldhх.mе

Артур Хашаев

Director of Engineering @ SolidSoft

software architecture, computer science, automata theory, programming languages, type theory, static analysis, algebra, cryptography

t.me/inviz

Директор по разработке в SolidSoft — компании, которая создает продукты для защиты веб-приложений. Занимаюсь наукой и преподаю на факультете ВМК МГУ.

Мне интересно все, что связано с программной инженерией и архитектурой ПО в широком смысле.

Также занимаюсь компьютерной безопасностью, находил уязвимости и получал CVE, участвую в CTF-соревнованиях в составе команды Bushwhackers.

​

В свободное время изучаю 日本語, рисую коммутативные диаграммы и доказываю в Coq и Lean.

Курс: Static Analysis

Антонина Бегичева

HSE CS Lecturer + POIS Lab researcher

process mining, model checking, automata theory, patterns, DIY, memes, dancing, stand-up

t.me/tonyaginger

Препод и аспирант на факультете компьютерных наук ВШЭ, ресерчу в лабе процессно-ориентированных систем (формальные методы + процесс майнинг). После бакалавриата поработала в индустрии прогеркой, ресерчером around blockchain и затем снова тем и этим, смирилась, что где самые интересные задачи? у нас в лабе. Так снова оказалась в университете + люблю учиться и передавать дальше

Специалист по мемам (oh wait, ето же не мем, ето моя жизнь...), пишу тексты для постхипхопа в стол, делаю всякие красиво-ироничные штуки руками, занимаюсь jazz-funk и, в недавнем прошлом, вокалом, люблю смотреть и слушать, вчитана в психологию и терапевтические подходы и техники

Артём Петров

Курс: Machine Learning

Backend Developer

ML, AI, танцы, хайкинг, секс-вечеринки

t.me/ArtemPt239

239 -> (ФОПФ -> ФУПМ) МФТИ -> ШАД (ongoing).

​

Преобретаю интересный чувственный опыт работы в ChatGPT-based-стартапе.

​

Работаю над Replacing Guilt.

​

В свободное время учусь танцевать, хожу на секс-вечеринки, иногда забираюсь на горы, обсуждаю хот научные статьи на papers reading club.

Роман Холин

Huawei Moscow Base Software Lab

fuzzing, concolic execution, SAT/SMT, interactive theorem proving, скалодром, походы

t.me/romankholin94

Выпускник Мехмата МГУ, учился в аспирантуре ВМК МГУ.

Пишу на C++, Python, немного на Ocaml

​

Люблю ФП и COQ

​

В свободное время хожу в горные и лыжные походы

Курс: SAT / SMT

Дмитрий Пасечнюк

Research Assistant @ MIPT and MBZUAI

convex optimisation, oracle complexity, optimal control, linear programming, automated theorem proving, computational algebra

t.me/dmivilensky

Вообще занимаюсь матпрограммированием и окрестной фундаментальной математикой, но кривыми дорожками она ведёт и к логике. В течение последнего года учился на Кипре с JB и много общался с теми, кто занимается функциональным программированием, матлогикой и семантикой, выучил Coq и стал разбираться в теории. Оказалось, что это сопредельно вычматам до некоторой степени, и я стал надеяться что знания в логике обогатят идеями нашу матпрограммистскую область, чему и планирую способствовать по жизни.

В свободное время пишу стихи, эссе, учусь балету и дискутирую на социальные и философские темы. Люблю Гегеля.

Николай Андронов

Занимаюсь верификацией смарт-контрактов блокчейн на coq.

Хочу узнать больше о методах формальной верификации применяемых в реальных задачах.

​

Math, programming, verification @ Pruvendo

t.me/NikolaiAndronov

interactive theorem proving

Алексей Трилис

Учился в питерской вышке на программиста со специализацией в языках программирования. Во время обучения особенно интересовался компиляторами, теорией ЯП и верификацией. Всегда хотелось стать не просто рядовым программистом, а заниматься чем-то более интересным.

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

В свободное время смотрю фильмы, играю в покер в интернете, торгую криптой и употребляю алкоголь.

​

​

Formal Verification Specialist @ Pruvendo

t.me/trilis

verification, Coq, compilers, PL, functional languages, type theory

Дмитрий Левандо

Кандидат экономических наук, в повседневной жизни изучаю много математики. Про экономику по Гамбургскому счету без проблем. Занимаюсь аудитом смарт-контрактов и разработкой системы для создания спецификаций.

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

​

​

Smart Contract Auditor @ Pruvendo

t.me/Q_W_E_R_T_R

pure and applied category theory, molecular biology, functional programming, theory of programming languages, nordic walk

Ирина Артемьева

Инженер-программист в компании TypeFox, разрабатываю и "деплою" предметно-ориентированные языки (DSL) по запросам клиентов, используя фреймворк Langium.

Благодаря школе рассчитываю освежить и углубить знания -- это может быть полезно для разработки DSL и просто интересно как ЯП-энтузиасту.

В свободное время изучаю немецкий, балуюсь оригами и начала изучать Blender.

Мы в TypeFox разрабатываем language engineering framework Langium (https://langium.org/) -- я могу про него рассказать и с пылом, и с жаром, так как очень горю этим проектом :)

​

​

Language Engineer @ TypeFox GmbH

t.me/magentaunicorn

language engineering frameworks, static analysis, functional and relational programming

Максим Промыслов

Член организационного комитета

​

Прихожу на помощь когда нужно, отвечаю за всё понемногу :)

Бросил университет на 3-ем курсе и не жалею, нахожусь в поисках себя. Люблю всякие авантюры и ставить эксперименты над собой

​

tg @Max_Promyslov

Мария Куклина

Software Engineer @ Fluence Labs

haskell, rust, compilers, игры, мемсы, велосипед, рефлексия

t.me/rehmaar

Работаю программистом на Rust в околокриптостартапе. До этого занималась всяким: от программирования в ядре Linux до ковыряния в GHC и разработки бекэндов на Haskell. Люблю учиться, неровно дышу к языкам и компиляторам. Мне нравится хорошо написанный код, а плохо написанный — не нравится; всё ещё учусь их различать.

​

В свободное (и несвободное) время учу немецкий и осваиваю велосипед. Люблю всё смешное

Элис Кретова

Председатель организационного комитета

​

Отвечаю за то, чтобы школа состоялась! То есть все компоненты сошлись в одном месте в одно время) Руковожу командой организаторов, стремлюсь сделать так, чтобы все задачи были выполнены хорошо и в срок, и при этом никто не был перегружен работой, она была распределена равномерно по членам коллектива.

Я консультирующий психолог, ко мне можно обращаться за поддержкой и помощью, если вдруг стало сложно или тяжело.

Люблю танцы, прикосновения, кулинарию, написание текстов, общение с людьми.

​

@AliceGirla

Александр Анисимов

Embedded engineer @ Yandex, Aurora OS

Подводные лодки, океан, романтика, книги, свобода, пиво, философия, смысл жизни и смерти, драйвера, микроконтроллеры, паяльник, осциллограф, мультиметр, ментальное здоровье

t.me/anisyanka

Закончил МИФИ, поэтому шарю за ядро!

10 лет назад на первом курсе, помню, говорил всем, что никогда не стану программистом и вообще не понимал пары по C/C++, а потом ещё и спорил со всеми о том, зачем нам эти пары в ядерном ВУЗе? И вот я здесь.

Я embedded-инженер. Напишу операционную систему в ваши наручные часы, прошивку для вашего SSD диска или, может, детектора гамма-излучения?

Пилю подводную лодку на удаленном управлении и с возможностью ведения стрима со дна моря! А вообще в планах идти за мечтой и поднять большую компанию по подводному туризму.

Курс: Systems

Маша Мызникова

Член организационного комитета

​

красиво стою в углу.

умею писать �- иероглифами; �- на питоне; �- сидя; �- глядя на императора

​

tg @izomeraz4

Дмитрий Халанский

Software Engineer @ Kotlin Libraries Team

concurrency, theorem proving, algebra-driven design, data-oriented design

Сотрудник JetBrains, пишу библиотеки для языка Kotlin. С год занимался формальной верификацией многопоточных алгоритмов на Coq. Вёл курс математической логике в магистратуре ИТМО (а ещё практики по функциональному программированию, формальным языкам, Питону...). Интересуюсь прагматикой языков программирования и верю, что решение всех проблем программистов придёт из академической среды.

Александр Чичигин

Deeply Technical Writer @ Noeon Research

formal logic, interactive theorem proving, programming language theory, statistics, probabilistic programming, походы, велосипед

t.me/GabrielFallen

[Дис]функциональный погроммист, несостоя[тельный|вшийся] учоный и преподаватель. Раньше срока впал в маразм, стал учить математику и возвещать пришествие AGI. Произвольно вставляет в речь слова в духе functorial, left adjoint, pushout, sheaf, cofibration, надеясь, что они сложатся во что-то осмысленное.

Курс: Isabelle

Борис Евсеев

Software Engineer @ Avito

highload, backend, golang, operating systems, programming language design, китайский, сквош, конный спорт, БГ

t.me/hanghin

Делаю бэкенд рекомендаций в Авито. Эпизодически преподаю: веб-разработку, ассемблер или китайский всем, кто попадётся под руку.

Обожаю читать и смотреть странное, находить связи и отсылки даже там, где их нет. Чередую активности: языки, скрипка, спорт, китайский и всё что с ним связано. Профессиональный любитель.

Андрей Голиков

Team Lead @ Tinkoff

distributed systems, играть музычку на саксе и гитаре, велосипед

t.me/gzoom13

Был разработчик, сейчас не разработчик. Иногда делаю доклады по разным штукам, близко к мейнстримной разработке.

​

Нравится кататься на велосипеде.

​

В свободное время вспоминаю мат. логику, изучаю Coq. Интересуюсь для понимания, как современные теории помогают приносить 300кк велью/нсек.

Алан Урманчеев

Student @ 42.fr

Operating systems, programming languages, Haskell, C, Go, Shell, Hare, minimalism

t.me/alurm

Два года как учусь в школе программирования 42.fr

Четыре года назад наткнулся на статью ""Функциональное программирование для всех"" и с тех пор изучаю языки программирования

В свободное время сижу в чатике t.me/languageDev, пилю интерпретаторы, смотрю выступления на StrangeLoop

Очень люблю операционную систему Plan 9 🐇

Люблю C, Pony, Clojure, Go, Shell, Hare, Haskell и многие другие языки

Хочу работать над языками, операционными системами или протоколами

Юрий Панчул

Staff Engineer, GPU RTL @ Samsung Advanced Computing Lab

Verilog, SystemVerilog, microarchitecture, register transfer level, formal verification, simulation, скрещивание камелии, игра на флейте, походы

@yuri_panchul

Разрабатывал и верифицировал CPU, GPU, сетевые микросхемы. MIPS Technologies, Juniper Networks, Samsung.

Был основателем стартапа в области автоматизации проектирования микросхем C Level Design (финансирование от Intel Capital и куплен Synopsys-ом).

Редактировал учебник Цифровой Синтез (ВШЭ МИЭМ и другие), написал программу Школы Синтеза Цифровых Схем (Сколково, ChipEXPO, Ядро).

Автор двух сортов камелий, учусь играть на флейте, хожу по лесам и горам

Сергей Рыжков

AMBOX LTD

встроенные системы. mp3, компьютерная музыка

@ams062

Очень давно писал компиляторы. В 1995м организовал в Москве провайдерскую компанию Rinet. В 2019 вышел из провайдерского бизнеса. Сейчас в Лондоне делаю девайсы для уличной музыки.

Максим Чурилов

Стажер @ ИСП РАН

Haskell, functional compilers

t.me/maxchrlv

Ярый хаскелист, изучаю мат. логику и тт, в будущем хочу уделить внимание академической карьере. Получил огромное удовольствие от Logical Foundations на Coq. Если бы не это, занимался бы историей, философией и литературой, античной.

Александр Васильев

Core Android Engineer @ Prisma Labs

coq, haskell, software verification, formal proofs, probability theory, functional analysir, category theory, music, linguistics, specialty coffee, effective altruism, gpgpu

t.me/mizabrik

Физтех (ну, ФИВТ), покатался по гуглостажировкам и осел копаться в TFLite, мобильных GPU и извращениях около шаблонов C++ в Prisma Labs. Но подумываю о том, чтобы вернуться поближе к разумному-доброму-вечному — академия, чистая математика, формальные методы, вот это всё.

Вместо профессионального развития пою под гитару, пытаюсь заварить идеальную чашку кофе, упарываюсь (естественными) языками и вообще стремлюсь стать человеком, а не айтишником.

Булат Саляхутдинов

функциональное программирование, распределенные системы, музыка (reggae and UK electronic), фридайвинг, скалолазание, буддизм.

t.me/crow_fff

Функциональный программист (работаю Scala бекендером), музыкант-любитель, фридайвер, буддист и веган. периодически страдаю от своего СДВГ.

Люблю алгоритмы и формальные методы со времён учёбы на кафедре алгебры казанского мехмата и участия в олимпиадах по программированию.

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

Глеб Гугля

Middle Backend @ MTS Cloud

open distributed systems, object-oriented programming, system analysis, system architecture, management, велосипед, скейт, путешествия, плавание

t.me/helloimgleb

"Закончил факультет ИУ МГТУ им. Н.Э. Баумана на кафедре Компьютерные системы и Сети, сейчас поступаю в МФТИ на магистерскую программу по технологиям блокчейна. Начал я свой путь в программировании в 8м классе, когда после двух лет занятий геймдевом я решил, что мне будет интересно попробовать писать код, ""и вот я здесь"".

Предыдущие два года работал на Python и немного на JS и Julia, сначала год - руками, затем год - головой. На второй год познакомился с тем, что такое плохой код, затем с тем, что такое паттерны ООП и что такое рефакторинг, благодаря последним добился роста производительности в 5 раз. Параллельно на учебе в Школе 21 написал тонну проектов на голом C с парой подключенных библиотек, и чаще всего это было что-то попроще, чем <stdio.h> и <stdlib.h>.

Сейчас работаю в качестве Middle Goland Backend Developer в МТС Облаке в команде Virtual Infrastructure, занимаюсь интеграцией вендорских решений для виртуализации и нашей платформы, через которую мы предоставляем услуги клиентам.

Люблю различную экзотику в плане программирования, пробовал и продолжаю пробовать всякие Vlang, Zig, ReasonML, Svelte, Solid.js, Julia, Erlang и прочие. Но во всём этом я ни в коем случае не претендую на какую-то объёмную экспертизу - просто играюсь в своё удовольствие.

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