Материалы

Статья

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

Что ставится вместе с flang 0.7.29: 64 модуля библиотеки, полиморфные списки, функции-значения, суммы типов вместо исключений. Импорт по имени модуля как слияние …

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

Статья

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

Как flang 0.7.29 доказывает, что функция с пометкой «тотальная» остановится: три способа убывать (часть значения, постоянный шаг с проверкой снизу, объявленная мера …

#flang#тотальность#завершаемость

Статья

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

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

#3d#blender#python

Статья

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

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

#flang#система типов#вывод типов

Статья

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

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

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

Статья

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

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

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

Статья

Арматура, скиннинг и анимация: как ассет начинает двигаться

Кости и веса кодом, жёсткий скиннинг по геометрическому правилу вместо автоматических весов, клипы как контракт с рантаймом, запекание ограничителей перед экспортом — и …

#3d#blender#анимация

Статья

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

Как поставить flang 0.7.29, что лежит в готовой сборке, пятнадцать команд двоичного файла, коды возврата и где вывод бывает JSON. Каждый пример прогнан на 0.7.29.

#flang#cli#инструменты

Статья

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

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

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

Статья

UV-развёртка и текстуры: плотность, атлас, запекание

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

#3d#blender#uv

Статья

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

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

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

Статья

Полигональный бюджет: как сокращать и чем за это платят

Кружка из главы про экспорт весила 407 884 треугольника. Откуда они берутся, какие рычаги сокращают вес, чем расплачивается каждый — и почему у модели, собранной кодом, …

#3d#blender#оптимизация