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

групп:

каналов:

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

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

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

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

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

go.backupland.com

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

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

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

Size: a a a

groupoid.space

65 membersпожаловаться на группу
2021 July 14

TN

Tonpa Namdak in groupoid.space
И это всего лишь третья неделя!
источник
23:03пожаловаться#1

TN

Tonpa Namdak in groupoid.space
Кубик как тибетское Нёндро. Понятно что можно выполнить за жизнь, но зачет считается только если смог за 1 месяц!
источник
23:03пожаловаться#2

TN

Tonpa Namdak in groupoid.space
На четвертой неделе будет Glue и HIT. Ну и вишенку на торте в виде Flat модалити.
источник
23:04пожаловаться#3

TN

Tonpa Namdak in groupoid.space
По прежнему мало лайков https://github.com/groupoid/anders
источник
23:08пожаловаться#4
2021 July 16

TN

Tonpa Namdak in groupoid.space
источник
21:24пожаловаться#5

TN

Tonpa Namdak in groupoid.space
источник
21:24пожаловаться#6

TN

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

TN

Tonpa Namdak in groupoid.space
К Лекции Готов!
источник
22:52пожаловаться#8
2021 July 17

SK

Slava Karkunov in groupoid.space
🔥🔥😍
источник
00:46пожаловаться#9

TN

Tonpa Namdak in groupoid.space
источник
01:05пожаловаться#10

TN

Tonpa Namdak in groupoid.space
клінапчик
источник
01:05пожаловаться#11

TN

Tonpa Namdak in groupoid.space
зара буде комітік ПДФ
источник
01:06пожаловаться#12

SK

Slava Karkunov in groupoid.space
найс, якраз почитаю, жаль шо запису не буде)
источник
01:08пожаловаться#13

TN

Tonpa Namdak in groupoid.space
приноси телефон в офісі є LTE!
источник
01:09пожаловаться#14

SK

Slava Karkunov in groupoid.space
та мене не буде в місті, на жаль)
источник
01:31пожаловаться#15

TN

Tonpa Namdak in groupoid.space
https://cafe.groupoid.space/anders.0.7.2.pdf
источник
02:38пожаловаться#16
2021 July 18

TN

Tonpa Namdak in groupoid.space
https://www.youtube.com/watch?v=KHDgytozLv4&t=24s
YouTube
Anders 0.7.2 CCHM/HTS
Гомотопічна система з двома рівностями (HTS).  Презентація кубічного CCHM прувера Anders 0.7.2 від Групоїд Інфініті.

Домашня сторінка: https://groupoid.space/homotopy/
Репозиторій проекту: https://github.com/groupoid/anders
источник
12:23пожаловаться#17
2021 July 20

TN

Tonpa Namdak in groupoid.space
https://odr.chalmers.se/bitstream/20.500.12380/301098/1/CSE%2020-12%20Tosun.pdf
источник
02:17пожаловаться#18
2021 July 27

TN

Tonpa Namdak in groupoid.space
АНОНС CASTLE BRAVO
источник
18:57пожаловаться#19

TN

Tonpa Namdak in groupoid.space
https://twitter.com/5HT/status/1420044173676322826
Twitter
Namdak Tonpa 🔱
Итак, запасайтесь попкорном, счас будет минутка топчика и реально новое исследование кубических систем. На этот раз @siegment решил не сильно отрываться от MLTT и сделать кубик таким, чтобы термы в нем были максимально MLTT-совместимые.
источник
18:57пожаловаться#20