Empty Name

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

магистр пива, заведующий над кельшем

«Я то до 58 лет никогда работу не искал, оно само как то»

LLMs and their consequences have been a disaster for the human race

друзья есть ли впис в копенгагене в период 18-22 июня (желательно на пару дней) приютите логика

Given that, I am trying to understand in what sense the result is "machine-verified". Thank you for your time.

тема письма P=NP

я написал этому хую на почту

Lean 4 Machine-Verified Proof of Riemann Hypothesis via the Royal Canin Spectral Correspondence

а я тоже так могу def riemann_hypothesis : Prop := True

гений.

почему у него книга в шпрингере

https://arxiv.org/abs/2606.03194 сука что это

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

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

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

Пригожин 🤝 Massive Attack https://youtu.be/YXavAoecWLk?si=XHeqzJhoKf60n4hx&t=810