Financie a computação que termina o ParanoidBSD
O porte está andando. As ferramentas determinísticas estão escritas, os controles de verificação estão no lugar e o motor de migração funciona. O que falta é a computação de inferência e verificação para atravessar os arquivos restantes — que é exatamente a razão de existir desta campanha.
As contribuições acontecem inteiramente no Kickstarter. Este site não recebe dados de pagamento, não usa cookies e não roda rastreadores. A campanha é tudo ou nada: se não atingir a meta até 12 de novembro de 2026, ninguém é cobrado.
Por que isto precisa de dinheiro, e por que precisa deste tipo de dinheiro
Portar um BSD endurecido para C++23 é uma década de trabalho em tempo integral feito à mão. É também exatamente o tipo de tarefa em que um modelo de linguagem é genuinamente útil — tradução mecânica com uma especificação rígida para conferir, o que é quase o melhor caso possível para a tecnologia.
O desenho já reflete isso. As passagens determinísticas de reescrita tratam tudo o que podem tratar com segurança, de graça. Os modelos são usados só no resíduo: entradas de inventário deixadas como esboço e os arquivos que as passagens determinísticas recusaram. Toda saída de modelo passa então por compilação, ASan, UBSan, execução diferencial e uma comparação no nível da Representação Intermediária (IR) do compilador antes de contar.
Essa verificação não é opcional e não é barata. Cada arquivo é tentado, conferido, muitas vezes rejeitado e tentado de novo. O custo está no laço, não numa única passagem — e é o laço que transforma a saída de um modelo em algo que um sistema operacional voltado a segurança pode de fato entregar.
- 4.786 módulos C++23 escritos à mão — cerca de 352.000 linhas — atrás de um controle de compilação que passa no verde
- Ferramentas de inventário que pontuam cada arquivo-fonte em C
- Passagens determinísticas de reescrita, níveis 0–4
- O motor de porte com agentes, com grupos de trabalhadores e escalonamento
- Controles de verificação de compilação, sanitizers, diferencial e IR
- Rastreio de procedência, para que os limites de licença sigam auditáveis
- O projeto do núcleo de capacidades e a especificação da Interface Binária de Aplicação (ABI) de kernel C++
Tudo isso está no repositório agora, sob licença aberta, com ou sem esta campanha. Você pode conferir cada afirmação desta página no código antes de decidir qualquer coisa.
O modelo de orçamento, com as premissas à mostra
A maioria dos orçamentos de financiamento coletivo é um gráfico de pizza com números redondos. Este é o modelo de verdade: mude qualquer premissa e veja o total se mexer. Os valores padrão são estimativas de planejamento, marcadas claramente como tais — não são preços cotados nem custos medidos.
pbsd — modelo de custo do porte
Escopo
Por tentativa
Tarifas do provedor — ajuste para o preço atual do seu provedor
Para onde vai
Estas são estimativas de planejamento. As contagens de arquivos, as taxas de tentativa e os volumes de tokens são palpites informados pelos registros de migração, não números auditados. As tarifas dos provedores mudam o tempo todo — os campos acima são editáveis exatamente porque você não deveria confiar num número que eu tivesse fixado.
Uma recompensa só, e no resto doações
Não há escada de níveis, nem produtos, nem fila de acesso antecipado. Quase tudo o que a campanha financia — o porte, as ferramentas, a verificação — é publicado sob licença aberta conforme é escrito, então chega até você tendo pago ou não. Cobrar por acesso escalonado a um trabalho que já é público seria teatro.
Doação
O padrão, e o que se espera que seja a maior parte do apoio. Compra computação: inferência para os arquivos que as passagens determinísticas não conseguiram fechar, e as execuções de verificação que os controlam.
- Financia o porte diretamente, sem nada descontado para recompensas
- Tudo o que produz é público sob AGPL-3.0+ de qualquer forma
- Sem nível, sem ranking, sem recompensa — e nada disso insinuado
Peça uma funcionalidade
Diga algo que você quer que o ParanoidBSD faça, e será construído — com o escopo acertado com você antes, para que ninguém pague dez mil dólares por algo que se revele impossível ou já planejado.
- Uma funcionalidade à sua escolha, especificada com você antes de qualquer compromisso
- Escrita sob os mesmos controles de verificação que todo o resto — sem atalho por ser paga
- Publicada como código aberto igual ao resto da árvore
- Um relato escrito de como o trabalho foi, inclusive se foi mal
- Entrega estimada em dezembro de 2027, envio para qualquer lugar — é software
O que o financiamento muda
Inventário, passagens determinísticas, motor com agentes, linha de verificação, rastreio de procedência. Já no repositório.
Portando bin/ e usr.bin/ em lotes delimitados, controlados por verificação diferencial. O ritmo é limitado pela computação disponível.
O núcleo de capacidades e descritores, C++23 independente, sob a especificação da ABI de kernel.
KDE Plasma 6, KWin e os frameworks integrados sobre a base portada.
Builds instaláveis que outra pessoa além do autor consiga rodar.
O que pode dar errado
O Kickstarter exige uma seção de riscos. Esta foi escrita para ser realmente útil.
O porte pode empacar em arquivos difíceis
Os preços dos provedores podem mudar
Isto é uma pessoa só
Um porte de SO assistido por IA convida a um ceticismo justificado
Software de segurança de uma fonte não auditada
Leia o código e então decida
Tudo o que se afirma nesta página pode ser conferido hoje. As ferramentas, os controles, os registros de procedência e os logs de migração são todos públicos. Leia primeiro — apoiar um porte que você não inspecionou é exatamente o erro contra o qual este projeto argumenta.