How to implement random number generation and cosine for your NixOS configuration