codemonsters.log

Математическое доказательство корректности программ Собрал очень ценную статью про математическое доказательство правильности программы и формальное доказательство, которое мы используем при кодировании. https://codemonsters.team/blog/2025/12/30/program-correctness/ Для меня это особенно важная работа. Показывает, как от математики мы переходим к инкапсуляции в ООП и типизации (формальному доказательству) Правильная архитектура даёт нам 100% покрытие бизнес-логики юнит-тестами. Управляемое тести...

Глава 1. Что такое рациональная разработка софта #codemonsterslog #rationaldev

Привет. Две книги, на которые не жалко ни одной из четырёх тысяч недель. Первая — «Четыре тысячи недель на всё». Оливер Беркман объясняет, почему попытки всё успеть — ловушка. И предлагает смотреть на время иначе. Не как ресурс, который надо оптимизировать, а как ограничение, с которым стоит подружиться. В сущности, я и есть время. Несмотря на то, что я старался держать мысли о конечности жизни в оперативке(вспоминал Хагакурэ), последние два года изрядно выбили из меня всю дурь. Я иначе смотрю н...

Делюсь находками про киберпространство. Хорошего дня, самурай. #codemonsterslog #books

Увлекательная статья https://cursor.com/blog/self-driving-codebases Относитесь к модели как к блестящему новому сотруднику, который разбирается в инженерии, но не знает специфики вашего кода и процессов. Увлекательный отрывок словно из соцреализма Когда мы требовали 100% корректности перед каждым коммитом, это приводило к серьёзным проблемам с сериализацией и замедлению эффективной пропускной способности. Даже одна небольшая ошибка, например, изменение API или опечатка, могла привести к полной о...

#vibe

Привет! Меня зовут Максим Морев. В серии коротких видео я Просто рассказываю про научно обоснованную дисциплину рациональной разработки софта с ИИ. Работал в ИТ джуном, СТО и начальником департамента. Зачем мне это? Потому что я двадцать четыре года собирал знания. И теперь хочу передать это тебе. Чтобы ты не наступал на те же грабли. Чтобы ты не писал лишнего, как говорится не делал лишних движений. Нафига страдать, когда можно не страдать? Чтобы ИИ работал на тебя, а не жрал твой бюджет. Чтобы...

За серию коротких видео. Я просто расскажу про научно обоснованную рациональную дисциплину создания софта с ИИ. Проверенную временем. Усиленную машиной. Буз занудства поговорим про математическое доказательство правильности программы, как это знание применить в современной мэйнстрим разработке с машиной. Поговорим про мифологию в ИТ. И конечно все проверим на практике на конкретных примерах. Чтобы ты не писал лишнего, как говорится не делал лишних движений. Нафига страдать когда можно не страдат...

Начало практики Первая инструкция Главная ошибка при работе с ИИ-агентом — сразу просить писать код. Перед кодом готовим контекст. Четыре файла: — AGENTS.md — правила работы агента — 00-intent.md — что строим и зачем — CLAUDE.md — память агента между сессиями — backlog.md — список задач Один промпт — и агент в теме. первая инструкция: собираем сервис авторизации без паролей с ИИ-агентом. От намерения до OpenAPI-спеки и README.md Бери инструкцию, клонируй шаблон и проходи маршрут. Инструкция: htt...