Welcome on Dev Musings. Here are my ramblings about free open-source software, high-tech gadgets and (mostly functional) programming.
The list of topics in the sidebar is generated using a small plugin of mine, which is an addition to the Tag plugin. This is one thing I like the most about DokuWiki: it is simple and well-documented, so that it is easily extensible!
In my opinion, this should be integrated directly into the tag plugin, which is why I did not plublished it directly to the DokuWiki plugin index. I'll propose that to the tag plugin authors when I'll find the time. Feel free to do so yourself if you want to speed it up. In the mean time, here it is.
I do not use QuickCheck++ on a regular basis anymore (as I am not using C++ on a regular basis anymore), but I continue to receive some decent amount of feedback about it. It is amazing for me to see how such a simple library has attracted that amount of attention. I will continue to update it as long as there is interest or until someone else takes the leader role (I will gladly hand it over to anyone interested to maintain it).
The next logical step would be to rewrite the library using variadic templates (C++11), which are only emulated up to 5 property arguments at the moment. Someone told me he has some code for that, I will get in touch and see if we can roll that soon.
This is the 17th article of a series (table of contents) about compiler development with LLVM using OCaml. We intend to develop a compiler for a subset of OCaml large enough to allow our compiler to compile itself.
In this article, we implement polymorphism, both for the type inference process and for the compilation itself.
After upgrade to Angua, my feed was overfilled with numerous entries for media files. How to prevent them from appearing in the feed?
One way is to disable media revisions. However, these may be useful so it is a bit too drastic.
I found an alternative way. There is an undocumented new parameter to
feed.php which control what appears inside it:
view can be one of
both. It defaults to
both. If you replace
feed.php?view=pages, you obtain the old (sane) behavior back.
If you already have a lot of people subscribed to the old URL (without
view, i.e. with
view=both), you can arrange this through URL rewriting, or by modifying the default from
pages in the