не первый раз наткнулся на на цитату Крипке: «There is no mathematical substitute for philosophy»

если раньше моя реакция была: ну да, а как еще

то сейчас моя первая мысль была:
НЕЕЕЕЕЕЕЕТ НУ ЗА ЧТО

день математических (логических) инсайтов

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

и ты такой: ЕБАААТЬ, так вот оно про что

правда одно из окон хрома теперь выглядит вот так

>I discovered maybe around The Bends that the bit I didn’t want to show, the vulnerable bit… that bit was the bit that mattered

Thom Yorke – Anima

Тома Йорка люблю пиздец

купить бы метроном да нахуй надо

(а то возникло желание после мема)

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

я встал в пять утра и у меня прямо отличное настроение

пошел смотреть daily report Линча, ожидая услышать beautiful blue skies and golden sunshine all along the way как у меня сейчас, но у него:

>Where the blue skies and golden sunshine will be hiding all along the way. Everyone have a great day!

зато все равно оптимистично

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

So we go inside and we gravely read the stones
All those people, all those lives
Where are they now?
With loves, and hates
And passions just like mine
They were born
And then they lived
And then they died
It seems so unfair
I want to cry

>From start to finish, The Queen Is Dead is, perhaps, The Smiths' strongest album, and it's certainly their funniest.

а по моему очень веселый альбом

продолжаю учить под него теорию категорий к семинару в понедельник

но мне сегодня все весело

YO, LISTEN UP HERE'S A STORY
ABOUT A LITTLE GUY
THAT LIVES IN A BLUE WORLD
AND ALL DAY AND ALL NIGHT
AND EVERYTHING HE SEES IS JUST BLUE
LIKE HIM INSIDE AND OUTSIDE
BLUE HIS HOUSE
WITH A BLUE LITTLE WINDOW
AND A BLUE CORVETTE
AND EVERYTHING IS BLUE FOR HIM
AND HIMSELF AND EVERYBODY AROUND
CAUSE HE AIN'T GOT NOBODY TO LISTEN TO
I'M BLUE
DA BA DEE DA BA DI

великая песня

под нее отжиматься самое то, каждый бит – одно отжимание

я изучаю topos theory потому что топос это категория с pullbacks и pushouts, то есть с отжиманиями и подтягиваниями (почти)

одновременно думаю что:

у меня все будет охуенно

до тридцати я не доживу

жесть я прямо дзен словил слушая эту песню в зале во время подтягиваний

чем то mitski напоминает, но только под гитару

best actor и best screenplay у макдоны на фестивале в венеции, поздравим