For example this is amazing for security:
https://github.com/bitcoin/bitcoin/tree/master/contrib/guix
Oh boy if only a language supported it!

I know! Let's see what can be done in Rust... oh no! We only have one rust
compiler!!!!!!!

My security is compromised becausehttps://www.cs.cmu.edu/~rdriley/487/papers/Th
ompson_1984_ReflectionsonTrustingTrust.pdf