• Reading markdown like a man

    A command line tool to read Markdown files in the Linux manual reader.

  • Pony capabilities

  • Dining ponies

    In this blog post we implement a version of dining philosophers problem in Pony. Wikipedia states the problem as follows:

  • mysqlimport form pipe

    Loading data form a pipe into a MySQL database can be done with ... | mysql db -e "LOAD DATA LOCAL INFILE '/dev/stdin' INTO TABLE tbl"

  • Getting rid of your display mananger

    Use startx to start your window manager rather than using a display manager like gdm, lightdm or …

  • Creating your own git mergetool

    Create your own git mergetool for encrypted files or your own binary formats.

  • Using SVG fragments

    There is a way to make image.svg#1 and image.svg#2 point to a variant of the same image.

  • Why we are happy with \theta(n \log(n)) sorting.

    Sorting is a very important problem in computer science. A well known conclusion is that good sorting algorithms run with a time-complexity of \theta(n \log(n)). That is if the sorting is based on pair-wise comparison of objects. The neat thing is that we can proof that any sorting algorithm based on pair-wise comparisons runs in \Omega(n \log(n)) time.

  • An algorithm for generating a dungeon

    Basic idea

    The basic idea of the generator is to start at the center and iteratively add a square adjacent to the current square. If the algorithm gets stuck it restarts from a random other square that has been added to the dungeon. This algorithm is essentially Prim’s Randomized maze algorithm.

  • Providing access to a command line app trough HTTP with node.JS

    I often create little bash/C/obscure other language/… programs that I like to share, However,these programs are often not made to be hooked up to the Internet. So I use this script to create a quick web interface for my program and put it up on some cheap server.

  • Map a sub domain to localhost:port with httpd

    This post will show you how to link a sub domain to an application running on your server at a certain port.

subscribe via RSS