Во всем тексте, вы явно проговариваете только три универсальных свойства алгоритмов/программ: точность, скорость (задержка) и (энерго)эффективность. Хотя Скорость много где опускается. Универсальных - то есть таких, которые могут быть применены к любым алгоритмам, от самого низкого уровня в многослойном пироге вычислений, (супер)компиляций, и т.д., от высокоуровневого промпта до микрокода в железе.
Мне кажется что таких свойств побольше:
- Информационная эффективность (в терминах Филдса - это размер границы/экрана quantum reference frame в битах)
- Робастность/устойчивость/надежность/безопасность - не обязательно то же самое, что простая вероятность выдать неточный ответ – играет роль также степень (катастрофичности) неточности, пытаются ли систему вычисляющую алгоритм/работающую по методу активно сломать/хакнуть или нет.
- Модулярность/композиционность/интероперабельность/интегрируемость (не в смысле интеграл из матана, а в смысле синтезируемость с другими алгоритмами в алгоритм более высокого уровня)/“склеиваемость”
- Интерпретируемость/отлаживаемость/debuggability
- Поддерживаемость/maintainability/(эволюционная) развиваемость
- Конфигурируемость/контролируемость/steerability/убеждаемость/persuadability
- Параллезуемость/распределяемость/скалируемость - это свойство про “алгоритмику как операционный менеджмент”
Кажется любопытным, что все эти свойства, хотя и означают что-то разное на разных уровнях вычислений / для разных типах алгоритмов, данных, и представлений (локальные и распределенные), таки применимы очень широко, для алгоритмов, которые казалось бы не должны иметь ничего общего. Например, мы буквально говорим про интерпретируемость программ как метод исполнения (в противовес компиляции), и про интерпретируемость алгоритмов LLM. Или, прослеживается общая линия от конфигурируемости микрокода CPU/GPU до configurator module в архитектуре ЛеКуна и persuadability даже выше:
Так что, в мета-алгоритмике, наверное, еще можно пообсуждать взаимодействие этих свойств, их эмерджентность (почему именно на каком-то уровне мы начинаем говорить про persuadability? Или по Левину/Филдсу - все строго градуально, как психизм/сознание/goal-directedness/agency и т.д.)