Development – Suprisingly simple steps in the right order
with full reproducible example
I had an interview for which I created a GIT repo, but I wanted to import it into my personal monolyth SVN repo. Read More ›
Android Development – Spoiler alert: not available out of the box
A saga of finding out, that I can't use them without external dependencies.
I wanted to do a simple check to see whether Xalan’s extension functions are available. This would’ve helped speeding up an XML-to-CSV transformation a bit. Read More ›
Web Development – Cheat sheet for formatting tags
All-in-one visual medley of most formatting options I use in markdown on this website.
I created this blog more than half a year ago and a lot of convetion I tried to introduce was lost in memory. This document will help to remember what’s possible and how it will look like. Read More ›
Web Development – Make developing a website easier
Have you ever found that Jekyll or one of its components is lacking a feature?
Jekyll is nice if you like the defaults, but as soon as you start customizing you run into walls. Here are some tips to make it less painful. Read More ›
Android Development – Detailed walkthrough
The Android operating system does a thread dump whenever it receives SIGQUIT signal. However you need an unlocked device to send that signal. Fear not, there’s a workaround to get the exact same thread dump with a little more effort on a production device with a debuggable application. Read More ›
Web Development – DRY principle in blogging
I wanted to share bookmarklets without duplicating the code to display and the code in href.I also wanted that a bookmarklet name link can be dragged to the bookmarks bar and then just work.This post describes how I included prettified and easily copiable bookmarklet code to my Blogger blog. Read More ›
Productivity – Hide purchases you didn't pay for
Google Play is providing a nice list of Orders, however I couldn’t care less about Free books app installations as My Orders.This little script loads the whole list and then removes all “Free” items, leaving you only the pricy ones: Google Play: Remove free Orders. Read More ›