Но и праздники всё-таки начинаются! Год назад прекрасная Ира @fuesis подарила мне бумажное издание Harry Potter and the Methods of Rationality, а теперь - главную книгу этого года!
Ещё не читал, но уже всем рекомендую.)
#books #lifestyle
Ещё не читал, но уже всем рекомендую.)
#books #lifestyle
🔥27😁7👍3🎄3🎅2🤮1💩1🤡1
На предновогодней неделе семинар лаборатории Маркова переезжает на 15:00 во вторник (!). Мы планировали продолжать разбор статей с NeurIPS, но вдруг оказалось, что в Россию приезжает и готов сделать доклад Саша Куликов!
Вряд ли кто-то сделал больше для Computer Science Club / CS Center и вообще популяризации информатики в Петербурге, чем Саша; да и не видел я его сто лет уже, а схемная сложность — это то, о чём была когда-то моя кандидатская диссертация.) Так что мы все очень рады, что приходится так всё переигрывать, а с NeurIPS можно и в 2026-м разобраться:
Булевы схемы: недавние результаты и открытые задачи
Александр Куликов (Neapolis University Pafos)
Ссылка на трансляцию (вторник 23 декабря, 15:00)
Булевы схемы представляют собой простую, естественную и выразительную модель вычислений, достаточно мощную, чтобы моделировать алгоритмы. Схемы имеют применения в таких областях компьютерных наук, как алгоритмы, теория сложности, криптография, формальная верификация, проектирование аппаратуры, машинное обучение, SAT-солверы.
Я расскажу про недавние результаты нашей группы в области синтеза схем и нижних оценок на размер схем и время работы алгоритмов. Отдельное внимание уделю открытым задачам и перспективным, на мой взгляд, направлениям для сотрудничества в этой области.
#spsu #seminar #markovlab
Вряд ли кто-то сделал больше для Computer Science Club / CS Center и вообще популяризации информатики в Петербурге, чем Саша; да и не видел я его сто лет уже, а схемная сложность — это то, о чём была когда-то моя кандидатская диссертация.) Так что мы все очень рады, что приходится так всё переигрывать, а с NeurIPS можно и в 2026-м разобраться:
Булевы схемы: недавние результаты и открытые задачи
Александр Куликов (Neapolis University Pafos)
Ссылка на трансляцию (вторник 23 декабря, 15:00)
Булевы схемы представляют собой простую, естественную и выразительную модель вычислений, достаточно мощную, чтобы моделировать алгоритмы. Схемы имеют применения в таких областях компьютерных наук, как алгоритмы, теория сложности, криптография, формальная верификация, проектирование аппаратуры, машинное обучение, SAT-солверы.
Я расскажу про недавние результаты нашей группы в области синтеза схем и нижних оценок на размер схем и время работы алгоритмов. Отдельное внимание уделю открытым задачам и перспективным, на мой взгляд, направлениям для сотрудничества в этой области.
#spsu #seminar #markovlab
❤20👍9❤🔥7
И последний курс тоже закончился. В последней лекции курса "Технологии и фронтиры науки о данных" в ЮФУ рассказал несколько простых, но любопытных сюжетов:
ЮФУ — 2025.12.18 — Наивный Байес, калибровка, ретроспективные исследования
(слайды и доска на странице курса)
Наивный Байес — это самая простая порождающая модель, которая может быть полезной. Конечно, не как порождающая — никто не писал наивным Байесом тексты даже в 1960-е — но получающийся из неё наивный байесовский классификатор действительно работает на удивление хорошо, учитывая силу его предположений.
Затем перешли к вспомогательным темам о классификаторах. Что произойдёт, если ваши классы окажутся несбалансированными? А как оценить качество вероятностей, которые выдаёт ваш классификатор? Здесь есть о чём поговорить.
И, наконец, последний сюжет я обычно в основном курсе рассказываю заметно позже, уже как подводку к одному из любопытных примеров применения EM-алгоритма. Но отдельно он тоже более чем имеет смысл: это рассказ о проспективных и ретроспективных исследованиях и о том, как логистический сигмоид удивительным образом может не париться по поводу того, что наша выборка в ретроспективном исследовании искусственна и несбалансирована.
И здесь тоже на этом всё. Кажется, следующий семестр в этом курсе тоже будет, и там я попробую порассказывать про нейросети. Про них можно рассказывать ещё проще, чем о вероятностных основах ML, так что думаю, что всем всё зайдёт. Слушателям спасибо за внимание и до новых встреч!
#sfu #lectures #dsfrontiers
ЮФУ — 2025.12.18 — Наивный Байес, калибровка, ретроспективные исследования
(слайды и доска на странице курса)
Наивный Байес — это самая простая порождающая модель, которая может быть полезной. Конечно, не как порождающая — никто не писал наивным Байесом тексты даже в 1960-е — но получающийся из неё наивный байесовский классификатор действительно работает на удивление хорошо, учитывая силу его предположений.
Затем перешли к вспомогательным темам о классификаторах. Что произойдёт, если ваши классы окажутся несбалансированными? А как оценить качество вероятностей, которые выдаёт ваш классификатор? Здесь есть о чём поговорить.
И, наконец, последний сюжет я обычно в основном курсе рассказываю заметно позже, уже как подводку к одному из любопытных примеров применения EM-алгоритма. Но отдельно он тоже более чем имеет смысл: это рассказ о проспективных и ретроспективных исследованиях и о том, как логистический сигмоид удивительным образом может не париться по поводу того, что наша выборка в ретроспективном исследовании искусственна и несбалансирована.
И здесь тоже на этом всё. Кажется, следующий семестр в этом курсе тоже будет, и там я попробую порассказывать про нейросети. Про них можно рассказывать ещё проще, чем о вероятностных основах ML, так что думаю, что всем всё зайдёт. Слушателям спасибо за внимание и до новых встреч!
#sfu #lectures #dsfrontiers
❤23👍7
Семинар сегодня был крутой и представительный! Все пришли, и даже больше, чем обычно означает слово "все".
А потом было празднование Нового года на факультете, где я провёл новогодний квиз. Его ещё буду отыгрывать несколько раз в ближайшие дни, но если хотите, могу потом выложить.)
#spsu #markovlab #seminar
А потом было празднование Нового года на факультете, где я провёл новогодний квиз. Его ещё буду отыгрывать несколько раз в ближайшие дни, но если хотите, могу потом выложить.)
#spsu #markovlab #seminar
❤27🔥10👍6❤🔥3
Тем временем выложил видео предыдущего доклада с семинара лаборатории Маркова. Филдсовский лауреат один из докладов делал, между прочим! Enjoy:
Разбор лучших статей NeurIPS 2025 — Часть I
(слайды на странице семинара)
Это были три небольших доклада про три из семи NeurIPS 2025 best papers:
— 1000 Layer Networks for Self-Supervised RL: Scaling Depth Can Enable New Goal-Reaching Capabilities
— Superposition Yields Robust Neural Scaling
— Why Diffusion Models Don’t Memorize: The Role of Implicit Dynamical Regularization in Training
Подробно расписывать каждую статью не буду, отмечу только, что у Станислава Константиновича слайды были в другом формате, так что они там по ссылке "Доска" отдельно.
#spsu #seminar #markovlab
Разбор лучших статей NeurIPS 2025 — Часть I
(слайды на странице семинара)
Это были три небольших доклада про три из семи NeurIPS 2025 best papers:
— 1000 Layer Networks for Self-Supervised RL: Scaling Depth Can Enable New Goal-Reaching Capabilities
— Superposition Yields Robust Neural Scaling
— Why Diffusion Models Don’t Memorize: The Role of Implicit Dynamical Regularization in Training
Подробно расписывать каждую статью не буду, отмечу только, что у Станислава Константиновича слайды были в другом формате, так что они там по ссылке "Доска" отдельно.
#spsu #seminar #markovlab
❤13
Во вторник проводил квиз на праздновании преподавательского Нового года в СПбГУ, а сегодня — студенческого. Студенты взяли в среднем поменьше, но тоже, кажется, были в целом довольны.
Ещё буду кое-где его играть, а потом, надеюсь, выложу для всех желающих. А пока просто заглавную картинку покажу: продолжаю восхищаться тем, что теперь модели могут рисовать и такое.
#lifestyle #spsu
Ещё буду кое-где его играть, а потом, надеюсь, выложу для всех желающих. А пока просто заглавную картинку покажу: продолжаю восхищаться тем, что теперь модели могут рисовать и такое.
#lifestyle #spsu
❤36🐳3🔥1
Жизнь устроена иногда удивительным образом. У меня заканчивается очень тяжёлый семестр, в котором я изрядно подвыгорел и к концу которого уже все батарейки закончились, любая мелочь ранит и ни в чём не видно смысла. И тут судьба (именно она, я вообще ничего не знал заранее) подсовывает мне...
Wanderstop
Обзор длинный, читайте по ссылке. Там и про Дэйви Ридена есть раздел, и подробный разбор завязки сюжета, и раздел про геймплей... Здесь только заключение процитирую.
[...]
Заключение
Конечно, это ещё не всё. Я не буду спойлерить вам ни других важных персонажей, ни сюжетных линий, которые действительно вызывают эмоции. Да и очаровательные плаффины стоят упоминания. Но пора подвести итоги.
Wanderstop — это не совсем та игра, которую я ожидал от Дэйви Ридена. Здесь нет безумного метанарратива Stanley Parable, нет болезненной интроспекции The Beginner’s Guide. Это более… человечная игра? Более тёплая? И при этом она всё ещё несёт фирменный почерк Ридена. Юмор на месте. Неожиданные повороты на месте. Персонажи, которые говорят вещи, от которых хочется остановиться и подумать — тоже на месте.
Wanderstop — это игра о выгорании. Не метафорическом, а буквальном, о том состоянии, когда ты делаешь всё правильно, работаешь усерднее, чем когда-либо, и при этом становится только хуже.
Сам Риден говорил в интервью, что после успеха Stanley Parable и The Beginner’s Guide он столкнулся с тяжёлым выгоранием. Он думал, что создание “уютной игры” поможет ему восстановиться. Это не сработало — по крайней мере, не так, как он ожидал. Разработка Wanderstop заняла почти девять лет, и за это время “cozy game” успело стать целым жанром. Кстати, Риден и здесь показал свою гениальность: он начал делать Wanderstop, когда ещё не вышла даже Stardew Valley, и фермы были разве что весёлые и мобильные, с которых точно пример брать никому не рекомендуется.
“Просто сделать cozy game недостаточно, чтобы исцелить человека”, — говорит Риден. И игра честно показывает это: Альта не выздоравливает просто потому, что поливает цветочки и заваривает чай. Ей приходится столкнуться с причинами своего состояния, с тем внутренним голосом, который требует быть лучшей, сильнейшей, идеальной.
Во мне всё это очень откликается. Я, конечно, не так клинически выгорел, но тоже очень устал к концу этого года, и тоже задаю себе те же вопросы, что и Альта: “Почему мне уже ничего больше не хочется, а порой и не можется? Что со мной не так?” Так что Wanderstop попалась мне очень вовремя. Может быть, я бы иначе воспринял её год назад или через год — но сейчас это именно то, что мне нужно.
Если вы чувствуете себя как Альта — попробуйте Wanderstop. Не ради геймплея (хотя он милый), не ради истории (хотя она трогательная), а ради того странного эффекта, когда игра про чайный магазин говорит вам что-то важное о вашей собственной жизни.
Альта постепенно, через разговоры с посетителями, через чаепития, через саму необходимость замедлиться находит ответы на свои вопросы. Не простые ответы, не “просто отдохни и всё пройдёт”, а настоящие, честные. Надеюсь, что и мы с вами их найдём.
#tgif #games
Wanderstop
Обзор длинный, читайте по ссылке. Там и про Дэйви Ридена есть раздел, и подробный разбор завязки сюжета, и раздел про геймплей... Здесь только заключение процитирую.
[...]
Заключение
Конечно, это ещё не всё. Я не буду спойлерить вам ни других важных персонажей, ни сюжетных линий, которые действительно вызывают эмоции. Да и очаровательные плаффины стоят упоминания. Но пора подвести итоги.
Wanderstop — это не совсем та игра, которую я ожидал от Дэйви Ридена. Здесь нет безумного метанарратива Stanley Parable, нет болезненной интроспекции The Beginner’s Guide. Это более… человечная игра? Более тёплая? И при этом она всё ещё несёт фирменный почерк Ридена. Юмор на месте. Неожиданные повороты на месте. Персонажи, которые говорят вещи, от которых хочется остановиться и подумать — тоже на месте.
Wanderstop — это игра о выгорании. Не метафорическом, а буквальном, о том состоянии, когда ты делаешь всё правильно, работаешь усерднее, чем когда-либо, и при этом становится только хуже.
Сам Риден говорил в интервью, что после успеха Stanley Parable и The Beginner’s Guide он столкнулся с тяжёлым выгоранием. Он думал, что создание “уютной игры” поможет ему восстановиться. Это не сработало — по крайней мере, не так, как он ожидал. Разработка Wanderstop заняла почти девять лет, и за это время “cozy game” успело стать целым жанром. Кстати, Риден и здесь показал свою гениальность: он начал делать Wanderstop, когда ещё не вышла даже Stardew Valley, и фермы были разве что весёлые и мобильные, с которых точно пример брать никому не рекомендуется.
“Просто сделать cozy game недостаточно, чтобы исцелить человека”, — говорит Риден. И игра честно показывает это: Альта не выздоравливает просто потому, что поливает цветочки и заваривает чай. Ей приходится столкнуться с причинами своего состояния, с тем внутренним голосом, который требует быть лучшей, сильнейшей, идеальной.
Во мне всё это очень откликается. Я, конечно, не так клинически выгорел, но тоже очень устал к концу этого года, и тоже задаю себе те же вопросы, что и Альта: “Почему мне уже ничего больше не хочется, а порой и не можется? Что со мной не так?” Так что Wanderstop попалась мне очень вовремя. Может быть, я бы иначе воспринял её год назад или через год — но сейчас это именно то, что мне нужно.
Если вы чувствуете себя как Альта — попробуйте Wanderstop. Не ради геймплея (хотя он милый), не ради истории (хотя она трогательная), а ради того странного эффекта, когда игра про чайный магазин говорит вам что-то важное о вашей собственной жизни.
Альта постепенно, через разговоры с посетителями, через чаепития, через саму необходимость замедлиться находит ответы на свои вопросы. Не простые ответы, не “просто отдохни и всё пройдёт”, а настоящие, честные. Надеюсь, что и мы с вами их найдём.
#tgif #games
❤21🔥4💔3🤗1