187 reputation
15
bio website
location Leuven, Belgium, EU
age
visits member for 2 years, 7 months
seen Nov 10 at 22:56

PhD. student in Artificial Intelligence at KU Leuven, Belgium, Europe (supervisor: B. Demoen).

"No thank you! We don't want any more visitors, well-wishers or distant relations!"


Jun
16
awarded  Caucus
Jun
16
awarded  Constituent
Dec
6
accepted Where are recognizers for media types stored and how to add one?
Dec
6
asked Where are recognizers for media types stored and how to add one?
Dec
15
accepted Split file based on a pattern with leading zeros
Dec
15
comment Split file based on a pattern with leading zeros
Yeah. This sure works, but I think you will agree this is not very elegant. I'm looking for a solution where one can simply add more zeros,... But it works!
Dec
15
asked Split file based on a pattern with leading zeros
Jun
5
comment Writing both output and error stream to the same file
Then what are they? Furthermore some strange effect happen: the processes only have around 5% CPU time (since I only want to do postprocessing on the files, I wouldn't mind the system simply buffers the output until the application is finished) and a part of the output is still written on the console (with no real reason, it only happens after lets say 60 seconds).
Jun
5
comment Writing both output and error stream to the same file
Thanks! that worked.
Jun
5
accepted Writing both output and error stream to the same file
Jun
5
comment Writing both output and error stream to the same file
bin/bash. Is this relevant? I didn't knew pipes were implement different?
Jun
5
revised Writing both output and error stream to the same file
edited tags
Jun
5
asked Writing both output and error stream to the same file
Apr
29
awarded  Student
Apr
29
awarded  Supporter
Apr
29
awarded  Scholar
Apr
29
asked Where can I find the historical source code of the Linux sources
Apr
29
awarded  Autobiographer