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