Using Type-Level Programming in Rust to Make Safer Hardware Abstractionsblog.auxon.io 8pittma6y1 comment