Home
Welcome on Dev Musings. Here are my ramblings about free open-source software, high-tech gadgets and (mostly functional) programming.
Photon Compiler Development: Polymorphism
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.
DokuWiki: Remove Media Files from Feed
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 pages, media or both. It defaults to both. If you replace feed.php with 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 both into pages in the feed.php file.
Sorry for the Mess in Feed
If you follow this blog through its feed, you may have noticed massive occurrences of non-post related entries. This is due to an upgrade of DokuWiki which added media file revisions (which are now added to the feed by default).
I deactivated media revisions until I find a solution to this problem.
Photon Compiler Development: Monomorphic Type Inference
This is the 16th 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 type inference for monomorphic types.
Create your own Firefox Search Plugins
You didn't found a search plugin for a service you use often and are tired of first going to the service search form or typing your search terms directly in the URL? Here's how to add your own custom search plugins in two minutes.
