FFmpeg – tips and tricks
Over the years, and in particular with preparing videos of a conference for publication on YouTube, I have accumulated a few reminders how to do things with FFmpeg. It is such a fantastic beast...
Tagged: Programming
bash: passing around arguments with quotes
Update: I just learned on IRC that checking with shellcheck would have told me everything, including the usage of arrays, and the linked page even mentions ffmpeg … how stupid to reinvent the wheel...
De-uglify GTk3 tabs of terminals
If you are puzzled by the indistinguishability of the active tab from inactive tabs in any of the GTK3 based terminal emulators (mate-terminal, gnome-terminal, terminator, …), you are not alone. I have been plagued...
Git and Autotools – a hate relation?
For a project where I contribute I started to rewrite the build system using autotools (autoconf/automake), since this is one of the most popular build systems as far as I know. The actual conversion...
Marko Lukša: Kubernetes in Action
The rise of Kubernetes as one of the most important tools for devops engineers and developers is out of discussion. But until I moved into my current company I never had any chance to...
TypeScript’s generics – still a long way to go
I first have to admit I am no a JavaScript or TypeScript expert, but the moment I wanted to implement some generic functionality (Discrete Interval Encoding Tree with additional data and that is merged...
Specification and Verification of Software with CafeOBJ – Part 4 – Modules
This blog continues Part 1, Part 2, and Part 3 of our series on software specification and verification with CafeOBJ. In the last part we have made our first steps with CafeOBJ, learned how...
Git and Subversion collaboration
Git is great, we all know that, but there are use cases where there completely distributed development model does not shine (see here and here). And while my old git svn mirror of TeX...
Specification and Verification of Software with CafeOBJ – Part 3 – First steps with CafeOBJ
This blog continues Part 1 and Part 2 of our series on software specification and verification with CafeOBJ. We will go through basic operations like starting and stopping the CafeOBJ interpreter, getting help, doing...
MySql DataTime/TimeStamp fields and Scala
In one of my work projects we use Play Framework on Scala to provide an API (how surprising ;-). For quite some time I was hunting after lots of milliseconds, time the API answer...
Docker, cron, mail and logs
If one searches for “docker cron“, there are a lot of hits but not really good solutions or explanations how to get a running system. In particular, what I needed/wanted was (i) stdout/stderr of...
Specification and Verification of Software with CafeOBJ – Part 2 – Basics of CafeOBJ
This blog continues Part 1 of our series on software specification and verification with CafeOBJ. Availability of CafeOBJ CafeOBJ can be obtained from the website cafeobj.org. The site provides binary packages built from Linux,...
Specification and Verification of Software with CafeOBJ – Part 1 – Introducing CafeOBJ
Software bugs are everywhere – the feared Blue Screen of Death, the mobile phone rebooting at the most inconvenient moment, games crashing. Most of these bugs are not serious problems, but there are other...
Scala: debug logging facility and adjustment of logging level in code
As soon as users start to use your program, you want to implement some debug facilities with logging, and allow them to be turned on via command line switches or GUI elements. I was...
TeX Live VCS History and Statistics – Perforce, Subversion, Git
TeX Live is a project of long history, starting somewhen back in the 90ies with CDs distributed within user groups till the most recent net-based distribution and updates. Discussion about using a VCS started...
ScalaFX: Problems with Tables abound
Doing a lot with all kinds of tables in ScalaFX, I stumbled upon a bug in ScalaFX that, with the help of the bug report, I was able to circumvent. It is a subtle...
