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
пока жду врача думаю вот думаю что делать с курицей как вернусь домой
отомстить ли ей или признать ее победу
отомстить ли ей или признать ее победу
Empty Name
пока жду врача думаю вот думаю что делать с курицей как вернусь домой отомстить ли ей или признать ее победу
в связи с порезом у меня выработался ПСТР в виде страха сырой целой курицы
когда я заходил в супермаркеты и видел целую секцию целых сырых куриц, в моей груди появлялось непонятное гнетущее чувство, я не мог его локализовать или даже нормально описать, оно было достаточное слабое и находилось где то на фоне. как будто что то плохое должно произойти со мной и в этом каким-то образом задействованы куриные каркассы
–––
вчера ночью было воскресенье, супермаркеты закрыты, надо что то съесть чтобы добрать белка
открываю холодильник вижу – 2 контейнера с той самой курицей. минуты 2 я эту курицу рассматривал и принял решение. в комнате только я и эта курица; пока я сплю, она лежит в холодильнике; пока я на парах, она лежит в холодильнике. она ждет. терпеть больше нельзя
я сделал укус и в это же мгновенье страх исчез
когда я заходил в супермаркеты и видел целую секцию целых сырых куриц, в моей груди появлялось непонятное гнетущее чувство, я не мог его локализовать или даже нормально описать, оно было достаточное слабое и находилось где то на фоне. как будто что то плохое должно произойти со мной и в этом каким-то образом задействованы куриные каркассы
–––
вчера ночью было воскресенье, супермаркеты закрыты, надо что то съесть чтобы добрать белка
открываю холодильник вижу – 2 контейнера с той самой курицей. минуты 2 я эту курицу рассматривал и принял решение. в комнате только я и эта курица; пока я сплю, она лежит в холодильнике; пока я на парах, она лежит в холодильнике. она ждет. терпеть больше нельзя
я сделал укус и в это же мгновенье страх исчез
😁7🔥4😢1