A
так я его всё же хотел бы не не пойми куда выкинуть - он всё же Dev
Size: a a a
2020 April 03
A
да, ты прав - из-за этого
A
но признаться что-то всё всё равно кажется сложновато
A
но признаться что-то всё всё равно кажется сложновато
олимпиадники у руля, чего ты хотел?!
A
вообще, возможно, надо в каждой подпапке иметь свой Archive - но не уверен
A
но может починят - пока какой-то не очень удобный микс старого и нового - но папки всё равно полязно, но них я даже не мог понять на что подписан - а тут хоть как-то расфильтровал и кое от чего отписался
Aq
на межнар по папкам и архивам ездили
A
ещё вопрос по zulip - я вижу ссылку на funprog.zulipchat.com , а есть какое-то центральное место всех чатов? - а то похоже всё время в этом funprog
A
ещё вопрос по zulip - я вижу ссылку на funprog.zulipchat.com , а есть какое-то центральное место всех чатов? - а то похоже всё время в этом funprog
а кто это, это конкуренты телеграма?
R
Вот почему для того чтобы посмотреть тарифы и цены надо обязательно регаться
AG
а кто это, это конкуренты телеграма?
скорее слака с дискордом
KV
A
а почему домен funprog ? какие есть остальные? где мне про Nim сделать - на funprog, или возможно что-то более подходящее есть
KV
а почему домен funprog ? какие есть остальные? где мне про Nim сделать - на funprog, или возможно что-то более подходящее есть
Вроде нет реестра публичных серверов пока
A
ok
A
2020й год - пропагация DNS идёт 24-48 часов.
AG
а почему домен funprog ? какие есть остальные? где мне про Nim сделать - на funprog, или возможно что-то более подходящее есть
из свежих интересных как минимум https://hott.zulipchat.com/ и https://categorytheory.zulipchat.com/
AG
есть сервера и по отдельным языкам, например https://leanprover.zulipchat.com/
A
и похоже на каждом надо регистрироваться отдельно - как-то хм