В рейтинге участвует:

групп:

каналов:

Виртуальный сервер на SSD - недорого!

Аренда выделенных и виртуальных серверов (VDS/VPS), хостинг, аренда IP-адресов, администрирование, круглосуточная поддержка

qwarta.ru подробнее

Резервное копирование с проверкой на вирусы!!!

Удобный сервис создания резервных копий на любой сервер сети интернет. Отслеживайте изменения, проверяйте на вирусы. Надежно защитите свой бизнес!

go.backupland.com

Выбираете сервер? Любая конфигурация на заказ!

Аренда физических серверов любых конфигураций под любые запросы - 1С бухгалтерия, игровые сервера, нагруженные проекты, интернет-магазины!

qwarta.ru подробнее

Size: a a a

groupoid.space

72 membersпожаловаться на группу
2019 January 08

TN

Tonpa Namdak in groupoid.space
навіть встигати читати можна, кльово зроблено
источник
02:52пожаловаться#1

SK

Slava Karkunov in groupoid.space
ага!
источник
02:52пожаловаться#2
2019 January 09

TN

Tonpa Namdak in groupoid.space
https://tonpa.guru/stream/2019/2019-01-09%20Lean%20Forward%202019.htm
источник
12:05пожаловаться#3

TN

Tonpa Namdak in groupoid.space
Добавил фоточки!
источник
19:59пожаловаться#4
2019 January 13

TN

Tonpa Namdak in groupoid.space
Рефератик: https://sheaf.space
источник
00:56пожаловаться#5

TN

Tonpa Namdak in groupoid.space
https://www.oliviacaramello.com/Unification/Unification.htm
источник
11:55пожаловаться#6
2019 January 18

TN

Tonpa Namdak in groupoid.space
[1]. An elementary illustrated introduction to simplicial sets
Greg Friedman
https://arxiv.org/pdf/0809.4221.pdf (Картинки!!!)
источник
12:03пожаловаться#7
2019 January 22

TN

Tonpa Namdak in groupoid.space
http://groupoid.space/mltt/types/homology/index.html
источник
14:22пожаловаться#8

TN

Tonpa Namdak in groupoid.space
https://www.andrew.cmu.edu/user/avigad/Students/zipperer_ms_thesis.pdf —  Elementary Group Theory in Lean
источник
19:14пожаловаться#9
2019 January 29

TN

Tonpa Namdak in groupoid.space
https://arxiv.org/pdf/1810.06288.pdf
источник
00:42пожаловаться#10

TN

Tonpa Namdak in groupoid.space
http://www.cs.cmu.edu/~ecavallo/works/thesis15.pdf
источник
01:27пожаловаться#11
2019 January 30

TN

Tonpa Namdak in groupoid.space
https://twitter.com/SchreiberUrs/status/1090585897727332352
Twitter
Urs Schreiber
Maksym Sokhatskyi @5HT is offering $400/month for adding to nLab entries exposition and explanation of various basic mathematical topics, as needed by a community of type theorists looking into formalization of mathematics see: https://t.co/vkhRRubdrK https://t.co/rYOCkxytmW
источник
16:48пожаловаться#12

TN

Tonpa Namdak in groupoid.space
Будем писать Основния Нового Матанализа на Когомологиях де Рама! Уже есть кандидаты. Возможно будет сразу две позиции, так как некоторые отказыаются от денег!
источник
16:49пожаловаться#13

TN

Tonpa Namdak in groupoid.space
Кандидатов будет отбирать сам Урс и он же будет проводить ревью контрибуций на ncatlab.
источник
16:49пожаловаться#14

SK

Slava Karkunov in groupoid.space
Круто! Залюбки почитаю 🙂
источник
18:00пожаловаться#15
2019 February 21

TN

Tonpa Namdak in groupoid.space
Друзья, теперь официально, я еду на http://www.andrew.cmu.edu/user/fwellen/modal-workshop.html
источник
22:57пожаловаться#16

TN

Tonpa Namdak in groupoid.space
источник
22:57пожаловаться#17

EZ

Evgeniy Zheltonozhskiy🇮🇱 in groupoid.space
Tonpa Namdak
Друзья, теперь официально, я еду на http://www.andrew.cmu.edu/user/fwellen/modal-workshop.html
👍
источник
23:14пожаловаться#18

VS

Viktor Sovietov in groupoid.space
sticker.webp
(45.31 Кб)
источник
23:41пожаловаться#19
2019 February 22

TN

Tonpa Namdak in groupoid.space
sticker.webp
(53.25 Кб)
источник
00:10пожаловаться#20