Guess I'll keep new stuff on top.
Should I date this stuff? And keep new things on top?

Guix is a cool operating system with great docs.

Algebraic data types sound really cool. And Haskell sounds like a fun language to teach programming in (though it is quite tricky to get the wording right for beginners).