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.
|
Mar 18 |
accepted | What are some alternatives to Quicksilver? |
|
Feb 13 |
accepted | How to export a date range in Calendar |
|
Feb 7 |
accepted | How can I move an iTunes library from one computer to another? |
|
Jan 3 |
accepted | Constantly ejecting OS X install disc when trying to boot |
|
Dec 4 |
accepted | Start/stop internet sharing from a script? |
|
Aug 2 |
accepted | How to sync Notes over iCloud? |
|
Jan 16 |
accepted | Open password protected MS-Word document |
|
Jun 24 |
accepted | Subtitle editor for OSX? |
|
Apr 27 |
accepted | Split a single page PDF into multiple pages |
|
Nov 16 |
accepted | How can I print a booklet from a pdf file? |
|
Sep 27 |
accepted | How to convert a pdf file into a text file? |
