Тема: digit

Статья

Документация Digit по-русски

Ядро документации Digit на русском: три команды, которых нет ни в одной другой документации, и то, без чего не начать — установка, первый запуск, выбор модели, обновление

#digit#документация#ии-агенты

Статья

Куда идёт Digit

Замысел по крупным шагам: что уже стоит, что строится и что остаётся нерешённым — без сроков, потому что сроки здесь были бы выдумкой

#digit#планы#архитектура

Статья

Digit в Workbench: каталог утилит и гейт спецификаций

Два MCP-сервера Digit — детерминированный каталог утилит и верификационный гейт над FTS — как интеграции Digitable Workbench: что уже работает и что для этого ещё нужно …

#workbench#digit#mcp

Статья

Границы гарантии Digit

Что проверяемый режим ловит, чего не ловит и сколько стоит гарантия в отказах — без смягчений

#digit#верификация#ограничения

Статья

Что проверено и какими числами

Методика измерения проверяемого режима: контроли до оптимизации, независимый held-out набор, red-team и доверительные границы — и что эти числа показали

#digit#оценка моделей#eval

Статья

Как устроена проверяемость Digit

Три источника содержания вместо генерации, два режима с запретом тихой деградации и отказ, который принимает код, а не модель

#digit#ии-агенты#верификация

Статья

Что Digit умеет

Каталог из 95 утилит по запросу на русском, ответы по курсам дословными цитатами с якорем на абзац, проверка исполняемых спецификаций FTS — и отказ вместо выдумки, когда …

#digit#ии-агенты#локальные модели

Статья

Требования, которые проверяются до реализации: корпус спек, конституция и ftspec

Как проверить новое бизнес-требование на непротиворечивость с уже принятыми до написания кода: интервальная арифметика над условиями правил, инварианты конституции на …

#flang#ftspec#требования

Статья

AI-агенты и MCP: допуск выдаёт движок, а не текст модели

Как встроить flang в агентный контур: read-only MCP-инструменты, программная сборка документа, guard на реальных данных и машинно-читаемый отказ.

#flang#ai agents#mcp