Rust is taking the software world by storm and offers incredible safety guarantees. Could Bluespec do the same for the hardware world?

I want to get started with Bluespec, but don't know where to begin.

How can we find all rational points on an elliptic curve?

My thoughts on various programming languages.

Exploring the Appeal of Old Tech