DigitableCourses
Локально и без аккаунта. Аккаунта нет, регистрация не нужна: введённое в инструменты остаётся в localStorage браузера и на сервер не уходит.
Свой счётчик считает открытия страниц и дочитывания: уезжает адрес и десятая доля текста. Без cookies и чужих счётчиков, IP не хранится, Do Not Track уважается. Как это проверить
Репозиторий портала не выложен, «открытым кодом» мы его не зовём. Открыто это:
Живёт портал на донатах, платных консультациях и разборах по запросу и покупке Workbench.
Планов делать курсы платными нет.
Выкладка от 16 сентября 2026, срез 95043e5
Что изменилось на портале с вашего прошлого захода. Полный список выкладок — в разделе «Что изменилось» на странице «О нас».
49 материалов в этой теме.
Что такое flang: два класса программ вместо одного, доказательство завершения на этапе сборки, примеры и постусловия внутри самой функции, печать готового кода в восемь …
Каталог из 95 утилит по запросу на русском, ответы по курсам дословными цитатами с якорем на абзац, проверка исполняемых спецификаций FTS — и отказ вместо выдумки, когда …
Как проверить новое бизнес-требование на непротиворечивость с уже принятыми до написания кода: интервальная арифметика над условиями правил, инварианты конституции на …
Половина вызовов lodash в проекте — это бизнес-правила без модели, вторая половина давно есть в стандартном JavaScript. flang забирает только первую.
Как заменить check, prove, certify и visualize одним вызовом pipeline и что именно показывает mermaid-диаграмма категории, морфизмов и доказательства.
Пошаговый перенос живого бизнес-правила из вложенных if в модель с доказательством эквивалентности до выключения старого кода.
Каталог из четырнадцати попыток протащить в flang эффект, время, случайность и порядок исполнения — с реальными сообщениями компилятора и рабочим разделением на модель и …
Почему в спецификации нет «сегодня», как хранить редакции правила рядом и чем доказывать клиенту начисление за апрель по правилам апреля.
Справочник по диагностикам flang: код, точное сообщение, минимальный воспроизводимый пример и починка — отдельно для разбора, проверки модели, выполнения утилиты, …
Сквозная архитектура: модель заказа, примеры, command guard, React-форма, Node.js boundary, агент и CI.
Харнесс, которым вы снимаете свои цифры compile/validate/execute/generate и сравниваете их с baseline, вместо того чтобы верить чужим миллисекундам.
Как генерировать TypeScript и node:test, проверять модели в pull request и не редактировать артефакты вручную.
По этому запросу ничего не найдено.