A while ago a switched from using de.licio.us to using pinboard.in. I did it tentitively and decided that I should still keep a mirror of everything on del.icio.us. So I wrote a simple script to take what I posted on pinboard and post it to delicious. Someone reminded me of it today, so I figured I’d mention it here. If you’re interested in that type of thing, you can find it on github.