soc.github.io

	Articles	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
Hardware	Keyboard Design USB-HID Protocol Evolution	Keyboard Build Keyboard Setup		Writing an OS in Rust
Languages	A Syntax Sweet Spot: Use `[]`, not `<>` for Generics Use `ident: Type`, not `Type ident` Unary Operators Implicit Numeric Conversions Package Objects Rust's `Into` in Scala Notes on Rust	Equality & Identity: Overview Problems Solution Fixing Haskell Implementation in Dora Comparing & Sorting Unified Condition Expressions: Introduction Implementation Exceptions	Language Simplification Value Types on the JVM Simplifying Scala Scala Puzzlers	Virtual Machines and Managed Runtimes Virtual Machines Summer School 2016 The Fascinating Influence of Cyclone Dynamic Linking and Interface Stability Semicolon Inference 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
Interfaces	Improving the XFCE Settings UI	Improving the Synaptic Package Manager UI Vertical Tabs in Firefox
Scala	Departure Retrospective Implicit Numeric Conversions Package Objects	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