Robust HTML parsing the Groovy way
With Groovy, it’s very easy to parse XML data and extract arbitrary information. This works great as long as the input data is well-formed, but you can’t always guarantee that in real-world scenarios. Think of extracting data from HTML pages. They are very often a mess when it comes to XML validity and that’s where [...]
Using WordPress as URL redirection service
Redirection is a WordPress plugin that let’s you add URL redirections to your blog. This is very useful if the addess of some or even all of your blog posts changed. The setup is straight forward: just enter source and target URL and the redirection is set up. The more advanced users can even add redirections [...]
Using GMail as one and only Inbox
If you’re like me, then you’ve got lots of different mail accounts. As nice as this may be to reduce spam and to always have the right address for any opportunity, as annoying it is when it comes to checking your mail “on the road”. It results in visiting several webmail sites which is really [...]
Create RSS feeds with PHP
RSS is a format for publishing frequently changing content like news, a list of blog posts or directories. Using RSS readers like Google Reader or Apple Mail, you can read all your daily information at one place, offering a much better overview and faster processing than visiting every single website. An RSS feed from the [...]
Easy file sharing using dropbox
Dropbox is an easy way to synchronise your files across computers. First of all, it offers a web based interface where you upload files and store them in your account. Additionally you can install client software on Mac OS X, Linux or Windows, that creates a special dropbox folder on your computer. As soon as you [...]
Add book price comparison to Amazon
I wrote a small Greasemonkey-Script, that adds links to the most famous German book price comparisons to the Amazon website.