Essays Projects Talks Links
Standards
Cargo: RFC & PR
Languages
Design Principles:

Equality & Identity:
  1. Overview
  2. Problems
  3. Solution
  4. Fixing Haskell
  5. Fixing Rust
  6. Fixing Swift
Type Ascriptions & Generics
Naming Conventions:
  1. Creation
  2. Conversion
  3. Lookup
  4. Streaming
Syntax Comparisons/Overviews:
  1. Rigaux
  2. PLDB
  3. Hyperpolyglot
  4. Chlipala
Runtimes Domains as Cargo Namespaces
Interfaces
On ELF: Part 1 Part 2
Hardware Writing an OS in Rust
Scala
scala-enum
scala-java-time
SBS
Documentation
& Website Overhaul