Index

	Essays	Projects	Talks	Links
Standards	Defending `$HOME` XDG Migration Status	directories-jvm directories-rs & dirs-rs GNU Nano Coursier Cargo: RFC & PR	directories: a tiny library that might help you	Unicode & Character Sets Path handling on Windows Falsehoods about paths Calendrical calculations
Languages	Design Principles: Modern & Minimal Familiarity Easy wins: Useful Syntax Sugar Use `[]`, not `<>` for Generics Use `ident: Type`, not `Type ident` Use consistent casing Use consistent keyword length Simplicity matters: Unary Operators are Unnecessary Binary Operators are Overused Annotations Obsolete Modifiers Failed Attempts Drop `break` and `continue` Fields & Methods & Properties? Pick Two! Mistakes were made: Popular, but Wrong Implicit Numeric Conversions Package Objects Notes on Rust Rust compatibility: Time to wind down Rust feature development The lower bar of a hypothetical Rust 2.0	✨ The Core Language ✨ About Manifesto Equality & Identity: Overview Problems Solution Fixing Haskell Fixing Rust Fixing Swift Comparing & Sorting Unified Condition Expressions: Introduction Implementation Exceptions Comparison with Rust Type Ascriptions & Generics Naming Conventions: Creation Conversion Lookup Streaming Unions	Language Simplification Simplifying Scala Scala Puzzlers	Linear Address Masking Minimalism in Programming Language Design 10 Most(ly dead) Influential Programming Languages 7 programming ur-languages Wirth Evolution: Pascal Modula-2 Oberon Memories: Edinburgh ML to Standard ML My thoughts on OCaml Almost Rules in Rust Swift Regrets Compiling Swift Generics^pdf Impoliteness of Overriding Cyclone's Fascinating Influence Dynamic Linking and Interface Stability Semicolon Inference Shift Larger Than Register Size Syntax Comparisons/Overviews: Rigaux PLDB Hyperpolyglot Chlipala Type classes: confluence, coherence & global uniqueness Semantics of Dependency Resolvers In Praise of Mandatory Indentation Extreme Cleverness: Functional Data Structures Living in a Post-Functional World
Runtimes	Domains as Cargo Namespaces	Efficient Memory Use: Pointer Compression Header Compression	Value Types on the JVM	Virtual Machines and Managed Runtimes Virtual Machines Summer School 2016 How JIT Compilers are Implemented and Fast JVM Anatomy Quarks Pointer Compression in V8 Cranelift Backend: Instruction Selection Compiler Efficiency Correct Register Allocation A New Register Allocator
Interfaces	x86 prefix & escape flowchart Improving the XFCE Settings UI	Improving the Synaptic Package Manager UI Vertical Tabs in Firefox		Hybrid Dynamic/Static Linking Dynamic Linking in Swift αcτµαlly pδrταblε εxεcµταblε C Isn't A Language Anymore To Save C, We Must Save ABI The Day The Standard Library Died Your ABI is Probably Wrong Kinds Are Calling Conventions^pdf Ghosts of Unix Past: Design patterns Conflated designs Unfixable designs High-maintenance designs On ELF: Part 1 Part 2
Hardware	Keyboard Design USB-HID Protocol Evolution	Keyboard Build Keyboard Setup		Writing an OS in Rust RISC-V: The Middling/Bad/Ugly
Scala	Departure Retrospective Implicit Numeric Conversions Package Objects Rust's `Into` in Scala	scala-enum scala-java-time SBS Documentation & Website Overhaul	Language Simplification Compiler Hacking Value Types on the JVM Simplifying Scala Scala Puzzlers	We're Doing It All Wrong Scala Collections: Why Not? psp collections: views and more The Last Hope for Scala's Infinity War