где то 2 месяца не читал статьи просто так и вот щас сел, очеень приятное чувство


https://arxiv.org/abs/2601.06567

больше всего в филде пруф ассистантов мне нравится что 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

философы би лайк

Куриный суп, бывает, варишь
А в супе курица лежит
И сердце у тебя дрожит
И ты ей говоришь: Товарищь! -
Тамбовский волк тебе товарищ! -
И губы у нее дрожат
Мне имя есть Анавелах
И жаркий аравийский прах -
Мне товарищ

иногда ты хочешь убить курицу иногда она тебя

-is this the knife?
-yes
-good one 👍
-thank you

пришел в ER без трусов (все в стирке)

#freaky

ура щас будут зашивать мое любимое

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


отомстить ли ей или признать ее победу

в связи с порезом у меня выработался ПСТР в виде страха сырой целой курицы

когда я заходил в супермаркеты и видел целую секцию целых сырых куриц, в моей груди появлялось непонятное гнетущее чувство, я не мог его локализовать или даже нормально описать, оно было достаточное слабое и находилось где то на фоне. как будто что то плохое должно произойти со мной и в этом каким-то образом задействованы куриные каркассы

–––

вчера ночью было воскресенье, супермаркеты закрыты, надо что то съесть чтобы добрать белка

открываю холодильник вижу – 2 контейнера с той самой курицей. минуты 2 я эту курицу рассматривал и принял решение. в комнате только я и эта курица; пока я сплю, она лежит в холодильнике; пока я на парах, она лежит в холодильнике. она ждет. терпеть больше нельзя

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

- some workers here are so mean, but I can’t understand if it’s them being german or being mean
- maybe both
- mean germans?
- they’re the worst