688 reputation
41431
bio website navarroj.com/latex
location London, United Kingdom
age 34
visits member for 4 years, 7 months
seen Mar 19 at 8:27

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?
I got the demo, this is good! It is precisely what I need but, indeed, the price is just crazy! I won't pay all that money just to subtitle one video for personal use! +1 for the effort.
Jun
14
comment Subtitle editor for OSX?
It doesn't seem to work well on my system (Snow Leopard, if it matters). The application starts, and I'm able to load a video, but while trying to preview the application throws an "Abnormal player exit java.lang.NullPointerException"
Jun
14
comment Subtitle editor for OSX?
Thanks for the recommendation. I tried, and it sort of works. But not quite. First it always crashed on start, then I managed to get it to start by disabling automatic updates. Now it works, but the interface is very strange and confusing. Anyway, probably I need to play a bit more with it. +1 for coming up with a suggestion, though.
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?