DigitableCourses
Настройки портала
Показать возможности портала

Локально и без аккаунта. Аккаунта нет, регистрация не нужна: введённое в инструменты остаётся в localStorage браузера и на сервер не уходит.

Свой счётчик считает открытия страниц и дочитывания: уезжает адрес и десятая доля текста. Без cookies и чужих счётчиков, IP не хранится, Do Not Track уважается. Как это проверить

Репозиторий портала не выложен, «открытым кодом» мы его не зовём. Открыто это:

Живёт портал на донатах, платных консультациях и разборах по запросу и покупке Workbench.

Планов делать курсы платными нет.

База знаний

Тема: исполняемые спецификации

2 материалов в этой теме.

Материалы

2 на странице
Статья

Исполняемая спецификация: зачем правило, которое компилятор проверяет

Бизнес-правило обычно живёт в трёх местах — в задаче, в коде и в тестах — и расходится. Курс про то, как записать его один раз на flang так, чтобы компилятор доказал …

#flang#исполняемые спецификации#ddd
5 мин
Статья

Исполняемая спецификация как фитнес-функция: поиск, у которого судья — компилятор

Что происходит с генетическим алгоритмом, когда фитнес перестаёт быть экспертной оценкой и становится кодом возврата компилятора: синтез спецификаций по примерам, честная …

#sbse#генетические алгоритмы#фитнес-функция
23 мин