Dreaming of The Perfect Computer

• Memory safe kernel written in Rust
• Rust is the primary application development language.
• Completely self hosting Rust compiler, enabled by replacing GGC binutils with Cranelift.
• GUI as beautiful as MacOS
• Open source Silicon - digital logic components design in Clash Haskell, with verification via Liquid Haskell, Coq, and Adga - at the type level.
• Auditable PHY firmware, needed for auditing for backdoors, see:
  1. Intel Management Engine
  2. Leaking Cryptographic Keys in SGX
• Cargo as package manager.
• No electron. Anywhere.

Current Work

Currently building FastWave, a VCD parser written in Rust intended to be the backend of a digital logic Waveform Viewer(built in egui). The waveform veiwer will support dynmically loading Rust code for analysis of loaded waveforms.