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

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

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

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

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

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

База знаний

Материалы

Статьи, гайды, разборы и курсы Digitable.

Остальные материалы

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

Стандартная библиотека и связывание модулей

Пять модулей stdlib, что в них есть и почему они устроены именно так; импорт как слияние объявлений, а не пространство имён. И главный сюжет суток: настоящая библиотека …

#flang#стандартная библиотека#модули
8 мин
Статья

Тотальность: как доказывается завершение

Разбор анализа структурного убывания: происхождение значений, единая убывающая позиция в цикле вызовов, контрпример, объясняющий это требование. И то, что случилось за …

#flang#тотальность#завершаемость
9 мин
Статья

Массовые вариации: генератор вместо ста просьб

Сто ящиков — это не сто задач агенту, а одна: написать генератор. Разбираем параметризацию, детерминированное зерно случайности и ловушку с hash(), манифест вариантов, …

#3d#blender#python
7 мин
Статья

Система типов и то, чего в ней нет

Двунаправленная проверка вместо Хиндли — Милнера, исчерпывающность разбора — и главное решение языка, которое за сутки развернулось в обратную сторону: функции стали …

#flang#система типов#вывод типов
11 мин
Статья

Синтаксис по факту: модули, функции, выражения, образцы

Разбор конструкций языка по файлам репозитория и по программам, которые мы прогнали через check и test: теоркат — функтор, моноид, изоморфизм, бифунктор; функции как …

#flang#синтаксис#сопоставление с образцом
24 мин
Статья

Обучение на практике: отрицательные результаты одного проекта

Разбор одного реального проекта: почему отказу приходится учить отдельным классом данных, почему датасет оказался важнее размера базовой модели, почему русскоязычный …

#ии-инженерия#дообучение#оценка качества
23 мин
Статья

Инструмент: команды flang и контракт вывода

Восемь команд CLI, JSON-контракт вывода, что запускается без сборки, а что требует собранного ядра FTS — и почему обещанной в спецификации команды fmt на самом деле нет.

#flang#cli#инструменты
14 мин
Статья

Два класса программ: тотальная и обычная

Главное архитектурное решение flang: вместо выбора между полнотой по Тьюрингу и гарантией завершения язык делит программы на два класса, и класс проверяет компилятор, а …

#flang#тотальность#теория вычислимости
6 мин
Статья

Старые модели: что компилятор делает с прежней поверхностью

У языка была ранняя поверхность — «категория», «объект», «утилита», «правило», «свойство». Компилятор её слова до сих пор читает, но программой такой файл не считает. …

#flang#совместимость#языки программирования
4 мин