Войти в систему

Home
    - Создать дневник
    - Написать в дневник
       - Подробный режим

LJ.Rossia.org
    - Новости сайта
    - Общие настройки
    - Sitemap
    - Оплата
    - ljr-fif

Редактировать...
    - Настройки
    - Список друзей
    - Дневник
    - Картинки
    - Пароль
    - Вид дневника

Сообщества

Настроить S2

Помощь
    - Забыли пароль?
    - FAQ
    - Тех. поддержка



Пишет Misha Verbitsky ([info]tiphareth)
@ 2019-03-11 07:51:00


Previous Entry  Add to memories!  Tell a Friend!  Next Entry
верхний пост - 2018
Для связи. Комменты скринятся.

Архивы:
[ 2017-2018 | 2014-2017 | 2013 | 2012 | 2011 | 2007-2010 | 2006 ]


(Читать комментарии) - (Добавить комментарий)

Сохацкий порешал математиков
(Анонимно)
2019-03-02 22:54 (ссылка)
@5HT
Интересно, как теперь Каледин будет аргиться на своих лекциях на инфинити категории :-) Их же уже написали, и получилось в 50 строчек. Есть тут студенты Каледина? Покажите ему (n,r)-категории!
5:45 PM - 21 Jan 2019

(Ответить) (Ветвь дискуссии)

Re: Сохацкий порешал математиков
(Анонимно)
2019-03-03 07:25 (ссылка)
зачем углеродные ебанарии Воеводского
изобретают мою кубическую теорию типов
своими хуевыми символами?
И что это за унивалентный нахYй?

http://www.cs.cmu.edu/~ecavallo/works/unifying-cartesian.pdf

п.с.
Жорик дал дуба.
Печаль
__
wieiner_ - в этом дневнике

(Ответить) (Уровень выше)

Re: Сохацкий порешал математиков
(Анонимно)
2019-03-03 13:29 (ссылка)
tl;dr:
Макс пробивает очередное дно, разговаривает с интернетом, категориально-петушанский хайп-пузырь, что-произойдет-с-вашим-телом-если-долго-сидеть-в-/c/-и-/math/-одновременно

(Ответить) (Уровень выше) (Ветвь дискуссии)

https://i.imgur.com/lXkiUmt.jpg
(Анонимно)
2019-03-04 01:13 (ссылка)
Ты как базаришь? Ща с ноги пробью!

(Ответить) (Уровень выше)


(Читать комментарии) -