210 reputation
110
bio website navarroj.com/latex
location London, United Kingdom
age 34
visits member for 4 years, 5 months
seen Aug 7 at 13:29

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.


Aug
7
comment Better way to search the Facebook activity log / timeline?
This works incredibly well, I would advice to update the link and the images on the post. The newest version of the tool looks and works great!
Jun
24
awarded  Commentator
Jun
24
comment Is there a way to get email notifications when someone tweets?
@masterjo the "New tweet by specific user" does not seem to be available anymore :(
Jun
24
comment Is there a way to get email notifications when someone tweets?
This is not working anymore.
Jun
24
comment Is there a way to get email notifications when someone tweets?
It should be noted that this is a paid service.
Jun
24
comment Is there a way to get email notifications when someone tweets?
Twitter has just deprecated RSS dev.twitter.com/discussions/11582 why o why?? There seems to be a workaround, but haven't tested it. labnol.org/internet/twitter-rss-feeds/27931
Apr
10
comment Is there an application to write down URLs?
Fine list! I would also add Instapaper and Pocket.
Mar
16
awarded  Yearling
Nov
14
awarded  Autobiographer
Feb
23
awarded  Excavator
Feb
23
awarded  Editor
Feb
23
revised Import birthdays of friends from Facebook into Google Calendar?
updated answer to match new Facebook design
Feb
23
suggested approved edit on Import birthdays of friends from Facebook into Google Calendar?
Sep
26
awarded  Popular Question
May
30
awarded  Scholar
May
30
comment Import birthdays of friends from Facebook into Google Calendar?
Awesome, thanks! I'm glad Facebook finally implemented this feature. Just imported my birthday calendars into Google and it seems to be working great.
May
30
accepted Import birthdays of friends from Facebook into Google Calendar?
May
10
comment Saved google maps: access from iPhone?
Apparently this method is no longer working because of a change on Google's APIs, but they do offer a workaround. In any case, this shows only locations in saved maps (which could be very useful!), but not other features such as routes.
May
10
comment Saved google maps: access from iPhone?
My maps are now available directly on the mobile version of Google maps. See my answer.
May
10
answered Saved google maps: access from iPhone?