- SeL4 Specification and Proofs
- Tetrisssss
- Elimination of programmers
- Google Announces KataOS and Sparrow
- Thoughts on the Rascal meta-programming language
- Formal verification of folklore and miscellaneous results in number theory
- Formally Proven Binary Format Parsers
- ELMO.BAS, a drawing of a stick figure
- The intro theme for both GORILLA.BAS and NIBBLES.BAS in QBasic
- Proofs and specifications
- Proofs and specifications
- Proofs and specifications
- Proofs and specifications
- On Hubris and Humility: developing an OS for robustness in Rust [video]
- Black-box transactional safety checker based on cycle detection
- Black-box transactional safety checker based on cycle detection
- Black-box transactional safety checker based on cycle detection
- Elle, the New Tool from Aphyr
- State in a smartphone: Inside Ukraine’s effort to replace bureaucracy with an app
- how to read bytes from stdin in a j script?
- I'm a freelancer and I've got a customer who is asking for USB driver for a new device. They want it written in c++ and I said I'd only consider creating and supporting it if it was written in Rust. 🤷♂️