Posts

  • Better hunk headers for markdown in git

    When you make many changes throughout a file, git will group them in, so called, “hunks”. Typically, the changes of a single hunk will all occur within a single function. For C-like files git is intelligent enough to add a line at the top of the hunk (after @@...@@) that shows you the name of the function. Git finds out the name of the function with a regex defined for the type of the edited file. Git comes with many predefined regexes (even fo LaTeX). Unfortunately there is no predefined regex for markdown files.

  • 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 θ(n log(n)) sorting.

    A proof that sorting based on pair-wise comparison can not be done in less than θ(n log(n)) time in the general case.

  • An algorithm for generating a dungeon

    Basic idea

  • 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