Category Archives: Technology

General technology related stuff

BIOS Update of the HP ZBook 15u G4 using Linux

(not entirely true, I needed a Windows Virtual machine) I wanted to run a BIOS Update for my HP ZBook 15u G4. Unfortunately, HP provides updates only for Windows. Linux users are used to such sorrow - but I will most probably stick back to other vendors in the future, where the Linux support is… Read More »

Benchmarking tool - Flops

Flops is a nice tool for benchmarking floating point operations of a CPU. Under Arch Linux i had some problems compiling it, because the static linking towards openmp was not working properly. I've made a fork, fixed the issue by removing the -static flag (and replaces -std=c++0x to -std=c++11) and a pull request in the… Read More »

OCaml interpreter - Adding history support

I need to learn OCaml for one of my computer science courses. Although I am more the procedural programmer type, I like some of the concepts of functional languages and am also using them on a daily basis. Some of the concepts are quite handy and nice - list comprehension, filter and lambda functions. They… Read More »

Another unpatched hole in Windows 10

... and yet another unpatched security hole in Windows 10. This time it's the Internet Explorer and Edge. Sent to Microsoft 3 months ago, still no patch out there. And this will be the last post ranting about Windows. Everyone knows about their security policy and how much you should trust them.


Today my server was down for like 2h because of a misconfiguration by myself in the Let's encrypt certificate (in the usage of the script). Now everything is operational again.

SHA-1 is dead

SHA1, the old secure hashing algorithm is now broken in practice. See the Google Security blog post on the first SHA1 collision. SHA1 was already theoretically broken 2005, when Prof. Xiaoyun Wang announced a differential attack. By 2010 the NIST decided to announce SHA-1 as deprecated. SHA1 is still in use in BitTorrent and on… Read More »

Privilege escalation bug in Linux Kernel

... and how to deal with it right: Bug filed and fixed on February 17, patches are already in circulation. Exploit will be made available in some days to allow the administrators to update. The fix was just a two-liner but still: Fixed-on-the-same-day-as-filed. That's how it should work 🙂 And in the Windows world we… Read More »