To lighten up the serious discussions going on elsewhere at the moment, I would like to point out that today is the International Day of Mathematics, as proclaimed by the UNESCO!
If you’re having a break and want to do something fun, then e.g. check out the mini game SineRider about function graphs, which is also linked on their page. I know it’s not directly related to NixOS, but it’s also about functions. 
Or watch the Mathematics is Everywhere Worldwide Video (5 minutes).
Incidentally, the logo of the International Mathematical Union (which leads the IDM314 project) somehow reminds me of our own NixOS logo (maybe it’s the colors)… 
Have a great day, everyone!