648 reputation
41330
bio website navarroj.com/latex
location London, United Kingdom
age 34
visits member for 4 years, 2 months
seen Oct 22 at 21:06

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.


Jun
14
comment Subtitle editor for OSX?
Hmm.. neither of them seem to do what I need. Submerge and iSubtitle respectively add hard and soft-coded subtitles to a video file; but in either case they only work if I already have the subtitles file. Which I dont. I want an app that helps me create the subtitles file.
Jun
13
revised Subtitle editor for OSX?
edited tags
Jun
13
asked Subtitle editor for OSX?
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!