301 reputation
319
bio website oneiros.de
location Duisburg, Germany
age 49
visits member for 3 years, 3 months
seen 21 hours ago

TeX user since 1989, mostly LaTeX. For some time maintainer of pdfTeX, since then a close friend of the LuaTeX team.


Sep
30
awarded  Explainer
Sep
26
comment What is the relationship between Unix, Linux, Ubuntu and Debian?
Wikipedia exists. This question does not shown any research effort.
Jul
11
comment Swap partition size on a 64 GB RAM computer for memory-intensive work
Are you going to hibernate (supend-to.disk) your machine?
May
3
awarded  Constituent
Apr
21
awarded  Caucus
Jan
10
comment In modern webbrowsers is there any point in putting www infront of a url that uses it?
@chris-l: Nice to see that they redirect www.extra-www.org and extra-www.org to www.www.extra-www.org :-)
Nov
7
comment Where is all my memory being used?
There's always top.
Oct
4
comment Print quality of text is lower when vector graphics embedded in page
Then tell us more about your OS, your printer, your printer driver... - this is not specific to LaTeX.
Oct
3
comment Print quality of text is lower when vector graphics embedded in page
Is this an issue only when printing or is it also visible in a viewer like Adobe Reader?
Sep
17
awarded  Excavator
Sep
12
comment Write to pdf file while having it opened in Acrobat Reader in Windows 7
@JoachimSauer: There are PDF viewers that don't lock PDFs, e.g. Sumatra.
Sep
5
comment NTPD: drifts away from system clock
Add iburst to your server declarations.
Jul
27
revised PDFTK extract all pages from all pdf's output
add markup
Jul
27
suggested suggested edit on PDFTK extract all pages from all pdf's output
May
30
reviewed No Action Needed Proxy Settings for VirtualBox
May
28
comment Pdf viewer that handles live updating of pdf/doesn't lock the file
See tex.stackexchange.com/q/2006/5763
May
11
awarded  Civic Duty
May
2
comment Why do ISPs change your IP address?
Because they have more customers than they have IPv4 addresses.
May
2
comment How do I remove the header & footer from a PDF?
Use Adobe Acrobat and set the crop box.
May
2
comment How do I remove the header & footer from a PDF?
Please not Word. Acrobat is the tool to use.