This post is about yet another small number puzzle, and the corresponding solver for it in Prolog. The post and code is written to be easily understandable and help learn the basics of "think and code" in Prolog.
When you run Linux on your work machine (desktop, laptop, etc), you usually want to be informed in some way about system updates being available. This post showcases two scripts for Arch Linux and Debian/Ubuntu to represent the update status in short, concise, and human understandable string, which can be included in any status bar, like i3blocks or i3status with the i3/i3-gaps window manager.
This post focuses on how to cache a SSH key file password in a Linux terminal using an SSH agent. It further highlights the changes in command syntax required for the fish shell due to the default ssh-agent using Bash syntax.
If you have some Linux knowledge but are unsure which Linux distribution might be the right one for your personal PC or laptop this post is for you. I've recently held a talk titled "Arch Linux: why you want to use it". The talk highlights a) when/why you might want to use Arch Linux, b) that Arch is not difficult, and c) some core concepts of Arch you should be aware of.
I’m frequently in the situation of being required to quickly create a handful of slides on the go/on the road. The slides are typically used at a quick meeting where I benefit from some supporting slides. Because in the end I can use my laptop for the slides, converting any type of slide source information … Continue reading Markdown pandoc slides: easy and quick ways to create slides from markdown with pandoc
MarkdownPresenter is a very simplistic markdown presentation editor and viewer that uses markdown to create pdf slides. Especially its simplicity makes it a good choice for quickly creating some slides - for which other tools would easily be too bloated. This posts focuses on the basics of using MarkdownPresenter.
git ships a nice little tool to compare two different versions of the same textfile and highlight its differences: git difftool. It basically does two things for you. a) checkout the versions of the file to compare. b) fire up your diff program to show you/highlight the differences. This posts explains how git difftool can quickly be configured and how it's used.