Posts in jplehr

by jplehr

Determine max. memory consumption of process

In a recent project, we needed to measure the increase in memory consumption […]
read more
July 4, 2020 ▪
0
by jplehr

PIRA – a framework for iterative instrumentation refinement

The main software project I was working on through the last weeks and […]
read more
June 1, 2020 ▪
1
by jplehr

Name mangling in C++ with Clang and GCC

I recently came across the question whether it is possible to use lists […]
read more
October 25, 2019 ▪
0
by jplehr

Overleaf for collaborative writing

We started to use Overleaf for collaborative writing of our research papers. After […]
read more
September 25, 2019 ▪
0
by jplehr

All this silence

I just realized how silent I was on my website over the last […]
read more
September 22, 2019 ▪
0
by jplehr

Keyboard layout and key mappings

When I switched to i3wm as my main work-horse window manager, I decided […]
read more
April 10, 2018 ▪
0
by jplehr

Opera Tab-Manager

After looking for some extension to cope with many open tabs within Opera, […]
read more
February 17, 2018 ▪
0
by jplehr

papi-wrap now public

I took some time on my last day of vacation to finish the […]
read more
January 10, 2018 ▪
0
by jplehr

Interactive shell with SLURM

I just discovered a half-broken blueprint script that was supposed to open an […]
read more
January 6, 2018 ▪
0
by jplehr

Other “mes”

In case you are interested in checking out what I do, you can […]
read more
January 6, 2018 ▪
0