Тема: 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#ии-агенты#локальные модели

Статья

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

Как проверить новое бизнес-требование до написания кода: требование как доказанное обещание, каталог спек fspec из flang new, слепок, который не даёт молча ослабить …

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

Статья

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

Как встроить flang в контур с ИИ-агентом: проверка программы через MCP, допуск по фактам через flang facts, утверждение фиксирует приложение, отказ приходит …

#flang#ai agents#mcp