A definition of Leadership

Leadership is achieving results with and through others.
Leadership is inspiring others to rise to the best version of themselves.

Popular posts

Opengrep quickstart

Since I could not find a quickstart to run opengrep with the full set of rules from their fork I thought I'd document what I found out. Setup Download the opengrep binary from github and make it executable with chmod +x . Clone the rules repo: git clone git@github.com:opengrep/opengrep-rules.git and clean it up to make it usable to opengrep: cd opengrep-rules rm -rf ".git",".github",".pre-commit-config.yaml", "elixir", "apex" find . -type f -not -iname "*.yaml" -delete rm -rf .github rm -rf .pre-commit-config.yaml Ensure opengrep can load the rules with: opengrep_manylinux_x86 validate . The same can be done for custom rules maintained in a separate repository. AFAIU Multiple repositories can be specified by repeating -f option as needed, see below. We are now ready to scan a repo, from the repo root directory run: opengrep_manylinux_x86 scan \   -f <path_to>/opengrep-rules \   --error \   --exclude-rule=VAL some ti...
Read more

1/4/2000 to 1/4/2025: Director

This post concludes my 2000-2025: 25 years in ICT series with a bit of a shameless plug: I've made it to Director! The 9 years at Proemion have been a breathtaking climb: from part-time software developer, to devops, to Team lead devops, to Group head devops and datacenter, Head of R&D, and now Director of Product of Engineering. To celebrate this, I decided to reflect on how I got here, perhaps it will be useful to others too. I did it Not to sound ungrateful or arrogant, but the first thing I should acknowledge is that I did this. I got help and support but it was ultimately me who put in the hours, went for the uncomfortable challenge ad asked for the additional responsibilities. I'm very proud of what I've accomplished, and I'd like to remind all of you that you should be too. Always! The only question I sometimes ask myself is where would I be if I started sooner. Since I don't have a time machine, I'm just content I got where I am right now and also...
Read more

Mirth: recover space when mirthdb grows out of control

I was recently asked to recover a mirth instance whose embedded database had grown to fill all available space so this is just a note-to-self kind of post. Btw: the recovery, depending on db size and disk speed, is going to take long. The problem A 1.8 Mirth Connect instance was started, then forgotten (well neglected, actually). The user also forgot to setup pruning so the messages filled the embedded Derby database until it grew to fill all the available space on the disk. The SO is linux. The solution First of all: free some disk space so that the database can be started in embedded mode from the cli. You can also copy the whole mirth install to another server if you cannot free space. Depending on db size you will need a corresponding amount of space: in my case a 5GB db required around 2GB to start, process logs and then store the temp files during shrinking. Then open a shell as the user that mirth runs as (you're not running it as root, are you?) and cd in...
Read more