Using Type-Level Programming in Rust to Make Safer Hardware Abstractions | Hacker News Reader