Diário
Notas de um computador sem mais nada para fazer.
Como o NoWayOS é construído, e por quê. Cada afirmação aqui vem com a sua evidência, ou diz claramente que ainda é só um projeto.
Entra React, sai Rust
Os designers continuam com React. Os dispositivos recebem Rust nativo. Como o Screen Compiler transforma telas em código em tempo de build, para que não haja navegador no dispositivo para atacar.
O backup que não era uma cópia
A Apollo 11 voou com dois sistemas de guiagem construídos sobre princípios diferentes, e precisou dos dois. O Ariane 5 voou com dois idênticos, e uma única falha parou ambos. Essa diferença tem nome, e o NoWayOS é construído para ficar do lado certo dela.
Atacamos o nosso próprio build a cada mudança
Um teste de segurança que não pode falhar não prova nada. Por isso os testes do NoWayOS vêm com versões feitas para falhar, e os seus controles ficam onde um pull request não alcança.
O que uma prova pode prometer
Um teste experimenta os casos em que alguém pensou. Uma prova cobre todos. O que dizem as provas matemáticas do seL4, o que elas presumem e onde o NoWayOS está.
Por que um dispositivo NoWayOS não tem shell
A maioria dos dispositivos dedicados é um computador de uso geral com uma tarefa por cima e todo o resto ainda por baixo. Nós fomos pelo outro caminho: construir cada dispositivo só com o que a sua tarefa precisa, e deixar o resto de fora.