ЛЯ
ЛЯ
20
23
Формальные методы.
Гамарджоба.
Летняя школа сложного программирования и современного искусства.
40ч курсов
конец июня
30ч искусства
близ Тбилиси
A queer person explaining category theory concepts
  1. Выбери фулл-тайм курс

  2. Побудь с творческой программой

  3. Приезжай

Курсы

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

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

    В этом курсе мы рассмотрим основные, иногда неочевидные результаты типа 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, мы будем сами писать библиотеки, копаться в ассемблере и читать датащиты.

Обычный день проходит так

09:30Подъем в 9:30
09:45Утренняя зарядка
10:30Завтрак
11:00Курс Purescript
12:45Курс Purescript
14:15Обед
14:55Урок танцев
16:40Курс Purescript
18:10Полдник
18:25Езда на горных велосипедах
19:25Курс Purescript
20:55Ужин
21:35Ночная прогулка
23:00Отбой где-то в 23
A man looking out into the camera while doing coursework on the balcony

Арт-программа

astrology exploration astronomy with telescope berry picking bird-watching campfire cooking contact impro contemporary dance disc golf dream analysis drum circle hiking horse riding house dance kayaking meditation mountain biking nature photography outdoor painting plant identification walk poetry reading rock climbing or bouldering slack-lining stargazing survival skills workshop swimming teambuilding activities uterine breathing vision board creation wrestling yoga
A group of students listening to a lecture on Haskell A group of participants lounging