Financia el cómputo que termina ParanoidBSD
El port está en marcha. Las herramientas deterministas están escritas, los controles de verificación están puestos y el motor de migración funciona. Lo que falta es el cómputo de inferencia y verificación para llevarlo por los archivos que quedan — que es exactamente la razón de ser de esta campaña.
Las aportaciones se hacen íntegramente en Kickstarter. Este sitio no recoge datos de pago, no pone cookies y no lleva rastreadores. La campaña es todo o nada: si no alcanza su objetivo antes del 12 de noviembre de 2026, no se cobra nada a nadie.
Por qué esto necesita dinero, y por qué necesita esta clase de dinero
Portar un BSD endurecido a C++23 es una década de trabajo a tiempo completo hecho a mano. También es justo el tipo de tarea en que un modelo de lenguaje resulta de verdad útil — traducción mecánica con una especificación estricta contra la que comprobar, que es casi el mejor caso posible para esta tecnología.
El diseño ya lo refleja. Las pasadas de reescritura determinista se ocupan de todo lo que pueden con seguridad, gratis. Los modelos se usan solo sobre el residuo: entradas de inventario sin resolver y los archivos que las pasadas deterministas rechazaron. Después, cada salida del modelo pasa por compilación, ASan, UBSan, ejecución diferencial y una comparación al nivel de la representación intermedia (IR) del compilador antes de contar.
Esa verificación no es opcional y no es barata. Cada archivo se intenta, se comprueba, a menudo se rechaza y se reintenta. El coste está en el bucle, no en una sola pasada — y el bucle es lo que convierte la salida de un modelo en algo que un sistema operativo centrado en seguridad puede publicar de verdad.
- 4.786 módulos de C++23 escritos a mano — unas 352.000 líneas — tras un control de compilación que pasa en verde
- Herramientas de inventario que puntúan cada archivo fuente en C
- Pasadas deterministas de reescritura, niveles 0–4
- El motor de port con agentes, con grupos de trabajadores y escalado
- Controles de verificación de compilación, sanitizadores, diferencial e IR
- Seguimiento de procedencia, para que los límites de licencia sigan siendo auditables
- El diseño del núcleo de capacidades y la especificación de la interfaz binaria de aplicación (ABI) de C++ del kernel
Todo eso está hoy en el repositorio, bajo licencia abierta, se financie o no esta campaña. Puedes comprobar cada afirmación de esta página contra el código antes de decidir nada.
El modelo de presupuesto, con las hipótesis a la vista
La mayoría de los presupuestos de micromecenazgo son un gráfico de tarta con números redondos. Esto es el modelo real: cambia cualquier hipótesis y mira cómo se mueve el total. Los valores por defecto son estimaciones de planificación, marcadas claramente como tales — no son precios ofertados ni costes medidos.
pbsd — modelo de coste del port
Alcance
Por intento
Tarifas del proveedor — ponlas al precio actual de tu proveedor
A dónde va
Son estimaciones de planificación. Los recuentos de archivos, las tasas de intentos y los volúmenes de tokens son suposiciones informadas a partir de los registros de migración, no cifras auditadas. Las tarifas de los proveedores cambian sin parar — los campos de arriba son editables precisamente porque no deberías fiarte de un número que yo haya dejado fijo.
Una sola recompensa, y por lo demás donaciones
No hay escalera de niveles, ni artículos de merchandising, ni orden de acceso anticipado. Casi todo lo que financia la campaña — el port, las herramientas, la verificación — se publica bajo licencia abierta a medida que se escribe, así que te llega hayas pagado o no. Cobrar por el acceso escalonado a un trabajo que ya es público sería puro teatro.
Donación
La opción por defecto, y lo que se espera que sea casi todo el apoyo. Compra cómputo: inferencia para los archivos que las pasadas deterministas no pudieron cerrar, y las ejecuciones de verificación que los controlan.
- Financia el port directamente, sin nada que se vaya en recompensas
- Todo lo que produce es público bajo AGPL-3.0+ en cualquier caso
- Sin niveles, sin ranking, sin recompensa — y sin insinuarlos
Pide una función
Di algo que quieras que ParanoidBSD haga, y se construye — con el alcance acordado contigo antes, para que nadie pague diez mil dólares por algo que resulta ser imposible o que ya estaba previsto.
- Una función que tú elijas, especificada contigo antes de cualquier compromiso
- Escrita bajo los mismos controles de verificación que todo lo demás — sin atajos por estar pagada
- Publicada como código abierto igual que el resto del árbol
- Un relato escrito de cómo fue el trabajo, incluso si fue mal
- Entrega estimada en diciembre de 2027, envío a cualquier parte — es software
Qué cambia con la financiación
Inventario, pasadas deterministas, motor con agentes, cadena de verificación, seguimiento de procedencia. Ya en el repositorio.
Portando bin/ y usr.bin/ en lotes acotados, controlados por verificación diferencial. El ritmo lo limita el cómputo disponible.
El núcleo de capacidades y descriptores, C++23 independiente, bajo la especificación de la ABI de kernel.
KDE Plasma 6, KWin y los frameworks integrados sobre la base portada.
Compilaciones instalables que pueda ejecutar alguien que no sea el autor.
Qué puede salir mal
Kickstarter exige una sección de riesgos. Esta está escrita para ser realmente útil.
El port podría atascarse en archivos difíciles
Los precios de los proveedores podrían moverse
Esto es una sola persona
Un port de un sistema operativo asistido por IA invita a un escepticismo justificado
Software de seguridad de una fuente sin auditar
Lee el código y luego decide
Todo lo que se afirma en esta página se puede comprobar hoy. Las herramientas, los controles, los registros de procedencia y los registros de migración son públicos. Léelos primero — apoyar un port que no has inspeccionado es exactamente el error contra el que argumenta este proyecto.