miniblog.

I've seen some programming languages claim to be purely functional, but Coq has taken it to another level. This hello world tutorial *installs a third party library* so you can do IO! https://coq-blog.clarus.me/tutorial-a-hello-world-in-coq.html

If you download an Emacs source tarball, it comes with .elc files so you don't need to byte compile anything. This enables you to compile the remaining (much smaller) C parts quickly: I've seen installs take under a minute!

'yarn create foo' automatically installs create-foo, so users don't need globally install the correct tools: https://yarnpkg.com/blog/2017/05/12/introducing-yarn/ (neat!)