309 reputation
111
bio website
location Kaiserslautern, Germany
age 27
visits member for 2 years, 3 months
seen 8 hours ago

I am a PhD student at the Algorithms & Complexity group at University of Kaiserslautern, Germany. I research design and analysis of parallel algorithms and data structures.

In my free time I read books, enjoy (and sometimes make) music, code, work out and roam the webs.


You can find sources for all self-created images I post on Stack Exchange here.


Jul
7
comment Split PDF into documents with several pages each
You can, kind of; the edit will be reviewed by high-reps. Given that you fixed an actual bug, I assume they would have accepted it! (You get +2 rep for accepted edits, too.)
Jul
4
comment Split PDF into documents with several pages each
Good catch, thanks! You could just have edited that into my answer, though.
Jul
2
awarded  Curious
Jun
25
awarded  Popular Question
Dec
18
awarded  Popular Question
Jun
3
comment Sed: extending a string of numbers to a certain number of digits by padding with zeros
The only thing I got working (with a function cal in the replacement). Thanks!
Jun
3
comment How to change height and width of each page of a pdf
Ghostscript may have to rasterize stuff PS does not support. For simple PDFs, this works nicely. Still looking for a solution that is PDF-only.
Apr
5
awarded  Yearling
Mar
11
accepted Split PDF into documents with several pages each
Mar
11
accepted Generic Preprocessor adds extra whitespace
Mar
11
accepted Nested read fails
Mar
6
comment Split PDF into documents with several pages each
Nice. It creates lots of temporary files, though.
Mar
5
awarded  Self-Learner
Mar
5
asked Split PDF into documents with several pages each
Mar
5
answered Split PDF into documents with several pages each
Feb
24
comment Nested read fails
@mauro.stettler: That gets rid of the error. Now the script does iterate, but never prompts.
Feb
24
comment Bash iterate over a list of strings
@IBBoard See this new question.
Feb
24
asked Nested read fails
Feb
23
awarded  Commentator
Feb
23
comment Bash iterate over a list of strings
If somestuff includes another read, this seems not to work properly.