Financez le calcul qui termine ParanoidBSD
Le portage avance. L’outillage déterministe est écrit, les contrôles de vérification sont en place et le moteur de migration fonctionne. Ce qui manque, c’est la puissance de calcul d’inférence et de vérification pour traverser les fichiers restants — et c’est toute la raison d’être de cette campagne.
Les contributions se font entièrement sur Kickstarter. Ce site ne recueille aucune donnée de paiement, ne dépose aucun cookie et n’exécute aucun traceur. La campagne est tout ou rien : si l’objectif n’est pas atteint au 12 novembre 2026, personne n’est débité.
Pourquoi cela demande de l’argent, et pourquoi de cet argent-là
Porter un BSD durci vers C++23, à la main, c’est une décennie de travail à plein temps. C’est aussi exactement le genre de tâche où un modèle de langage est réellement utile — de la traduction mécanique avec une spécification stricte contre laquelle vérifier, ce qui est à peu près le meilleur cas pour cette technologie.
La conception le reflète déjà. Les passes de réécriture déterministes traitent tout ce qu’elles peuvent sans risque, gratuitement. Les modèles ne servent que sur le résidu : les entrées d’inventaire ébauchées et les fichiers que les passes déterministes ont refusés. Chaque sortie de modèle passe ensuite par la compilation, ASan, UBSan, l’exécution différentielle et une comparaison au niveau de la représentation intermédiaire (IR) du compilateur avant de compter.
Cette vérification n’est pas facultative et elle n’est pas gratuite. Chaque fichier est tenté, contrôlé, souvent rejeté et retenté. Le coût est dans la boucle, pas dans une passe unique — et c’est la boucle qui transforme une sortie de modèle en quelque chose qu’un système d’exploitation axé sur la sécurité peut réellement livrer.
- 4 786 modules C++23 écrits à la main — environ 352 000 lignes — derrière un contrôle de compilation qui passe au vert
- Un outillage d’inventaire qui note chaque fichier source C
- Des passes de réécriture déterministes, niveaux 0–4
- Le moteur de portage à agents, avec pools de travailleurs et escalade
- Des contrôles de compilation, de sanitizers, différentiels et d’IR
- Un suivi de provenance, pour que les frontières de licence restent auditables
- La conception du noyau à capacités et la spécification de l’interface binaire d’application (ABI) C++ du noyau
Tout cela est dans le dépôt dès maintenant, sous licence ouverte, que cette campagne aboutisse ou non. Vous pouvez vérifier chaque affirmation de cette page dans le code avant de décider quoi que ce soit.
Le modèle de budget, hypothèses à découvert
La plupart des budgets de financement participatif sont un camembert avec des chiffres ronds. Voici le vrai modèle : changez n’importe quelle hypothèse et regardez le total bouger. Les valeurs par défaut sont des estimations de planification, clairement indiquées comme telles — ni des prix négociés, ni des coûts mesurés.
pbsd — modèle de coût du portage
Périmètre
Par tentative
Tarifs du fournisseur — mettez ici les prix actuels du vôtre
Où cela va
Ce sont des estimations de planification. Les comptes de fichiers, les taux de tentative et les volumes de jetons sont des estimations informées tirées des journaux de migration, pas des chiffres audités. Les tarifs des fournisseurs changent sans cesse — les champs ci-dessus sont modifiables précisément parce que vous ne devriez pas faire confiance à un nombre que j’aurais figé.
Une seule contrepartie, et sinon des dons
Il n’y a pas d’échelle de paliers, pas de goodies, pas de file d’accès anticipé. Presque tout ce que la campagne finance — le portage, l’outillage, la vérification — est publié sous licence ouverte à mesure qu’il est écrit, donc cela vous parvient que vous ayez payé ou non. Facturer un accès échelonné à un travail déjà public serait du théâtre.
Don
L’option par défaut, et ce que devrait être l’essentiel du soutien. Cela achète du calcul : l’inférence pour les fichiers que les passes déterministes n’ont pas pu clore, et les exécutions de vérification qui les contrôlent.
- Finance le portage directement, sans prélèvement pour des contreparties
- Tout ce qui en sort est public sous AGPL-3.0+ dans tous les cas
- Pas de palier, pas de classement, pas de contrepartie — et aucun sous-entendu
Demander une fonctionnalité
Nommez quelque chose que vous voulez voir ParanoidBSD faire, et ce sera construit — cadré honnêtement avec vous d’abord, pour que personne ne paie dix mille dollars pour une chose qui s’avère impossible ou déjà prévue.
- Une fonctionnalité de votre choix, spécifiée avec vous avant tout engagement
- Écrite sous les mêmes contrôles de vérification que le reste — aucun raccourci parce que c’est payé
- Publiée en open source comme le reste de l’arbre
- Un compte rendu écrit du déroulement du travail, y compris s’il s’est mal passé
- Livraison estimée en décembre 2027, expédition partout — c’est du logiciel
Ce que le financement change
Inventaire, passes déterministes, moteur à agents, chaîne de vérification, suivi de provenance. Dans le dépôt dès maintenant.
Portage de bin/ et usr.bin/ par lots cadrés, contrôlés par vérification différentielle. Le rythme est limité par le calcul disponible.
Le noyau de capacités et de descripteurs, C++23 autonome, sous la spécification de l’ABI noyau.
KDE Plasma 6, KWin et les frameworks intégrés sur la base portée.
Des compilations installables qu’une autre personne que l’auteur peut exécuter.
Ce qui pourrait mal tourner
Kickstarter exige une section risques. Celle-ci est écrite pour être réellement utile.
Le portage pourrait caler sur des fichiers difficiles
Les tarifs des fournisseurs pourraient bouger
C’est une seule personne
Un portage d’OS assisté par IA appelle un scepticisme justifié
Un logiciel de sécurité venant d’une source non auditée
Lisez le code, puis décidez
Tout ce qui est affirmé sur cette page est vérifiable aujourd’hui. L’outillage, les contrôles, les enregistrements de provenance et les journaux de migration sont publics. Lisez-les d’abord — soutenir un portage que vous n’avez pas inspecté est exactement l’erreur contre laquelle ce projet argumente.