машина по переработке кофе в ничто

А это воспоминания Гласса и Уилсона про "Эйнштейна" — трогательный момент, как они изначально придумали 4-часовое представление и тщательно его расписали, а длилось оно в результате 5 часов.

The first performance, in Avignon in 1976, was the first time we had played it all the way through. We didn't even know how long it was. In fact, we missed our time target: five hours, not four. I don't really know what happened that evening. Evidently we got through it, and then did 35 performances on tour.

https://www.theguardian.com/culture/2012/apr/23/how-we-made-einstein-on-the-beach

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

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

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