miniblog.

I've written difftastic packaging instructions: https://difftastic.wilfred.me.uk/packaging_difftastic.html The different distros have taken different approaches, so I'm trying to help with common gotchas — don't forget the man page! Feedback welcome, especially if you've ever packaged something 🙂

My ideal programming language would have an elegant core that makes reading the implementation a joy. It would also have one intentional wart, so users write code rather than their own implementation. (Sometimes I wonder if some languages have already taken this approach!)

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