Peut-être ce soir. Peut-être demain. Peut-être d'ici Noël 2027.
Peut-être juste après une dernière fonctionnalité.
Un système d'exploitation pour les yellow hats : construit de zéro en Rust, pour qui veut posséder sa machine jusqu'au métal nu. Il n'a pas encore de nom. Le domaine, si.
Tu veux savoir quand ce sera pour de vrai ?
Laisse ton e-mail. Un message pour vérifier que c'est bien toi, puis seulement de vraies nouvelles : le nom, la date, la première version que tu pourras lancer.
Pas de spam, désinscription en un clic. Ton adresse est verrouillée dès son arrivée, avec une clé qui permet à ce site de verrouiller, mais jamais de déverrouiller. Confidentialité
Ce qui se construit
C'est un système d'exploitation complet, pas un remix de Linux : son propre chargeur d'amorçage, son noyau, ses pilotes, sa pile réseau, son bureau et son navigateur, le tout écrit en Rust. Il a démarré un vrai PC portable de 2017, est allé en ligne avec son propre pilote Wi-Fi et a dessiné son propre bureau. Le noyau entier tient dans un seul fichier de moins de 5 Mo, et en test le bureau utilise moins de 20 Mo de mémoire : presque toute la machine reste disponible pour ce que tu lances. L'ordinateur obéit à la personne qui le possède.
- Chaque couche est neuve. Chargeur d'amorçage, noyau, USB, Wi-Fi, pile réseau, bureau et un navigateur qui n'exécute jamais de JavaScript, le tout en Rust.
- Bâti sur rien d'autre. Ce n'est ni Linux, ni Windows, ni une surcouche. Bâti à partir du métal nu, sans couches héritées en dessous.
- Silencieux par défaut. Rien ne part en ligne tant que tu ne le demandes pas. Lors d'un test en machine virtuelle, il n'a envoyé aucun paquet avant ta demande.
- Le jeu d'abord. Le programme que tu utilises prend la machine ; boutiques, extras et utilitaires s'effacent. Déjà prouvé dans notre mode jeu sous Linux.
- Un gouverneur IA qui te rend des comptes. Prévu : tu fixes les règles, il conseille et les fait respecter, et le bouton d'arrêt est placé en dehors de lui.
- Des règles qui grandissent, sans jamais pourrir. Quand une vérification rate quelque chose, on ajoute une règle. Rien n'est réécrit en douce, et aucun modèle d'IA ne décide seul.
- Chaque programme dans sa propre pièce. Prévu : une porte par programme. Une première version légère tourne déjà dans une machine virtuelle.
- Des étiquettes honnêtes. Chaque résultat ci-dessous dit où il a tourné : un vrai PC portable, une machine virtuelle ou un prototype Linux.
- yellow hat nom · litt. « chapeau jaune »
- Ingénieur souverain de la récup, qui prend le contrôle de ce qu'il possède jusqu'au métal nu, quel qu'il soit.
Journal de chantier : ce qui est déjà construit
Chaque ligne dit où ça a tourné : sur un vrai PC portable, dans une machine virtuelle ou comme prototype Linux. Rien ne compte tant qu'il n'y a pas un log, une photo ou un test derrière.
- 402 msdu chargeur à la console du noyau, au premier démarrageSur un vrai PC portable
- Moins de 5 Mole noyau entier, bureau, navigateur et pilotes comprisFichier de build
- 1,1 sdu chargeur à un bureau prêtDans une VM
- Moins de 20 Mode mémoire utilisée, bureau affichéDans une VM
- 31 sur 31autotests réussis sur son propre bureauSur un vrai PC portable
- 456 670 octetsd'un vrai site web, récupérés en TLS 1.3 par nos propres pilote Wi-Fi, pile réseau et navigateurSur un vrai PC portable
- Sur un vrai PC portable
Premier démarrage en pur Rust
Le 29 septembre, notre chargeur et notre noyau en Rust ont démarré un PC portable Lenovo de 2017, avec une console 0,4 seconde après le lancement du chargeur. Photographié.
- Sur un vrai PC portable
Son propre bureau, 31 sur 31
Un bureau classique avec des fenêtres, un terminal et une boutique, chaque pixel dessiné par notre propre code. 31 autotests sur 31 réussis le 2 octobre.
- Sur un vrai PC portable
Son propre Wi-Fi et un web sécurisé
Notre pilote Wi-Fi en Rust a rejoint un réseau WPA2, et notre navigateur a chargé un vrai site web en TLS 1.3 sans exécuter le moindre JavaScript.
- Sur un vrai PC portable
Câble de labo et redémarrage à distance
Le 30 octobre, le PC portable a diffusé son journal de démarrage par Ethernet sur USB-C, obéi à des commandes signées et redémarré sur commande, de retour en 18 secondes environ.
- Prouvé en VM
Noyau propre, reconstruit octet par octet
La base du 14 octobre se reconstruit depuis les sources à l'octet près, et réussit les 46 autotests intégrés.
- Prouvé en VM
Écran et clavier à distance
Voir l'écran et taper dessus depuis l'établi, par le câble, ça marche en machine virtuelle. Le vrai PC portable, c'est la prochaine étape.
- Prouvé en VM
Applis signées, installées en mémoire
La boutique a installé une calculatrice et un agenda signés, en mémoire uniquement. L'agenda a demandé l'horloge. Refusé.
- Prouvé en VM
Un garde-fou USB fondé sur des règles
Des règles fixes bloquent tout clavier fraîchement branché jusqu'à ton accord, et signalent une frappe inhumaine. Aucun modèle d'IA dedans.
- En cours
Graphique : le plus dur
Les pilotes graphiques sont la partie la plus difficile de tout OS. Notre pilote Intel réussit 135+ tests sur l'établi et en VM, mais n'a encore allumé aucune vraie puce. NVIDIA : recherche uniquement.
- Prototype Linux
Radio, télé, livres et jeux
Des applis dans la barre du haut de notre PC portable de dev : 315 stations de radio, des chaînes de télé gratuites, 181 livres audio et émissions gratuits, et une étagère de jeux, en attente de leur reconstruction en Rust.
- Prototype Linux
Suggestions privées, sans réseau
Un moteur « Pour toi » apprend de tes j'aime et de ton vrai temps d'écoute, garde un seul fichier réservé au propriétaire et ne peut ouvrir aucune connexion réseau.
- Prototype Linux
Mode jeu
Donne toute la machine au jeu. Dans une partie complète à huit joueurs, l'appli de la boutique est restée rétrogradée dans 407 échantillons sur 407.
- Prototype Linux
Notre propre moteur d'IA
Un moteur en Rust sans aucune dépendance a fait tourner deux petits modèles de langage ouverts sur le processeur d'un PC portable de 2017, avec une sortie identique à la référence.
- Prévu
Le gouverneur IA
Tu fixes les règles, il conseille et les fait respecter dans ce cadre, et le bouton d'arrêt est placé en dehors de lui. Aucun code du gouverneur ne tourne encore.
- Prévu
Bots booléens
De minuscules vérificateurs de règles qui répondent oui ou non, sans modèle d'IA dedans : même entrée, même réponse, à chaque fois. Le garde-fou USB à règles fixes est ce qui s'en rapproche le plus pour l'instant.
- Prévu
Des pièces fermées pour chaque appli
Chaque programme dans sa propre pièce, avec une seule porte, pour qu'une mauvaise appli ne puisse pas atteindre le reste.
Comment on construit
- S'entraîner sur LinuxConstruire l'idée sous forme de programme qui marche sur notre PC portable Linux de tous les jours, et vivre avec d'abord.
- Tout écrire deux foisPour chaque mur et chaque appli : comment ça marche sous Linux, et exactement comment marchera la version Rust.
- Rust, d'abord en machine virtuelleL'écrire à neuf en Rust et le prouver en machines virtuelles. Une VM, c'est le camp d'entraînement, pas le vrai terrain.
- Le prouver sur un vrai PC portableDes logs ou des photos, sinon ça n'a pas eu lieu. Tout ce qui a marché un jour n'est jamais effacé.
- Salle blanche pour le code des autresL'original est décrit avec des mots simples, le Rust est écrit par quelqu'un qui ne l'a jamais vu, et une vérification séparée les tient à distance.
Des mugs pour le chantier
Trois motifs pour la première fournée, dessinés maison. Les visuels peuvent changer avant l'expédition. Le café reste chaud.
Tu veux précommander en premier ?
Réserve ta place avec ton e-mail : on te fait signe dès l'ouverture des précommandes. Aucun paiement maintenant.
Un seul e-mail à l'ouverture des précommandes. Ton adresse est verrouillée dès son arrivée.
Joue en attendant
Bare Metal : tu es une étincelle qui file sur les pistes de cuivre d'un circuit imprimé. Attrape les puces, esquive les cadenas. Le serveur vérifie chaque partie selon les règles du jeu, et chaque score enregistré est signé : le classement ne peut pas être truqué.
Selon toi, ça sort quand ?
Choisis. Tu reçois un ticket signé, chaîné par SHA-256 à tous les pronostics avant le tien. Il prouve que tu l'as dit. Il ne prouve rien d'autre.
Demande à la corneille
La corneille du site. Casque de chantier, plume en point d'interrogation, pas encore de nom. Elle sait ce que l'équipe a mis par écrit, elle cite les Écritures quand ça lui chante, et elle va tout faire pour te convaincre de nous suivre.
En direct du chantier
- Estimations signées
- 0
- Tickets de pronostic
- 0
- Parties jouées
- 0
- Questions à la corneille
- 0
- En attente de l'e-mail
- 0
Chiffres comptés en direct par le site lui-même. La vraie date de lancement, d'après le coffre-fort : ¯\_(ツ)_/¯