Add to calendar
Вторник, 18:00—? | ЧаТТ
Группа людей, хакающих теоремы на Coq, зародившаяся из попыток прочитать книгу по HoTT.
Обсуждения (и пробование) альтернативных доказаторов, болтовня о теориях групп, и пруфы-пруфы-пруфы.
Четверг, 18:00—? | Микроконтроллерная
Программируем микроконтроллеры, вручную тыкаем память и периферийные регистры, подключаем интересное оборудование и отлаживаем без отладчика.
Пятница, 18:00—? | Роутерная
Замещающий (или дополняющий!) пятничный бар, пятничный ивент.
В теории мы собираемся для того, чтобы прошивать роутеры, на практике мы болтаем о новых технологих и
тыкаем микроконтроллеры.
Суббота, 15:00—? | Коворкинговая
Коворкаем: работаем каждый своё — работу/дела/проекты — по методу Помодоро: 25 минут ворк/5 не ворк
(можно варьировать длину того и/или другого), с декларированием задач в начале и что сделано — в конце
(кто хочет, но не обязательно)
Cardano
addr1qy7ufvyn60cgs2p6l3z3yex4z46a7ewn6c4n9dqxq8z90tfacjcf85ls3q5r4lz9zfjd29t4maja843tx26qvqwy27ksy9tknl
Tezos
tz1g2YioErNgYNKPkGA3s8NPidcdFHRtr8d3
Waves
3PKtYmxAeXdEHB4MzQh4UbANg3priANLDfB
Monero
46U3Feceyn6AdFddSR2d4gYjMt8g38ZS151KAVD9H2QSYaSdb6r2UE3SLhdNp2TXe3igWXFSTUmUGQaWTqf2WZP9EKLBY4m
Ethereum/Polygon
(and stuff on ERC20/MATIC)
0x7fe38DDCEf7f58B2b4eaB6a2bECc3c252C083dB7
27-30 декабря мы хакатоним, неконференцим, и тусим на Воронцовом поле, 5/7 с8 п1 с 10:00.
Мы участвуем в удалённой международной конференцией rC3: поэтому здесь можно связаться с
профессорами и коллегами не только здесь, но и там.
Мейкерство, доклады, современное искусство — по всему миру, в реальном времени — нужно брать и
говорить.
Это про горизонтальные связи, арт-объекты, хакинг-культуру, пати и вальс.
(локальный, hand-picked) Контингент — сочная котлетка из старых перспективных специалистов,
снизу булочка из молодых п.с.,
а кунжут сверху — женатые программисты огроммного опыта.
Маринованные огурчики опасных женщин.
В гостях самые модные мальчики матфака и пострациональные метамодернисты.
Пожалуйста, сделайте это, чтобы мы все комфортно вошли в помещение.
Забейте
слот в неконференции!
Call for lectures/projects!
Если вы хотите, чтобы в вашем проекте или лекции могли участвовать люди со всего rC3,
постучитесь мне в чат.
27 28
Арт-хакатон
Сделай не что-то "полезное", но объект искусства.
Например, 4D-змейку на хаскелле, определитель языка программирования по стилю печати,
тензорные веб-бананы, нейросеть-квайн на перле или фигурку пони-Пушкина.
Можно программировать, 3D-печатать, гравировать, ЧПУ-вырезать и т.д.
28 29
Неконференция
Самоорганизованные доклады и воркшопы.
От 5 до 180 минут, от НЛП для инженер_ок, мигаем LED аналогово
и снова доказываём теоремы Гёделя до профилирования C++,
этики игры на фортепиано и роли ар-деко в современной биологии.
29.5
Бондаж-пати
Ночью с 29 по 30 можно вспомнить былое и расширить кругозор.
30
Afterparty
Вокруг — трёхмерные лапочки высоких грейдов, с которыми легко импровизировать на любые темы.
Можно с ними просто тусить, общаться, и знакомиться: все классные и открытые.