meta user
network profile
| bio | website | navarroj.com/latex |
|---|---|---|
| location | London, United Kingdom | |
| age | 32 | |
| visits | member for | 2 years, 9 months |
| seen | yesterday | |
| stats | profile views | 43 |
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 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.) |
|
Sep 23 |
comment |
How to convert a pdf file into a text file? Thanks for the pointers, but which of these would actually contain ps2ascii? And which one should I prefer? |
