Podría ser esta noche. Podría ser mañana. Podría ser para la Navidad de 2027.
Podría ser justo después de una función más.
Un sistema operativo para yellow hats: hecho desde cero en Rust para quienes quieren ser dueños de su máquina hasta el metal desnudo. Todavía no tiene nombre. El dominio, sí.
¿Quieres enterarte cuando sea real?
Deja tu correo. Un mensaje para confirmar que eres tú y después solo noticias de verdad: el nombre, la fecha, la primera versión que puedas ejecutar.
Sin spam y te das de baja con un clic. Tu dirección queda bajo llave en cuanto llega, con una llave con la que este sitio puede cerrar, pero nunca abrir. Privacidad
Qué se está construyendo
Es un sistema operativo completo, no un remix de Linux: su propio cargador de arranque, kernel, drivers, pila de red, escritorio y navegador, todo escrito en Rust. Ya arrancó una laptop real de 2017, se conectó a internet con su propio driver de Wi-Fi y dibujó su propio escritorio. Todo el kernel es un solo archivo de menos de 5 MB, y en las pruebas el escritorio necesita menos de 20 MB de memoria, así que casi toda la máquina queda libre para lo que tú ejecutes. La computadora obedece a quien la posee.
- Cada capa es nueva. Cargador de arranque, kernel, USB, Wi-Fi, pila de red, escritorio y un navegador que nunca ejecuta JavaScript, todo en Rust.
- No está montado sobre nada. No es Linux, ni Windows, ni una mano de pintura. Desde el metal desnudo hacia arriba, sin capas heredadas debajo.
- Silencioso de fábrica. Nada sale a internet hasta que tú lo pidas. En una prueba en máquina virtual, envió cero paquetes antes de que lo pidieras.
- El juego primero. El programa que estás usando se queda con la máquina; tiendas, extras y ayudantes se hacen a un lado. Ya está probado en nuestro modo juego en Linux.
- Un gobernador de IA que responde ante ti. Planeado: tú pones las reglas, él aconseja y las hace cumplir, y el botón de apagado queda fuera de él.
- Reglas que crecen y nunca se pudren. Cuando una verificación pasa algo por alto, se agrega una regla. Nada se reescribe en silencio, y ningún modelo de IA decide solo.
- Cada programa en su propio cuarto. Planeado: una puerta por programa. Una primera versión ligera ya funciona en una máquina virtual.
- Etiquetas honestas. Cada resultado de abajo dice dónde se ejecutó: una laptop real, una máquina virtual o un prototipo en Linux.
- yellow hat sustantivo, del inglés “casco amarillo”
- Ingeniero soberano de la chatarra que toma el control de lo que posee hasta cualquier metal desnudo.
Bitácora de obra: lo construido hasta ahora
Cada línea dice dónde se ejecutó: en una laptop real, en una máquina virtual o como prototipo en Linux. Nada cuenta hasta que haya un registro, una foto o una prueba que lo respalde.
- 402 msdel cargador a la consola del kernel en el primer arranqueEn una laptop real
- Menos de 5 MBtodo el kernel, con escritorio, navegador y drivers incluidosArchivo compilado
- 1.1 sdel cargador a un escritorio listoEn una VM
- Menos de 20 MBde memoria en uso en el escritorioEn una VM
- 31 de 31autopruebas superadas en su propio escritorioEn una laptop real
- 456,670 bytesde un sitio web real, descargados por TLS 1.3 con nuestro propio driver de Wi-Fi, pila de red y navegadorEn una laptop real
- En una laptop real
Primer arranque en Rust puro
El 29 de septiembre, nuestro propio cargador y kernel en Rust arrancaron una laptop Lenovo de 2017 y llegaron a una consola 0.4 segundos después de que iniciara el cargador. Hay foto.
- En una laptop real
Su propio escritorio, 31 de 31
Un escritorio clásico con ventanas, una terminal y una tienda, cada píxel dibujado por nuestro propio código. Superó 31 de 31 autopruebas el 2 de octubre.
- En una laptop real
Su propio Wi-Fi y una web segura
Nuestro driver de Wi-Fi en Rust se conectó a una red WPA2, y nuestro navegador cargó un sitio web real por TLS 1.3 sin ejecutar nada de JavaScript.
- En una laptop real
Cable de laboratorio y reinicio remoto
El 30 de octubre, la laptop transmitió su registro de arranque por Ethernet USB-C, obedeció comandos firmados y se reinició cuando se le ordenó; volvió en unos 18 segundos.
- Probado en una VM
Kernel limpio, reconstruido byte a byte
La base del 14 de octubre se recompila desde el código fuente con cada byte idéntico, y supera las 46 autopruebas integradas.
- Probado en una VM
Pantalla y teclado remotos
Ver la pantalla y escribir en ella desde el banco de trabajo a través del cable funciona en una máquina virtual. La laptop real es lo siguiente.
- Probado en una VM
Apps firmadas, instaladas en memoria
La tienda instaló una calculadora y un calendario firmados, solo en memoria. El calendario pidió el reloj y se lo negaron.
- Probado en una VM
Un guardián USB basado en reglas
Reglas fijas retienen cualquier teclado recién conectado hasta que lo apruebes y señalan el tecleo no humano. Sin ningún modelo de IA adentro.
- En curso
Gráficos: la parte difícil
Los drivers de gráficos son la parte más difícil de cualquier sistema operativo. Nuestro driver de Intel pasa 135+ pruebas en el banco de trabajo y en una VM, pero todavía no ha encendido un chip real. NVIDIA: solo investigación.
- Prototipo en Linux
Radio, TV, libros y juegos
Apps de la barra superior en nuestra laptop de desarrollo: 315 estaciones de radio, canales de TV gratis, 181 audiolibros y programas gratis, y un estante de juegos, esperando su reconstrucción en Rust.
- Prototipo en Linux
Recomendaciones privadas, sin red
Un motor “Para ti” aprende de tus “me gusta” y de tu tiempo real de escucha, guarda un único archivo al que solo accede su dueño y no puede abrir ninguna conexión de red.
- Prototipo en Linux
Modo juego
Le da al juego toda la máquina. En una partida completa de ocho jugadores, la app de la tienda se mantuvo relegada en 407 de 407 muestras.
- Prototipo en Linux
Nuestro propio motor de IA
Un motor en Rust sin dependencias ejecutó dos pequeños modelos de lenguaje abiertos en el procesador de una laptop de 2017, con una salida idéntica a la de referencia.
- Planeado
El gobernador de IA
Tú pones las reglas, él aconseja y las hace cumplir sin salirse de ellas, y el botón de apagado queda fuera de él. Aún no se ejecuta ningún código del gobernador.
- Planeado
Bots booleanos
Pequeños verificadores de reglas de sí o no, sin ningún modelo de IA adentro: misma entrada, misma respuesta, siempre. El guardián USB de solo reglas es lo más parecido que se ha construido hasta ahora.
- Planeado
Cuartos amurallados para cada app
Cada programa en su propio cuarto con una sola puerta, para que una app mala no pueda llegar al resto.
Cómo construimos
- Practicar en LinuxConstruir la idea como un programa que funcione en nuestra laptop con Linux de todos los días, y convivir con él primero.
- Escribirlo dos vecesPara cada muro y cada app: cómo funciona en Linux y exactamente cómo funcionará la versión en Rust.
- Rust, primero en una máquina virtualEscribirlo desde cero en Rust y demostrarlo en máquinas virtuales. Una VM es el entrenamiento, no el partido.
- Demostrarlo en una laptop realRegistros o fotos, o no pasó. Nada que haya funcionado alguna vez se borra jamás.
- Sala limpia para el código ajenoEl original se describe con palabras sencillas, el código en Rust lo escribe un constructor que nunca lo vio y una verificación aparte los mantiene separados.
Tazas para la obra
Tres diseños para la primera tanda, dibujados por nosotros mismos. El arte puede cambiar antes del envío. El café sigue caliente.
¿Quieres llegar primero a la preventa?
Anota tu correo y te avisamos en cuanto abra la preventa. Sin pagar nada por ahora.
Un correo cuando abra la preventa. Tu dirección queda bajo llave en cuanto llega.
Juega mientras esperas
Bare Metal: eres una chispa que recorre las pistas de cobre de una placa de circuito. Atrapa chips, esquiva candados. El servidor revisa cada partida según las reglas del propio juego, y cada puntaje guardado va firmado, así que la tabla no se puede falsificar.
¿Cuándo crees que sale?
Elige una. Recibes un boleto firmado, encadenado con SHA-256 a todos los pronósticos anteriores al tuyo. Prueba que lo dijiste. No prueba nada más.
Pregúntale al cuervo
El cuervo del sitio. Casco, pluma en forma de signo de interrogación, todavía sin nombre. Sabe lo que la cuadrilla ha dejado por escrito, cita las Escrituras cuando se le antoja y, sin duda, va a intentar convencerte de que nos sigas.
En vivo desde la obra
- Estimaciones firmadas
- 0
- Boletos de pronóstico
- 0
- Partidas jugadas
- 0
- Preguntas al cuervo
- 0
- Esperando el correo
- 0
Contado en vivo por el propio sitio. La fecha real de lanzamiento, según la bóveda: ¯\_(ツ)_/¯