не. заходить. в. твиттер. сука.

главная загадка этого канала – кто-то (кто?) периодически накручивает клоунов на постах (нахуя?)

продолжай

залетел

AAAAOOOOAAAOAOAOAOAOAOAOAO

топ самых ебаных веществ на планете:

1) лактоза
2) сахар
3) кофеин

Из списка следует, что латте – самый ебаный напиток на планете

Дмитрий Мефдведев

the most sane conversation betwee type theory enjoyers

How do you like your type theory?

БЛЯТЬ НЕЛЬЗЯ БЫЛО ПИСАТЬ ТАКИМ ЛЮДЯМ

сукаааааа

Are you interested in realizability topos? Are you studying categorical logic? What about higher category theory? Categorical modal logic? Could you please continue speaking?

MF asks me about realizability topos while being at the HoTT 2023 Conference IN PERSON and says he is a BEGINNER

С КАЖДЫЙ СООБЩЕНИЕМ ДИАЛОГ СТАНОВИТЬСЯ ВСЕ БОЛЕЕ ЕБАНУТЫМ

- What do you study?
- I'm learning how to make games lol
- Since you're a grad student in type theory, how is it related here?
- That's my favorite part. It isn't.
- How did this happen then? you've decided to make games after you appled to the grad school?
- Well, Terraria is very good … But the team is not updating the game often.

Well, Dota 2 is very good … But the team is not updating the game often. The last major update was nice, though

а это уже мой типичный разговор с индийскими машин лернерами из потсдама (помимо пьяных разговоров про квантовую логику)

минвайл в студенческом кафе, где я сижу-пишу курсовую, идет репетиция техно-сета для ближайшей тусовки