Профинансируйте вычисления, которые достроят ParanoidBSD
Перенос идёт. Детерминированные инструменты написаны, барьеры проверки на месте, движок миграции работает. Не хватает вычислений на инференс и проверку, чтобы провести его через оставшиеся файлы — ровно поэтому эта кампания и существует.
Взносы принимает Kickstarter и только он. Этот сайт не запрашивает платёжные данные, не ставит cookie и не запускает трекеры. Кампания идёт по принципу «всё или ничего»: если к 12 ноября 2026 года цель не достигнута, ни с кого ничего не списывают.
Почему на это нужны деньги и почему именно такие деньги
Перенести укреплённую BSD на C++23 вручную — это десять лет работы на полную ставку. Это ещё и та задача, где языковая модель действительно полезна — механический перевод при строгой спецификации, по которой можно сверяться, то есть почти лучший случай для этой технологии.
Конструкция это уже учитывает. Детерминированные проходы переработки делают всё, что могут сделать безопасно, бесплатно. Модели применяются только к остатку: заглушённые записи инвентаря и файлы, от которых детерминированные проходы отказались. Каждый вывод модели затем проходит компиляцию, ASan, UBSan, дифференциальное исполнение и сравнение на уровне промежуточного представления (IR) компилятора, прежде чем его засчитают.
Эта проверка не опциональна и не дёшева. Каждый файл пробуют, проверяют, часто отклоняют и пробуют снова. Стоимость сидит в цикле, а не в одном проходе — и именно цикл превращает вывод модели в то, что операционная система с упором на безопасность может действительно выпустить.
- 4786 написанных вручную модулей C++23 — примерно 352 000 строк — за барьером сборки, который проходит зелёным
- Инструменты инвентаризации, которые оценивают каждый исходный файл на C
- Детерминированные проходы переписывания, уровни 0–4
- Агентный движок переноса с пулами воркеров и эскалацией
- Барьеры проверки: компиляция, санитайзеры, дифференциальные прогоны и сверка IR
- Отслеживание происхождения, чтобы границы лицензий оставались проверяемыми
- Устройство ядра возможностей и спецификация двоичного интерфейса приложений (ABI) для C++ в ядре
Всё это уже лежит в репозитории под открытой лицензией — независимо от того, соберёт эта кампания деньги или нет. Любое утверждение на этой странице можно сверить с исходниками, прежде чем что-то решать.
Модель бюджета с открытыми допущениями
Обычно бюджет краудфандинга — это круговая диаграмма с круглыми числами. Здесь настоящая модель: измените любое допущение и смотрите, как меняется итог. Значения по умолчанию — плановые оценки, и это прямо помечено — не котировки поставщиков и не измеренные расходы.
pbsd — модель стоимости переноса
Объём
На попытку
Тарифы провайдера — выставьте здесь текущие цены вашего провайдера
Куда уходит
Это плановые оценки. Число файлов, доля повторных попыток и объёмы токенов — обоснованные догадки по журналам миграции, а не проверенные аудитом цифры. Тарифы провайдеров постоянно меняются — поля выше редактируются именно потому, что не стоит доверять цифре, которую я зашил в код.
Один бонус, в остальном пожертвования
Здесь нет лестницы уровней, нет мерча и нет очереди раннего доступа. Почти всё, что финансирует кампания — перенос, инструменты, проверка — публикуется под открытой лицензией по мере написания, так что доходит до вас независимо от того, платили вы или нет. Брать деньги за поэтапный доступ к тому, что и так открыто, было бы театром.
Пожертвование
Вариант по умолчанию, и ожидается, что большая часть поддержки будет такой. На эти деньги покупаются вычисления: инференс для файлов, которые детерминированные проходы не смогли закрыть, и проверочные прогоны, через которые эти файлы обязаны пройти.
- Идёт прямо на перенос, без вычетов на вознаграждения
- Всё, что на эти деньги сделано, в любом случае открыто под AGPL-3.0+
- Никаких уровней, никакого ранжирования, никаких бонусов — и ничего такого не подразумевается
Заказать функцию
Назовите то, что вы хотите видеть в ParanoidBSD, и это будет сделано — но сначала объём честно согласуют с вами, чтобы никто не платил десять тысяч долларов за то, что окажется невозможным или уже запланированным.
- Функция на ваш выбор, спецификация составляется вместе с вами до любых обязательств
- Пишется под теми же барьерами проверки, что и всё остальное — никаких послаблений за то, что за это заплачено
- Публикуется с открытым исходным кодом, как и остальное дерево
- Письменный отчёт о том, как шла работа, в том числе если она шла плохо
- Ожидаемая поставка — декабрь 2027, доставка куда угодно — это софт
Что меняет финансирование
Инвентаризация, детерминированные проходы, агентный движок, конвейер проверки, отслеживание происхождения. Уже в репозитории.
Перенос bin/ и usr.bin/ ограниченными партиями, с барьером дифференциальной проверки. Темп ограничен доступными вычислениями.
Ядро возможностей и дескрипторов, freestanding C++23, по спецификации ABI ядра.
KDE Plasma 6, KWin и фреймворки, интегрированные с перенесённой базой.
Устанавливаемые сборки, которые может запустить кто-то кроме автора.
Что может пойти не так
Kickstarter требует раздел о рисках. Этот написан так, чтобы от него была польза.
Перенос может застрять на трудных файлах
Цены провайдеров могут измениться
Это один человек
Перенос ОС с помощью ИИ вызывает обоснованный скепсис
Защитный софт из источника, не прошедшего аудит
Прочитайте исходники, потом решайте
Всё, что утверждается на этой странице, можно проверить уже сегодня. Инструменты, барьеры, записи о происхождении и журналы миграции — всё открыто. Сначала прочитайте их — поддержать перенос, который вы не осмотрели, это ровно та ошибка, против которой этот проект и выступает.