Empty Name
Photo
больше всего мне тут нравится что посередине воткнули мусорный контейнер и вокруг него сделали «лавочки» чтобы студенты могли сидеть
😁6
Empty Name
Dear Arnold, Thank you for your email, and my apologies for the delay in replying. I have spoken with our Department and they have agreed to make you an offer for a place on the first year of our BSc Philosophy, Logic and Scientific Method programme
соси лох (2)
––––
ну кстати по итогам вообще похуй что не поехал в LSE, в отличие от LMU (правда лму я теперь считаю шарагой потому что я смог сюда поступить)
––––
ну кстати по итогам вообще похуй что не поехал в LSE, в отличие от LMU (правда лму я теперь считаю шарагой потому что я смог сюда поступить)
❤6
видимо люди не ожидают что есть такой предмет "логика" поэтому считают что я учу логистику
⚡9😁6
The result was that I committed what in itself is an unforgivable sin. Instead of using my thirty minutes of the seminar session for the report and leaving the remaining hour and a half for discussion, I kept talking from notes for two solid hours and at the end of the session still had not come remotely to the end of what I had to say.
буквально я на всех своих докладах
буквально я на всех своих докладах
❤9
Forwarded from we’re talking about chickens, we’re talking about eggs
о боже блядь зарплата пришла господи мне было так грустно и одиноко и было так мало денег и так много работы и писать лекцию к понедельнику и ревьюить гранты и подавать гранты — и вдруг зарплата! озарила меня сиянием своим. на 600 евро больше чем обычно? почему, кто знает? кто считает эти небесные евро? кто кто кто если это не бог то мы называли богом не того. будет ли потом зарплата меньше? никто не знает! может быть мне вернули деньги за эксперименты? но я не подавала на возврат денег за эксперименты! может быть мне вернули деньги за комьют? в прошлый раз мне не возвращали деньги за комьют! но не надо задавать вопросы о зарплате зарплату нужно просто принимать, как мы принимаем первый хильверсумский снег, как мы принимаем счастье и несчастье, как мы прощаем должникам нашим, как православный батюшка прячет лысину от солнца под ковбойской шляпой, как мы ревьюим гранты соседей наших склоняя голову перед чудом чужой души
сердце мое горело и замерзало и дрожало и горело и замерзало обратно но пришла зарплата и обняла меня
сердце мое горело и замерзало и дрожало и горело и замерзало обратно но пришла зарплата и обняла меня
❤🔥11
идеальное утро
это + доппио маккиато + шоколадный круассан + нет пар
это + доппио маккиато + шоколадный круассан + нет пар
❤3
где то 2 месяца не читал статьи просто так и вот щас сел, очеень приятное чувство
https://arxiv.org/abs/2601.06567
https://arxiv.org/abs/2601.06567
arXiv.org
Path Types in Algebraic Type Theory
A new approach to the semantics of identity types in intensional Martin-Löf type theory is proposed, assuming only a category with finite limits and an interval. The specification of...
🔥4
больше всего в филде пруф ассистантов мне нравится что Coq решили переименовать в Rocq только потому что всех заебал сексуальный подтекст (я думаю потому что пришли американцы и такие гыгы хуй)
> As a recent graduate I'll miss asking for "help with my Coq" and proclaiming "my Coq isn't working" during lab sessions
❤6🍌2😁1
пока жду врача думаю вот думаю что делать с курицей как вернусь домой
отомстить ли ей или признать ее победу
отомстить ли ей или признать ее победу