Идеи и инсайты · Страница 4

Исследуем AI-first разработку, кодовые ограждения и архитектуру одноразовости.

26 июл. 2026 г.

Zero-Defect Process IBM обеспечил 0,1 bug на KLOC. Промышленность всё равно отказалась от него.

Cleanroom engineering IBM достиг defect rate в 100 раз лучше промышленного среднего, а затем исчез в забвении. Исчезновение не имело ничего общего с тем, работал ли он.

25 июл. 2026 г.

Кто-то действительно верифицировал 10 000 строк с нулевым количеством дефектов? IBM сделала это, и методология страннее результата.

Cleanroom software engineering обещала инкременты с нулевым количеством дефектов через mathematical verification вместо debugging. Мы смотрим на реальные данные проекта IBM, чтобы проверить, выдержал ли этот тезис.

cleanroom-correctness zero-defects verification case-study

24 июл. 2026 г.

У вашего модуля три слоя. Вы, скорее всего, написали только один.

Box Structure заставляет вас определять, что делает модуль, что он запоминает и как работает, как три отдельных проверяемых слоя. Вот как Cleanroom использует их для устранения отладки.

cleanroom-correctness box-structure architecture specification

23 июл. 2026 г.

IBM поставляла ПО с 0,1 дефектами на KLOC, запрещая разработчикам запускать собственный код

Процесс Cleanroom-инжиниринга IBM достиг дефектности в 100 раз лучше отраслевого среднего, предотвращая баги вместо их поиска. Вот как это работало, почему почти никто это не использует и что вы можете позаимствовать из него сегодня.

cleanroom-correctness ibm zero-defects software-quality

22 июл. 2026 г.

Ваша литературная программа сломана, пока CI не может сделать tangle без вас

Literate programming обещает единственный источник правды, но ручные шаги weave и tangle ломают CI/CD-пайплайн. Вот как автоматизировать извлечение и генерацию документации, чтобы ваши Markdown-файлы оставались каноническими.

literate-programming ci-cd weave-tangle automation

21 июл. 2026 г.

Сначала объяснять код LLM снизило мою частоту багов на 85 %

Я 30 дней писал объяснения дизайна перед тем, как просить код у LLM. Результаты изменили моё отношение к rubber-ducking.

literate-programming llm code-quality rubber-ducking

20 июл. 2026 г.

Я перестал копировать код в документацию, храня тесты, код и прозу в одном Markdown-файле

Literate programming поддерживает синхронизацию документации, тестов и реализации, делая Markdown-файл единственным источником правды. Вот как реализовать это тридцатью строками на Python.

literate-programming documentation testing single-source-of-truth

19 июл. 2026 г.

Ваш тред в Claude уже является документацией. Он просто умрёт через двенадцать часов.

Диалоги с LLM содержат намерения, отвергнутые альтернативы и работающий код. Именно это и должна представлять собой документация. Вот как превратить эфемерный чат в долговечные, доступные для поиска документы, не теряя повествования.

literate-programming llm documentation ai-engineering

18 июл. 2026 г.

Текстовые редакторы позволяют писать невалидный код. Древовидные редакторы не позволили бы.

Каждый компилятор видит ваш код как дерево, но редактор позволяет редактировать сырой текст. Вот как выглядит структурное редактирование на самом деле, почему оно не захватило мир и как получить его преимущества, не меняя инструменты.

literate-programming structured-editing ast programming-tools

17 июл. 2026 г.

Donald Knuth хотел, чтобы программы читались как литература. У компилятора были другие планы.

Literate programming обещала, что код должен писаться в первую очередь для людей, а во вторую — для машин. Четыре десятилетия спустя почти никто так не пишет. Вот почему самая элегантная идея в документировании программного обеспечения не смогла изменить наш способ работы.

literate-programming knuth software-history documentation