открытие дня: в фильме образцовый самец был дэвид боуи (чего нахуй)

к слову о Боуи, великое трио:

Music by Philip Glass
From the Music of David Bowie & Brian Eno

https://www.youtube.com/watch?v=TxJsKDJEZDQ

стало интересно поизучать датасет титаника на конкретных примерах, до этого использовал его только в курсах по ML и относился исключительно как к набору данных:

судьба служанки с самым дорогим билетом на корабле (выжила), самая большая семья (8 человек, все погибли)

LEEEEETS GOOOOOO

This is an introductory textbook to univalent mathematics and homotopy type theory, a mathematical foundation that takes advantage of the structural nature of mathematical definitions and constructions.

о нет, опять читать вводную часть, дочитать до определенной главы, упереться в какую то непонятную хуйню, бросить книгу на 2 месяца, вернуться к ней и понять свою тупую ошибку, а потом продвинуться на 10 страниц и повторить все опять

ха ха я в чате с Аводеем (на самом деле он Аводи, но мне похуй)

я видимо заболел, но я почитал переписку охуеннейших математиков современности (тут даже Кокан) и решил забить хуй на болезнь

аниме школьники и азиаты братья на век

топ один фильм года это Everything Everywhere All at Once и это не обсуждается

https://www.youtube.com/watch?v=zQ29UhAolHY

ставить northman на 10 место конечно не справдливо, но хотя бы смешно наблюдать реакцию фанатов условно юнгера

болезнь заставляет меня понимать Martin-Löf’s Dependent Type Theory

а г о н и я

LEEEEETS GOOOOOO (2)

https://arxiv.org/abs/2212.11719

a divergence is to a (Lawvere) metric as a reflexive multigraph is to a category (or as a reflexive relation is to a preorder).

deep

ставь лайк если сразу было понятно что речь про Creep

https://www.youtube.com/watch?v=E4PSRy3G5Jc

i miss my piano

В этом году раз пять кричал во сне, и каждый раз это было вызвано одним и тем же. Ничего страшного не снилось в плане образов. Никакой жути. Были сны внутри снов внутри снов, и ощущение, что из лабиринта сложно выбраться, как сегодня. Там сны внутри снов внутри снов стоят не линейкой, а запутанно, с возможностью входа в разные слои. Ты «просыпаешься» – а где? Потом еще раз «просыпаешься». Ну и приходится орать, чтобы вовне услышали и растолкали. А то воля к пробуждению работает невесть как. Заканчивается самый кошмарный год моей жизни. А еще сегодня 10 лет, как я переехал жить в Питер из Москвы.

Yo-Yo Ma’s cameo in Glass Onion

охуенно