meta user
network profile
| bio | website | navarroj.com/latex |
|---|---|---|
| location | London, United Kingdom | |
| age | 32 | |
| visits | member for | 2 years, 9 months |
| seen | 1 hour ago | |
| stats | profile views | 42 |
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.
|
Sep 23 |
comment |
How to convert a pdf file into a text file? Thanks, this seems to work for simple cases. But I've got a very large document (over 1000 pages) and it almost crashes the system just by trying to select-all! |
|
Sep 23 |
awarded | Scholar |
|
Sep 23 |
comment |
Start/stop internet sharing from a script? Awesome! It works, thanks! |
|
Sep 22 |
asked | Start/stop internet sharing from a script? |
|
Sep 22 |
asked | How to convert a pdf file into a text file? |
|
Sep 17 |
awarded | Teacher |
|
Sep 16 |
awarded | Taxonomist |
|
Aug 31 |
awarded | Critic |
|
Aug 31 |
answered | What iPhone apps can't you live without? |
|
Aug 31 |
comment |
What iPhone apps can't you live without? Hmm.. the price probably depends on the Apple store (e.g. for me prices show in Euros) Which price should we note? |
|
Aug 25 |
comment |
How can I move an iTunes library from one computer to another? Even for my purchased content? Do I have to reauthorize the new computer? |
|
Aug 17 |
awarded | Student |
|
Aug 17 |
asked | How can I move an iTunes library from one computer to another? |
|
Aug 17 |
awarded | Autobiographer |
|
Aug 17 |
awarded | Supporter |
