Курсы

• ▸

  Машинное обучение: золотой граммофон

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

  В этом курсе мы рассмотрим основные, иногда неочевидные результаты типа lottery ticket hypothesis или Deep Q-Learning и реализуем самые сочные статьи, чтобы актуализировать интуицию о происходящем в области и разобраться, как смотреть на текущие исследования.

• ▸

  Coq 16+

  Coq для доказательства теорем то же, что MATLAB для численных вычислений

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

• ▸

  Моделирование и model checking

  We'll broadly cover modeling tools of various shapes ranging from those you'd use to design an algorithm to those used in financial modeling to CPU design software and then zoom in to a crash course in using TLA+ in industrial settings.

  Мы посмотрим на средства моделирования разных форм и размеров от тех, что используют для разработки CS-алгоритмов до тех, что нужны для финансового моделирования и дизайна CPU, после чего перейдём к интенсиву по использованию TLA+ в индустрии.

• ▸

  Purescript all the way

  Haskell это круто, но с ним есть известные проблемки. Purescript компактно реализует идеи Haskell и работает в браузере.

  Этот курс проходит от основ функционального программирования и алгебраического моделирования предметной области, исследует VDOM-библиотеку `halogen` как пример написания высокопроизводительного кода на Purescript, и затем демонстрирует уникальные фичи Purescript (row types, JS FFI), и погружается в его (вполне читаемый!) компилятор.

• ▸

  Like a supercollider

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

  Этот курс посвящён модульному синтезатору SuperCollider. Мы пойдём по "Designing Sound" Фарнелла чтобы связать физический смысл звуковых воле и его распространения с техниками синтеза. В ходе этого мы из ничего кодом создадим набор звуков от телефонных тоновых сигналов, звонков, и шума дождя до щебетания птиц и взрывов.

• ▸

  Modern art

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

• ▸

  Подкапотье STM32

  STM32 — семейство стандартных микроконтроллеров для встроенной и IoT разработки, от микроволновок до дронов.

  В этом курсе мы будем постепенно раскрывать возможности чипа `STM32F051`: GPIO, таймеры, прерывания, простые протоколы коммуникации, и т.д. В отличие от подхода с Arduino, мы будем сами писать библиотеки, копаться в ассемблере и читать датащиты.