️️
было N. а теперь 3...
Size: a a a
2020 July 15
️️
почему
M
Для самой алгебры
M
3
M
Для реализации всего остального N
️️
ну либу то можно взять. причем скорее всего выбрать придется из всех что есть проверив производительность
M
Скорей всего то есть ты даже не уверен
M
А может быть что вам там тау исчесление нужно и уже вибирать не из чего будет
️️
вряд ли ктото станет писать либу алгебры когда речь идет о конкретном микросервисе в ядро сетки. харе
M
вряд ли ктото станет писать либу алгебры когда речь идет о конкретном микросервисе в ядро сетки. харе
Хз я и dsl писал
️️
Скорей всего то есть ты даже не уверен
ты хочешь подловить чтоли... дзюдоист чтоли*)
M
Не зная задачи нельзя ничего говорить
M
ты хочешь подловить чтоли... дзюдоист чтоли*)
Ну дак если так и есть
️️
Не зная задачи нельзя ничего говорить
так решатель задачи то...
M
Какой то сервис в вакуме
M
так решатель задачи то...
Решать это z3
M
Ты не путай
️️
я в самом начале написал про решатель
️️
про делегацию вычислений
M
Ты про cr алгебру писал