AG
"сопромат для айти"
Size: a a a
2021 February 10
s
Простите немного протек в основу. Можно удалить
AG
щас бы перекапывать все инициативы сигплана чтобы в понве доказывать
s
Вообще есчесно если б не было академиков мы черновые инженеры устроили бы в мире жуткий киберпанк
ZM
слабак опять кричит
AG
не ну в целом вся движуха статического фп как раз про это
AG
инструменты и методы алгебраического дизайна
λ
Дима, а кто проверял обратное?
λ
так и у того тоже есть результат
λ
Дима, если ты не знаешь таких проектов, это не значит что их нет
ZM
ты же говорил подписан на дейли
ZM
там и про тлю и про сепарационку в фб было
AG
ну в том и поинт что полноценного 100% алгебраического софта нет, есть разные аппроксимации к нему
AG
системы типов, модел чекеры, программные логики
ZM
ну в том и поинт что полноценного 100% алгебраического софта нет, есть разные аппроксимации к нему
модель не обязана быть точной, она должна быть полезной ©