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

групп:

каналов:

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

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

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

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

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

go.backupland.com

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

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

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

Size: a a a

groupoid.space

72 membersпожаловаться на группу
2018 December 23

TN

Tonpa Namdak in groupoid.space
Есть еще два воркшопа по HoTT, которые я бы хотел посетить, но незнаю или хватит ресурсов: 1) первый в составе конференции Types 2019 в Осло; 2) и второй, топовый HoTT ивент тоже в CMU в Питтсбурге International Conference on Homotopy Type Theory, с таким лайнапом: Кокан, Бауер, Эводи, Гимбино, Люмсдейн, Шульман.
источник
16:04пожаловаться#1
2018 December 26

TN

Tonpa Namdak in groupoid.space
https://github.com/groupoid/agda/tree/master/Infinity
источник
11:01пожаловаться#2

TN

Tonpa Namdak in groupoid.space
HoTTEST: https://www.youtube.com/channel/UC-9jDbJ-HegCFuWuam1SfvQ
источник
13:57пожаловаться#3

A

Alexander in groupoid.space
Отлично
источник
13:58пожаловаться#4
2018 December 27

TN

Tonpa Namdak in groupoid.space
Мы собрали все кубические библиотеки в групоиде, кроме redtt/RedPRL.
Надо еще redtt порт! Кто хочет пописать на redtt (ну или RedPRL)?
источник
23:10пожаловаться#5
2018 December 28

TN

Tonpa Namdak in groupoid.space
1. cubicaltt: \(i: I)->, i @ x, сomp, /\, \/, ~, Glue, glue, unglue.
2. yacctt: \(i: I)->, i @ x, hcom, coe, V, Vin, Vproj.
3. Arend, redtt, RedPRL: \(i: I)->, i @ x, coe, V, Vin, Vproj.
4. hcomptrans: \(i: I)->, i @ 0, /\, \/, ~, hcomp, Glue, glue, unglue.
5. Agda: \(i: I)->, i @ x, hcomp, comp, \/, /\, ~, coe, Glue, glue, unglue.
источник
01:03пожаловаться#6
2018 December 29

TN

Tonpa Namdak in groupoid.space
https://tonpa.guru/stream/2018/2018-12-29%20Кубики.htm
источник
01:10пожаловаться#7
2018 December 30

KR

Kostiantyn Rybnikov in groupoid.space
Буду вдячний за фідбек https://k-bx.github.io/articles/singleton_fiber_equivalence.html
источник
19:44пожаловаться#8

TN

Tonpa Namdak in groupoid.space
Великі П \prod ! замість \sum
источник
20:26пожаловаться#9

TN

Tonpa Namdak in groupoid.space
Всьо гарно, хочеш на Групоїді опублікуєм!
источник
20:26пожаловаться#10

KR

Kostiantyn Rybnikov in groupoid.space
👍 дякую, поїм і виправлю
источник
20:31пожаловаться#11

KR

Kostiantyn Rybnikov in groupoid.space
Публікації -- тільки за
источник
20:31пожаловаться#12

TN

Tonpa Namdak in groupoid.space
Гайда в подкаст!
источник
20:31пожаловаться#13

TN

Tonpa Namdak in groupoid.space
Подкаст Кості та Максима!
источник
20:32пожаловаться#14

KR

Kostiantyn Rybnikov in groupoid.space
Можна після нового року спробувати)
источник
20:32пожаловаться#15

TN

Tonpa Namdak in groupoid.space
http://groupoid.space/mltt/equiv/
источник
21:51пожаловаться#16

TN

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

KR

Kostiantyn Rybnikov in groupoid.space
дякую!
источник
22:07пожаловаться#18
2019 January 01

TN

Tonpa Namdak in groupoid.space
источник
06:26пожаловаться#19

EZ

Evgeniy Zheltonozhskiy🇮🇱 in groupoid.space
Tonpa Namdak
👍
источник
08:57пожаловаться#20