смотрю лекции по interactive theorem proving сидя на лавке, а за спиной вот такое

ВЫШЕЛ ВЫШЕЛ ВЫШЕЛ

*делает фото каждого студента чтобы запомнить имена*

They’re not going anywhere online. I’m not a social media guy, I’ve never been on Facebook, or anything like that, except LinkedIn. And when they tried to grab my contact list, I’ve resigned from LinkedIn


Ed Zalta

Here is the data. The triangle is not triangular. There is a truth there. (c)

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

а ведь можно было подождать недельку

The week is better spent reading than computing. (c) Claude

> Захожу на сабреддит Claude
> Вижу пост
> чел жалуется, что с Claude он намного продуктивнее: «with Claude, I'm literally the best version of myself I could be. Sometimes I think about it and I kind of feel like a fraud.»
> Смотрю обсуждение под постом: «Может, ты слишком сильно полагаешься на ИИ»; «Может, это просто иллюзия»
> Смотрю ответ автора поста: использует Claude, чтобы сгенерировать максимально generic ответ.
> Думаю: ну и еблан
> Смотрю все ответы автора поста – это просто сообщения сгенерированные клодом: On the human comms caveat at the end - I'd draw a distinction there. Copy-pasting AI replies without thinking is bad, agreed. But using it as a refinement layer for your own thoughts is different. I'm not asking it what to say, I'm running my own thinking through it to tighten tone, catch friction, restructure for clarity. The thought is mine, the polish is collaborative. Closer to a good editor than outsourcing the message.

I hate what the internet has become.

это либо величайший тролль, либо тотальный еблан

me when в 10 утра надо слушать про логику а на улице солнечно 25 градусов и ветерок

-espresso is so pricy here
-it’s the cheapest coffee in munich
-what?
-are you joking? 1.8 for an espresso.
- yeah i guess
- no, no, go outside, try to find an espresso for 1.8. *протягивает руку* wanna bet?
- i’m from itally, for us espresso is like free after a meal
- for you anything over 0.5 for coffee is too much

еще одна идея обосралась на другом семинаре

сообщу об успехах новых итераций на следующей неделе

Пригожин 🤝 Massive Attack


https://youtu.be/YXavAoecWLk?si=XHeqzJhoKf60n4hx&t=810

профессор пытался ответить на вопрос но вместо этого 5 минут хвалил амартия сена

последнюю неделю пытаюсь постигнуть теорию объектов Зальты, который у нас щас ведет интенсив

это очень странная хуйня, и для меня не совсем (совсем не) понятна ее мотивация, ее философский статус, и ее логический/математический статус

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

а потом опять непонятно

и каждый раз я либо прихожу к выводу либо что Зальта очень крут либо что он еблан

p.s я считаю, что существование этого поста с реддита на каком-то очень фундаментальном уровне объясняет эту ситуацию

Если что, Зальта написал свою Принкипию (Principia Logico-Metaphysica), там примерно полторы тысячи страниц

says a lot