Main content
Essays Projects Links More Links
Standards
📂 The Dirs Project 📂
Languages
Design Principles:
Easy wins:
Simplicity matters:
Mistakes were made:
Rust compatibility:
✨ The Core Language ✨

Equality & Identity:
  1. Overview
  2. Problems
  3. Solution
  4. Fixing Haskell
  5. Fixing Rust
  6. Fixing Swift
Unified Condition Expressions:
  1. Introduction
  2. Implementation
  3. Exceptions
  4. Comparison with Rust
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
Efficient Memory Use:
  1. Pointer Compression
  2. Header Compression
Cranelift Backend:
Interfaces
Ghosts of Unix Past:
  1. Design patterns
  2. Conflated designs
  3. Unfixable designs
  4. High-maintenance designs
On ELF: Part 1 Part 2
Hardware