603 reputation
31330
bio website navarroj.com/latex
location London, United Kingdom
age 34
visits member for 3 years, 11 months
seen Jul 22 at 15:03

A computer science lecturer at University College London. I do stuff in logic, theorem proving, program analysis and verification. I'm a very enthusiastic TeX/LaTeX user, most days.

I also run a small site for LaTeX beginners in spanish: LaTeX Fácil.


Apr
27
comment Split a single page PDF into multiple pages
Good enough poor man solution. I like it.
Apr
18
asked Split a single page PDF into multiple pages
Mar
29
comment Is there a quick way to lock my Mac?
Is there a way to access this command through the terminal or an applescript?
Mar
24
comment Start/stop internet sharing from a script?
@Philip: I don't have a clear idea, but it does seem to coincide with some upgrades to the OS. I had added some comments on mankoff's answer since January, but only now I had a chance to investigate a bit more the issue and modify my scripts to use your solution instead.
Mar
23
comment Start/stop internet sharing from a script?
I've changed my accepted answer to this because the original answer from mankoff stopped working.
Feb
10
awarded  Citizen Patrol
Feb
1
comment What are some alternatives to Quicksilver?
From their website I understood that operations on files are part of the powerpack paid service. Is this correct?
Feb
1
asked What are some alternatives to Quicksilver?
Jan
5
comment Start/stop internet sharing from a script?
Strange, after a while, it stopped working. If I run the command and then open the pref pane I see that sharing is enabled, however the connection isn't actually being shared. If I manually stop and start sharing on the pref pane, then it works again without problems. Any clues about what could be wrong?
Dec
9
awarded  Precognitive
Nov
16
awarded  Commentator
Nov
16
comment Tab changing in TextMate when working with LaTeX files?
You might have some better luck asking at tex.se: tex.stackexchange.com
Nov
16
accepted How can I print a booklet from a pdf file?
Nov
10
answered How can I print a booklet from a pdf file?
Nov
10
comment How can I print a booklet from a pdf file?
In the drop-down menu I see no option for “Booklet Printing”, is this perhaps an option from a specific printer?
Nov
9
asked How can I print a booklet from a pdf file?
Sep
27
comment How to convert a pdf file into a text file?
good, thanks for the pointers!
Sep
27
accepted How to convert a pdf file into a text file?
Sep
27
comment How to convert a pdf file into a text file?
Thanks! This is by far the most simple solution, it was able to cope with my huge file without any problems and produced a reasonably clean and usable text output.
Sep
23
comment How to convert a pdf file into a text file?
I don't know if I'm pushing it too much but could you give me details on exactly what do I have to install and how? (Full disclaimer: I'm a fairly experienced user and I've already managed to install it, but on the beta stage of this site I would like to see how much detail and information are we to expect from people giving answers.)