Clik here to view.
latexdiff-git: highlight changes between revisions of latex files managed in git
latexdiff is a useful tool to determine changes between different versions of latex files and highlight them in a pdf (similar to MS word does with tracking changes). latexdiff-git is a wrapper around...
View ArticleClik here to view.
Batch rename pictures of multiple recording devices to show date and time in...
Similar to sorting images into folders named after their date, we’re going to look at automatically renaming pictures – so that their names are based on timestamps they’ve been taken. This enables...
View ArticleClik here to view.
Equation puzzle solver: Python vs Prolog
Recently some of my friends and colleagues asked me: how is the logic-declarative language Prolog (I’ve been playing around with it) comparable – or not comparable – to typical, more well known...
View ArticleClik here to view.
Flower disk rotation puzzle solver: Python vs Prolog
This post is a followup to the Equation puzzle solver: Python vs Prolog. We again compare Python and Prolog, but look at a different problem: a disk rotation puzzle. The flower disk rotation puzzle The...
View ArticleClik here to view.
Jodici solver: Python vs Prolog
In the equation puzzle solver and the flower disk rotation puzzle we took a look at differences of solving problems in both Python and Prolog. In this followup post we look at Python vs Prolog again,...
View ArticleClik here to view.
Magic number board puzzle solver in Python
The magic number board puzzle is yet another equation puzzle (similar to the first equation puzzle or Jodici) – but has a notable larger solution space. A magic number board example The magic number...
View ArticleClik here to view.
Draught board puzzle / checkerboard puzzle solver in Python
The checkerboard puzzle or draught board puzzle (also called Krazee Checkerboard Puzzle, Banzee Island checkerboard puzzle, Zebas puzzle, etc.) is a mutilated chessboard problem, which further is a...
View ArticleClik here to view.
Data backups: diff, rdiff-backup etc.
diff: differences between source and destination folder Imagine you already some 1:1 backup, e.g. your data partition copied to a backup disk. You did that without using rdiff-backup or similar, just a...
View ArticleClik here to view.
Computer Vision: IM520 Class Report (fall 2011/summer 2012)
This short post deals with contents, assignments and solutions of the (very cool) IM520 computer vision class by FH-Prof. DI Dr. Wilhelm Burger at the Campus Hagenberg of the University of Applied...
View ArticleClik here to view.
Cracking RC4 messages that use weak RC4 reinitialization for each message part
This post deals with a short excerpt of a security and hacking related exercise at the University of Applied Sciences Upper Austria, Campus Hagenberg: we obtain the plaintext from an intercepted RC4...
View ArticleClik here to view.
Hidoku Solver in Python: branch cutting, intelligent successor generation and...
In this post we are implementing a Hidoku solver (Hidoku is yet another fine number puzzle) that uses a depth first search, branch cutting, limited (intelligent) successor generation and some automatic...
View ArticleClik here to view.
Solving Logic Puzzles in Prolog: Puzzle 1 of 3
Recently I played around with Prolog again to solve 3 small logic puzzles. This post is about solving the first puzzle. This first puzzle consists of 2 individual puzzles that follow the exact same...
View ArticleClik here to view.
Solving Logic Puzzles in Prolog: Puzzle 2 of 3
This post is about solving the 2nd of 3 small logic puzzles in Prolog. The previous post is available here. The puzzle Eilen, Ada, Verena and Jenny participated in a painting competition. Find out who...
View ArticleClik here to view.
Solving Logic Puzzles in Prolog: Puzzle 3 of 3
In this post we solve another small logic puzzle in Prolog, similar to the previous two logic puzzles (these are available here and here). The puzzle There are four researchers: Ainsley, Madeline,...
View ArticleClik here to view.
Git security: enabe fsckobjects in ~/.gitconfig:
In order to prevent possible tampering with code in git repositories you work with (e.g. malicious manipulation of objects during clone, fetch, push…), check if these lines exist in your ~/.gitconfig...
View ArticleClik here to view.
Repair PDFLaTeX generated pdf using GhostScript (Adobe Acrobat Reader error 131)
I tend to do presentations using LaTeX and Beamer, while working on Linux and using TeXLive as LaTeX distribution – which all work fine. But sometimes I need to share these PDFLaTeX compiled...
View ArticleClik here to view.
SSH Proxy: Server and Client Side of Using an SSH User Without Shell as Proxy...
Accessing services on an internal network over a proxy reachable from the Internet. Imagine you want one of your machines to become a proxy for external users to be able to access local resources or...
View ArticleClik here to view.
Einstein Riddle/Zebra Puzzle in Prolog
In this post we solve another logic puzzle deriving rules from the puzzle and stating them in Prolog. And this time it is a rather famous puzzle one: the Zebra puzzle (also called Einstein...
View ArticleClik here to view.
Ubuntu Gnome 16.04: Some Useful Configuration
A lot has changed in Ubuntu Gnome in the past 2 years. With the release of Ubuntu Gnome 16.04 a few months ago we take the chance to do a follow-up of our 2014 post and summarize the configuration we...
View ArticleClik here to view.
Weka in Java: Predict new samples using a precomputed and exported model object
Weka allows for exporting/saving computed models into a binary model file (usually having a “.model” file extension). On other machines (that e.g. don’t have access to training data or would lack the...
View Article