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

групп:

каналов:

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

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

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

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

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

go.backupland.com

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

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

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

Size: a a a

groupoid.space

66 membersпожаловаться на группу
2020 January 27

TN

Tonpa Namdak in groupoid.space
Котаны, новый прувер!
источник
19:20пожаловаться#1

TN

Tonpa Namdak in groupoid.space
principia.lol
источник
19:20пожаловаться#2

a

adam in groupoid.space
Tonpa Namdak
principia.lol
Это тот, над которым Каспер работает?
источник
20:09пожаловаться#3

TN

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

TN

Tonpa Namdak in groupoid.space
lol --- это название будущего лиспа для внутренних нужд групоида :-)
источник
20:38пожаловаться#5

TN

Tonpa Namdak in groupoid.space
lisp on language
источник
20:38пожаловаться#6
2020 February 27

TN

Tonpa Namdak in groupoid.space
https://github.com/ayberkt/gstts-formal-topology-talk/blob/master/latex/slides.pdf
GitHub
ayberkt/gstts-formal-topology-talk
Slides for a talk to be given at the Gothenburg-Stockholm Type Theory Seminar. - ayberkt/gstts-formal-topology-talk
источник
19:04пожаловаться#7
2020 March 20

TN

Tonpa Namdak in groupoid.space
Кто хочет пописать кубик на Эрланге? :-)
источник
17:00пожаловаться#8

TN

Tonpa Namdak in groupoid.space
groupoid.space/homotopy
источник
17:00пожаловаться#9

TN

Tonpa Namdak in groupoid.space
как вариант есть еще OCaml, ML
источник
17:01пожаловаться#10
2020 March 21

TN

Tonpa Namdak in groupoid.space
Использование монад <strike>в народном хозяйстве</strike> как приложение к математическому анализу для формального определения топосов интегрируемых уравнений в частных производных https://arxiv.org/pdf/1701.06238.pdf
источник
06:02пожаловаться#11
2020 March 24

TN

Tonpa Namdak in groupoid.space
https://github.com/b-mehta/topos
источник
10:34пожаловаться#12
2020 April 03

TN

Tonpa Namdak in groupoid.space
Finitary_Higher_Inductive_Types_in_the_Groupoid_Mo.pdf
(259.25 Кб)
источник
20:43пожаловаться#13
2020 April 04

TN

Tonpa Namdak in groupoid.space
https://dl.acm.org/doi/pdf/10.1145/2841316?download=true
источник
17:09пожаловаться#14
2020 April 10

TN

Tonpa Namdak in groupoid.space
http://www.nsm.buffalo.edu/~badzioch/Bernard_Badzioch/Home_files/bcv_final.pdf
источник
00:09пожаловаться#15

TN

Tonpa Namdak in groupoid.space
https://projecteuclid.org/download/pdf_1/euclid.ijm/1256064231
projecteuclid.org
Cejtin , Kleinerman : A criterion for delooping the fibre of the self-map of a sphere with degree a power of a prime
Project Euclid - mathematics and statistics online
источник
00:10пожаловаться#16

TN

Tonpa Namdak in groupoid.space
https://web.math.rochester.edu/people/faculty/doug/mypapers/loop.pdf
источник
00:25пожаловаться#17

TN

Tonpa Namdak in groupoid.space
brouwer-honor.pdf
(954.63 Кб)
источник
01:03пожаловаться#18

TN

Tonpa Namdak in groupoid.space
https://arxiv.org/pdf/1909.07047.pdf
источник
01:21пожаловаться#19

TN

Tonpa Namdak in groupoid.space
https://arxiv.org/pdf/math/0105155.pdf
источник
01:33пожаловаться#20