G
Или как там правильно, cumulative universes в Idris
Size: a a a
2019 September 17
G
Давайте поговорим о банаховых пространствах
Я люблю банановые пространства
AD
Давайте поговорим о банаховых пространствах
Это к моему преподу по функану
AE
Давайте поговорим о банаховых пространствах
Ой все
AE
На что кинуть ссылку?
AD
Кстати, скиньте ваш прод (ссылку) на джвм
Это в тинёк
I🍻
На что кинуть ссылку?
Сайт или что-то вроде того
V
С багам? Это как
оттутачки
V
хотя на кубе тоже неплохо
V
надеюсь этим летом получится туда сездить на викенд
AE
Сайт или что-то вроде того
У меня все в привате. Да и как ты оценишь? Фронт то это фронт, бэк ты не увидишь
AD
хотя на кубе тоже неплохо
Особенно если с терраформом
AE
@i_wdt или ты из калеченных, которые рендерят на сервере?
I🍻
@i_wdt или ты из калеченных, которые рендерят на сервере?
Рендерят что?