Web Developer

A browser extension that adds various web developer tools to a browser.

Chrome: Version 0.4.5 (November 22, 2013)

Firefox: Version 1.2.5 (April 29, 2013)

Opera: Version 0.1 (September 7, 2013)

Web Developer

User Agent Switcher

A browser extension that adds a menu and a toolbar button to switch the user agent of a browser.

Version 0.7.3 (January 4, 2011)

User Agent Switcher

Random, yes. Useful, no.

A largely unfiltered list of the links that I send and receive each day with friends.

Read Ruler

View your Pocket articles listed by reading time.