ᛒ
ну и ты тупо их качнешь, покатаешь, потом придет срок я хз че будет, обычно ключ ввести просят, но ты отмену жмешь, и через менеджер модулей все удаляешь
Size: a a a
2020 April 20
DM
вечером пороюсь, не нашел плитку
DM
снизу есть, но там явно не все
AG
@clayrat а бывает так что фикспоинт встроен в систему типов? Или есть какие-то способы иные понять при анализе что этот кусок терма рекурсия/фикс?
просто примитивную рекурсию нельзя в типы совать, она все ломает
AG
есть целое направление исследований в сторону guarded recursion
AG
это обычно про какую-то разновидность темпоральной модальности
ᛒ
это обычно про какую-то разновидность темпоральной модальности
как дела
V
@optician_owl обновили клиент F@H, теперь можно выбрать COVID-19 направление,
обновилс deb пакеты, перезапустил, слетел гпу слот, пришлось самому качать GPUs.txt, а раньше он сам качал
обновилс deb пакеты, перезапустил, слетел гпу слот, пришлось самому качать GPUs.txt, а раньше он сам качал
DM
Vasiliy
@optician_owl обновили клиент F@H, теперь можно выбрать COVID-19 направление,
обновилс deb пакеты, перезапустил, слетел гпу слот, пришлось самому качать GPUs.txt, а раньше он сам качал
обновилс deb пакеты, перезапустил, слетел гпу слот, пришлось самому качать GPUs.txt, а раньше он сам качал
хм, мож потому у меня таски стали редко прилетать
AT
имя Ибрагим вам о чем нибудь говорит?
V
мустафа ибрагим
DM
он вернулся
с антикризисными прайсами?
DM
300 барелей нефти в месяц
VS
саудиты диверсифицируют наконец?
AT
AT
в личку только мне чтоли отписал?
ᛒ
имя Ибрагим вам о чем нибудь говорит?
меня походу не спишут на бенч
VS
будут конкуретна гугла делать?
AT
думаю еще кому то